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.
Aristóteles
Ninguna de las ciencias particulares, como las matemáticas y las ciencias naturales (la física), se ocupa «universalmente de lo que es», sino que cada una de ellas secciona o acota una parcela de la realidad ocupándose de estudiar las propiedades pertenecientes a esa parcela previamente acotada. Aristóteles la llamó "primera filosofía" o "ciencia primera" y teología. La filosofía primera, luego llamada "metafísica", es la ciencia más general por ser la ciencia del ser en cuanto ser, y Aristóteles la identificaba con la sabiduría ("sofía"), de la que habla también en el libro quinto de la "Ética nicomáquea". Aristóteles pues propone la ontología como un proyecto de ciencia "con pretensión de universalidad" que parece corresponder al estudio de lo que es, "en tanto que algo que es". Argumenta que los principios de esta ciencia serán, en cierto modo, los primeros principios de todos. Aristóteles parece seguir la teoría correspondentista de la verdad, donde la verdad es decir que "el Ente es y que el No-ente no es". Con ello antes de abordar el tema del ser, Aristóteles comienza argumentando en el libro I de la "Metafísica" que la primera filosofía debe abordar los axiomas del razonamiento, siendo el primer principio el principio de no contradicción, el más seguro de todos los principios lógicos. Como es un primer principio, no se puede demostrar y de éste surgen los demás, como el principio de identidad y tercero excluido. Aristóteles elaborará su lógica más en detalle en el "Órganon".