La lógica clásica es el bivalente, es decir utiliza solamente las funciones Boleano-valoradas y mientras que no es exigida por las condiciones precedentes, las discusiones contemporáneas de la lógica clásica incluyen normalmente solamente el las lógicas de primer orden proposicionales de y .

Ejemplos de lógicas clásicas

método de s de Aristotle el 'introduce su teoría de los Syllogisms que sea una lógica con una forma restricta de juicios: las aserciones toman una de cuatro formas, el todo el picosegundo es Q, el un cierto picosegundo es Q, el ningún picosegundo es Q, y el un cierto picosegundo no es Q . Estos juicios se encuentran si dos pares de dos operadores duales, y cada operador es la negación de otra, las relaciones que Aristotle resumió con su cuadrado de oposiciones que Aristotle formuló explícitamente la ley del centro excluido y la ley de la no-contradicción en justificar su sistema, aunque estas leyes no se puedan expresar como juicios dentro del marco silogístico.