Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios:
Principio del tercero excluido Principio de no contradicción Principio de explosión 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.
Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.
Principios
Principio del tercero excluido
Principio de no contradicción
Principio de explosión
Monotonicidad de la implicación
Ejemplos de lógicas clásicas
Lógica proposicional
Lógica de primer orden
Lógica de segundo orden
Semántica generalizada
Con la llegada de la lógica algebraica se hizo evidente que la lógica proposicional clásica admite otras semánticas lingüísticas. En los valores semánticos de Boole (para la lógica proposicional clásica), los valores de verdad son los elementos de una álgebra arbitraria; "cierto" corresponde al elemento máximo del álgebra, y "falso" corresponde al elemento mínimo. Los elementos intermedios del álgebra corresponden a la verdad valora otro que "cierto" y "falso". La lógica binaria es válida sólo cuando el álgebra de Boole se toma como el álgebra de dos elementos, que no posee elementos intermedios.
Lógicas no clásicas
Lógicas Lógica Lógica formal Lógica clásica Lógica de orden cero o Lógica proposicional Lógica de orden superior Lógica de primer orden o lógica de predicados Lógica de segundo orden ... Lógica no clásica Lógica modal Lógica deóntica Lógica doxástica Lógica epistémica Lógica temporal Lógica cuántica Lógica difusa Lógica intuicionista Lógica relevante Lógica no monotónica ... Lógica informal
Referencias
Lectura recomendada Graham Sacerdote, Una Introducción a Lógica No Clásica: De Si a Es, 2.ª Edición, TAZA, 2008, ISBN 978-0-521-67026-5 Warren Goldfard, "Deductive Lógica", 1.ª edición, 2003, ISBN 0-87220-660-2
Categoría:Lógica Categoría:Lógica aristotélica