Alan Ross Anderson | |
---|---|
Nacido | ( 11 de abril de 1925 )11 de abril de 1925 [1] |
Fallecido | 1973 |
Alma máter | Universidad de Yale |
Carrera científica | |
Tesis | Un sistema finitario de lógica (1955) |
Asesor de doctorado | Frédéric Brenton Fitch |
Estudiantes de doctorado | Nuel Belnap , Alasdair Urquhart |
Alan Ross Anderson (1925-1973) fue un lógico estadounidense y profesor de filosofía en la Universidad de Yale y la Universidad de Pittsburgh .
Anderson , colaborador frecuente de Nuel Belnap , desempeñó un papel decisivo en el desarrollo de la lógica de la relevancia y la lógica deóntica .
Anderson murió de cáncer en 1973.
Anderson creía que la conclusión de una inferencia válida debería tener algo que ver con las premisas (es decir, ser relevante para ellas) . Formalmente, plasmó esta " condición de relevancia " con el principio de que
Tan simple como parece esta idea, implementarla en un sistema formal requiere un alejamiento radical de la semántica de la lógica clásica . Anderson y Belnap (con contribuciones de J. Michael Dunn , Kit Fine , Alasdair Urquhart , Robert K. Meyer, Anil Gupta y otros) exploraron las consecuencias formales de la condición de relevancia en gran detalle en sus influyentes libros Entailment (ver referencias a continuación), que son las obras citadas con más frecuencia en el campo de la lógica de la relevancia .
Anderson y Belnap se apresuraron a observar que el concepto de relevancia había sido central para la lógica desde Aristóteles , pero había sido descuidado indebidamente desde que Gottlob Frege y George Boole sentaron las bases de lo que llegaría a conocerse, un tanto irónicamente, como lógica "clásica". (Para un ejemplo del fracaso de la lógica clásica en satisfacer la condición de relevancia, véase el artículo sobre el principio de explosión ).
Anderson defendió la opinión de que las oraciones de la forma "Debería ser (el caso) que A " deberían interpretarse lógicamente como:
donde v significa algo así como que se ha violado una norma . Desarrolló sistemas de lógica de relevancia deóntica que contienen una constante especial v (la notación varía) para este propósito. Dichos sistemas a veces se han caracterizado como "reducciones" de la lógica deóntica a la lógica modal alética . Sin embargo, esto es engañoso en el mejor de los casos, ya que las lógicas modales aléticas generalmente no contienen nada parecido a la constante v especial de Anderson .
Anderson era conocido por ser un platónico (o realista , o monista ) en cuanto a lógica; creía en "La Única Lógica Verdadera" y creía que era una lógica de relevancia .