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.
Neopositivismo lógico
Debe aclararse que la lógica simbólica y la metodología científica (la metodología de las ciencias de la materia) de ninguna forma se identifican con el positivismo. Éste y el neopositivismo son una interpretación de aquellas; esa interpretación consiste en afirmar que el sentido de todo enunciado científico se agota en la descripción y ulterior elaboración de los datos sensibles por medio de esa lógica y esa metodología. Pero la experiencia humana es más amplia que la experimentación científica; hay realidades que dicha experimentación no puede captar, y sobre las cuales es posible también hacer ciencia (p. ej., Metafísica, Ética, etc.), en cuanto que no es simple elaboración mental o expresión evocativa o emotiva del sujeto. La Metafísica, la Ética, las ciencias trascendentales en general, en su parte científica no son mero producto de la especulación mental, como parecen pretender el racionalismo y el idealismo, sino que también se basan en la experiencia, en la historia, etc.; pero es una experiencia no manejable al modo de la experimentación científica, ya que intervienen en ella factores como la voluntad, la libertad, la responsabilidad, etc.