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.
Historia de la lógica
Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho desarrollo. El término «lógica» se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado. De este modo la "forma argumentativa" responde al "principio de conocimiento" que supone que representa adecuadamente la realidad. Por ello, sin perder su condición de formalidad, no son formalistas y no se acaban de desprender de las estructuras propias del lenguaje.Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Estos estudios se centraron principalmente en la identificación de falacias y paradojas, así como en la construcción correcta de los discursos.