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.
George Boole
Boole no consideraba la lógica como una rama de las matemáticas, como podría interpretarse por el título de su folleto anterior, pero señaló una profunda analogía entre los símbolos del álgebra y la representación simbólica, en su opinión, necesaria para representar formas lógicas y silogismos, haciendo coincidir la lógica formal con la matemática limitada al uso de operaciones con ceros y unos. Para unificar distintos sistemas de operadores lógicos, Boole organizó el universo de todos estos objetos imaginables; creando una notación simbólica adecuada a sus propósitos, con símbolos tales como x, y, z, v, u, etc., que utiliza para caracterizar los atributos correspondientes a adjetivos y sustantivos comunes. Propuso que las proposiciones lógicas se deben expresar en forma de ecuaciones algebraicas, de forma que la manipulación algebraica de los símbolos en las ecuaciones proporciona un método a prueba de fallos de la deducción lógica, es decir, la lógica se reduce al álgebra. Mediante el uso de símbolos, tales proposiciones se podrían reducir a la forma de ecuaciones, y la conclusión silogística a partir de dos premisas se obtiene eliminando el término medio de acuerdo con las reglas ordinarias algebraicas.