Shahid Rahman
En su entrada del libro para el ingreso al Internacional Directory of Logicians, publicado en 2009, Rahman argumenta que la lógica tiene un papel central que desempeñar en los programas de investigación de la filosofía de la ciencia del siglo XX. Las críticas históricas y sociológicas de los años sesenta habían desterrado la lógica de la filosofía de la ciencia al acusarla de reducir la ciencia a un conjunto de proposiciones conectadas entre sí por la lógica clásica. Pero eso no significa que la colaboración entre la lógica, la filosofía y la historia de la ciencia deba ser abandonada. Más bien, la lógica debería acercarse a la ciencia con herramientas nuevas y más sofisticadas, capaces de tratar las proposiciones en contexto, describiendo este contexto y su dinámica. Esto es concebible si desarrollamos la interfaz entre los juegos y la lógica, entre la teoría de la revisión de creencias y las teorías de juegos, y entre la teoría de la decisión y la teoría de la argumentación. Esta declaración es la base del proyecto Kluwer-Springer lanzado en 2001 por Rahman y John Symons, cuyo primer volumen se publicó en 2004 en la colección "Logic, Epistemology and the Unity of Science", editada por Rahman, Symons y Gabbay.
Historia de la lógica
Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. Esta precisión debe ser tomada en cuenta puesto que la lógica es anterior a Aristóteles en su vertiente de lógica informal, como él mismo reconoce. También fue el primero en emplear el término «lógica» para referirse al estudio de los argumentos dentro del «lenguaje apofántico» como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo: «Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente». Se refirió en varios escritos de su Órganon a cuestiones tales como concepto, proposición, definición, prueba y falacia. En su principal obra lógica, los Primeros analíticos, desarrolló el silogismo, un sistema lógico de estructura rígida. Aristóteles también formalizó el cuadro de oposición de los juicios y categorizó las formas válidas del silogismo. Además, Aristóteles reconoció y estudió los argumentos inductivos, base de lo que constituye la ciencia experimental, cuya lógica está estrechamente ligada al método científico. La influencia de los logros de Aristóteles fue tan grande que en el siglo XVIII Immanuel Kant llegó a decir que Aristóteles había prácticamente completado la ciencia de la lógica.