Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
Órganon
Lo que tradicionalmente se conoce como "lógica aristotélica" puede llegar a ofrecer problemas. En primer lugar, la noción de la lógica como "organon" (instrumento) de la filosofía parece difícil de rastrear en Aristóteles. Tal idea de la lógica supone una clara división entre ella y el resto de las disciplinas filosóficas como ética, física o metafísica. En efecto, apenas unos fragmentos del inicio de sus "Tópicos" sugieren que Aristóteles concibió su lógica como una parte de la filosofía.