Desde Aristóteles, la lógica había estado fundamentada en el cálculo proposicional, en base al cual la verdad o falsedad de una oración se establecía por medio de una serie de operadores lógicos (negación, conjunción, disyunción...) que permitían desarrollar silogismos.