La pasión por la vida pública y el interés por la reflexión filosófica y por el conocimiento científico propios de la cultura griega, iban acompañados por la exigencia de rigor lógico en sus argumentaciones y demostraciones.

Aristóteles fue el primero en estudiar temáticamente la lógica como tal, es decir, como teoría de la inferencia.

En la Edad Media los escolásticos estudiaban la lógica formal (denominada dialéctica hasta el s. XII) como parte de una preparación previa al inicio del estudio de las demás ciencias.

El inglés George Boole es considerado el fundador de la lógica simbólica.

En la historia de la lógica, Frege y el paradigma deductivo de su lógica simbólica es la figura más parecida y a la vez más opuesta a la de Aristóteles.