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.
Lógica informal
Algunos sostienen la opinión de que la lógica informal no es una rama o subdisciplina de la lógica, o incluso de que no puede existir tal cosa como la lógica informal. Massey critica la lógica informal sobre la base de que no tiene una teoría que la sustente. La lógica informal, dice, requiere esquemas de clasificación detallada que la organice, como la teoría subyacente que es proporcionada en otras disciplinas. Sostiene que no existe un método para establecer la invalidez de una discusión aparte del método formal, y que el estudio de las falacias puede ser más de interés para otras disciplinas como la psicología que para la filosofía y lógica.