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.
Gnoseología
La gnoseología no estudia los conocimientos particulares, como pueden ser los conocimientos de la física, de la matemática o del entorno inmediato, sino la naturaleza del conocimiento en general. Muchas ciencias particulares tienen además su propia filosofía, como por ejemplo la filosofía de la física, la filosofía de la matemática, la filosofía de la historia, etc. Otras disciplinas también se ocupan del conocimiento en general, pero desde otros puntos de vista. La psicología estudia los aspectos de la vida mental implícitos en el conocer, la lógica estudia la corrección o incorrección de los razonamientos que pueden implicar nuevos conocimientos, y la ontología o metafísica estudia la naturaleza de los objetos que se pueden conocer.