Lógicas no clásicas
De Enciclopedia Symploké, la enciclopedia libre.
Las lógicas no clásicas - también denominadas lógicas divergentes - son aquellos sistemas lógicos propuestos como alternativas a lógica clásica, ya sea con el fin de enriquecerla o ya sea con el fin de sustituirla. Podemos destacar las siguientes:
- Las lógicas polivalentes, es decir, aquellos cálculos que admiten más de dos valores de verdad.
- La lógica combinatoria, que estudia exhaustivamente los conceptos operacionales básicos de la lógica con el fin de llegar a una fundamentación última.
- La lógica modal, que se ocupa de los razonamientos en los que aparecen los operadores modales (necesario, contingente, posible e imposible).
- La lógica cuántica, que trata los problemas lógicos planteados por la mecánica cuántica.
- La lógica deóntica, que aborda lógicamente los sistemas normativos jurídicos o éticos.
- La lógica intuicionista, que no admite el principio del tercio excluso (p v ¬p) ni la ley de la doble negación (p ≡ ¬¬p) como regla de inferencia primitiva.
- La lógica difusa o borrosa, que se ocupa de aquellos términos cuyos significados son imprecisos y reconoce grados de verdad.