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 , fue fundamental en el desarrollo de la lógica de relevancia y la lógica deóntica .
Anderson creía que la conclusión de una inferencia válida debería tener algo que ver (es decir, ser relevante para) las premisas . Formalmente, capturó esta " condición de relevancia " con el principio de que
Por simple que parezca esta idea, implementarla en un sistema formal requiere una desviación 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 con gran detalle en sus influyentes libros Entailment (véanse las referencias a continuación). , que son los trabajos más citados 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 fundamental para la lógica desde Aristóteles , pero que se había descuidado indebidamente desde que Gottlob Frege y George Boole sentaron las bases de lo que llegaría a ser conocido, de manera algo irónica, como lógica "clásica". . (Para ver un ejemplo del fracaso de la lógica clásica para satisfacer la condición de relevancia, consulte 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: