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.
Peter Kingsley (filósofo)
Parménides, reconocido como "padre de la lógica" y tradicionalmente considerado como un racionalista, era un sacerdote consagrado al culto de Apolo y un "iatromantis", o profeta curandero. Empédocles, cuyo modelo cosmológico introduciría en la ciencia y la filosofía occidentales la idea fundamental de los cuatro elementos, era un místico y un mago. Kingsley interpreta los poemas de Parménides y Empédocles como textos esotéricos iniciáticos, cuyo objetivo sería conducir al lector hacia una experiencia directa de la unicidad de la realidad y hacia la realización de la divinidad personal. Cabría remarcar que una consecuencia importante de esta interpretación es que la lógica y la ciencia occidentales tenían a su origen un propósito profundamente espiritual.