lógica clássica

Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado. A classe é, por vezes, chamada de lógica padrão. Elas são caracterizadas por um número de propriedades: 1. * Lei do terceiro excluído e Dupla negação; 2. * Princípio da não contradição, e o Princípio de explosão; 3. * Monotonicidade de vinculação e Idempotência de vinculação; 4. * Comutatividade da conjunção; 5. * Teoremas de De Morgan: cada conectivo lógico é duplo a outro; Enquanto não implicou com as condições anteriores, as discussões contemporâneas da lógica clássica normalmente incluem apenas Lógica proposicional e Lógica de primeira ordem. A semântica da lógica clássica é bivalente. Com o advento da lógica algébrica tornou-se evidente que o cálculo proposicional clássico admite outras semânticas. Elementos intermediários da álgebra correspondem a outros valores, exceto "verdadeiro" e "falso". O princípio da bivalência prende somente quando a álgebra booleana é considerado como sendo a álgebra de dois elementos, o que não tem elementos intermediários.