Lógica clásica

Denominación que se aplica al conocimiento lógico desarrollado inicialmente por Aristóteles, y ulteriormente por las escuelas filosóficas medievales, referida a ciertos conceptos lógicos y ciertos tipos de razonamientos. Véase Lógica, concepto e historia, inferencias, silogismos..

Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios:

1. Principio del tercero excluido
2. Principio de no contradicción
3. Principio de explosión
4. Monotonicidad de la implicación

Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden.