Cicerón
En la filosofía antigua, la lógica, relacionada con la razón y la argumentación, es la forma de distinguir lo verdadero de lo falso, reconocer la coherencia y lo contradictorio. Por lo tanto, es el instrumento que subyace a las teorías construidas en los otros dos dominios filosóficos, la física y la moral. De hecho, cada acción reflexiva requiere distinguir entre lo que se debe hacer y lo que no se debe hacer, y por lo tanto, buscar certezas en las que basar la elección.
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".