Lógica Clásica

identifica una clase de lógicas formales eso se ha estudiado lo más intensivo posible y el más ampliamente utilizado. Son caracterizados por un número de características; las lógicas no-clásicas son las que carecen una o más de estas características, que son:

1. Ley del centro excluido y Eliminación de la negativa doble;
2. Ley del noncontradiction;
3. Monotonicity del entailment y Idempotency del entailment;
4. Commutativity de la conjunción;
5. Dualidad de De Morgan: cada operador lógico es dual a otros.

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

Ejemplos de lógicas clásicas

• Aristotle's Método introduce su teoría de syllogisms, que es una lógica con una forma restricta de juicios: toma una de las aserciones de cuatro formas, Todo el picosegundo es Q, Un cierto picosegundo es Q, No hay picosegundo Q, y 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 la suya cuadrado de oposiciones. Aristotle formuló explícitamente la ley del centro excluido y la ley de la no-contradicción en justificar su sistema, aunque estos leyes no se pueden expresar como juicios dentro del marco syllogistic.

• George Boole'reformulación algebraica de la lógica, su sistema de s de Lógica boleana;

• La lógica de primer orden encontró adentro Gottlob Frege's Begriffsschrift.

lógicas No-clásicas

• Lógica de Computability está una teoría formal semántico construida del computability, en comparación con la lógica clásica, que es una teoría formal de la verdad; integra y amplía lógicas clásicas, lineares e intuicionistas.
• Lógica confusa rechaza la ley del centro excluido y permite como valor de verdad cualquier número verdadero entre 0 y 1.
• Lógica intuicionista rechaza la ley de la eliminación excluida de la negativa media, doble, y de los leyes de De Morgan;
• Lógica linear rechaza el idempotency del entailment también;
• Lógica modal amplía lógica clásica con no-verdad-funcional (“modal”) operadores.
• Lógica de Paraconsistent (e.g., dialetheism y lógica de la importancia) rechaza la ley del noncontradiction;
• Lógica de la importancia, lógica linear, y lógica no-monotónica monotonicity del rechazo del entailment;

En Lógica irregular, lógica confusa: Más allá del formalismo, Susan Haack lógicas no-clásicas divididas en irregular, lógicas cuasi-irregulares, y extendidas.

Fuentes:  http://www.worldlingo.com/ma/enwiki/es/Classical_logic