Alan Ross Anderson

Alan Ross Anderson (1925 – 1973) fue un lógico estadounidense y profesor de filosofía en la Universidad de Yale y en la Universidad de Pittsburgh .

Anderson , colaborador habitual de Nuel Belnap , desempeñó un papel fundamental en el desarrollo de la lógica de la relevancia y la lógica deóntica .

Anderson falleció de cáncer en 1973.

Anderson creía que la conclusión de una inferencia válida debía tener algo que ver con (es decir, ser relevante para) las premisas . Formalmente, capturó esta " condición de relevancia " con el principio de que

A implica B solo si A y B comparten al menos una constante no lógica .

Por simple que parezca esta idea, implementarla en un sistema formal requiere un cambio radical con respecto a 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 con gran detalle en sus influyentes libros sobre implicación lógica (véanse las referencias a continuación), que son las obras más citadas en el campo de la lógica de relevancia .

Anderson y Belnap observaron rápidamente que el concepto de relevancia había sido fundamental para la lógica desde Aristóteles , pero que había sido indebidamente descuidado desde que Gottlob Frege y George Boole sentaron las bases de lo que se conocería, 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:

• No -A implica v ,

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, en el mejor de los casos, engañoso, ya que las lógicas modales aléticas generalmente no contienen nada parecido a la constante especial v de Anderson .

Anderson era conocido por ser platónico (o realista , o monista ) en lo que respecta a la lógica; creía en "La única lógica verdadera" y creía que era una lógica de relevancia .

• Anderson, AR 1967. Algunos problemas desagradables en la lógica formal de la ética. Nous I(4): 345-60.
• Anderson, AR y Belnap, ND 1975. Implicación: La lógica de la relevancia y la necesidad. Vol. 1. Princeton: Princeton University Press .
• Anderson, AR, Belnap, ND y Dunn, JM 1992. Implicación: La lógica de la relevancia y la necesidad. Vol. 2. Princeton: Princeton University Press. ISBN 0-691-07339-2

• Mares, ED 1992. Lógica deóntica andersoniana. Theoria 58: 3-20.