Hispanopedia WikiLa lógica desviada es un tipo de lógica incompatible con la lógica clásica . La filósofa Susan Haack [ 1 ] utiliza el término lógica desviada para describir ciertos sistemas lógicos no clásicos . En estas lógicas:
- El conjunto de fórmulas bien formadas generadas es igual al conjunto de fórmulas bien formadas generadas por la lógica clásica.
- El conjunto de teoremas generado es diferente del conjunto de teoremas generado por la lógica clásica.
El conjunto de teoremas de una lógica desviada puede diferir de cualquier manera posible del conjunto de teoremas de la lógica clásica: como subconjunto propio , superconjunto o conjunto totalmente exclusivo. Un ejemplo notable de esto es la lógica trivalente desarrollada por el lógico y matemático polaco Jan Łukasiewicz . Bajo este sistema, cualquier teorema que dependa necesariamente del principio de bivalencia de la lógica clásica no sería válido. El término lógica desviada aparece por primera vez en el capítulo 6 de * Filosofía de la lógica* de Willard Van Orman Quine , *Nueva Jersey: Prentice Hall* (1970), citado por Haack en la página 15 de su libro.
Lógicas cuasi-desviadas y extendidas
Haack también describió lo que ella llama una lógica cuasi -desviada. Estas lógicas se diferencian de las lógicas puramente desviadas en que:
- El conjunto de fórmulas bien formadas generadas es un superconjunto propio del conjunto de fórmulas bien formadas generadas por la lógica clásica.
- El conjunto de teoremas generados es un superconjunto propio del conjunto de teoremas generados por la lógica clásica, tanto porque la lógica cuasi-desviada genera teoremas nuevos utilizando fórmulas bien formadas comunes con la lógica clásica, como porque genera teoremas nuevos utilizando fórmulas novedosas bien formadas.
Finalmente, Haack definió una clase de lógicas meramente extendidas . En estas,
- El conjunto de fórmulas bien formadas generadas es un superconjunto propio del conjunto de fórmulas bien formadas generadas por la lógica clásica.
- El conjunto de teoremas generados es un superconjunto propio del conjunto de teoremas generados por la lógica clásica, pero solo en el sentido de que los nuevos teoremas generados por la lógica extendida son únicamente el resultado de nuevas fórmulas bien formadas.
Algunos sistemas de lógica modal cumplen con esta definición. En dichos sistemas, ningún teorema novedoso se analizaría mediante la lógica clásica debido a los operadores modales. Si bien las lógicas desviadas y cuasi-desviadas suelen proponerse como rivales de la lógica clásica, el objetivo de las lógicas extendidas normalmente es solo complementarla.
Dos décadas después
En su reseña [ 2 ] de la edición de 1996 del libro de Haack, Achille Varzi escribe que el estudio no ha resistido bien el paso del tiempo, especialmente con la «extraordinaria proliferación de lógicas no clásicas en las últimas dos décadas: lógicas paraconsistentes , lógicas lineales , lógicas subestructurales , lógicas no monótonas e innumerables otras lógicas para la IA y la informática». También considera que la explicación de Haack sobre la vaguedad «presenta ahora graves deficiencias». Sin embargo, reconoce que «como defensa de una postura filosófica, la lógica desviada conserva su relevancia».
Referencias
- ↑ Haack, Susan (1996).Lógica desviada, lógica difusa: más allá del formalismo . Chicago: The University of Chicago Press. págs. xxvi-291. ISBN 9780226311340.
{{cite book}}CS1 maint: ubicación del editor ( enlace ) (Apareció por primera vez en 1974 como Deviant Logic , publicado por Cambridge University Press. La edición de 1996 incluye algunos ensayos adicionales publicados entre 1973 y 1980, en particular sobre lógica difusa ). - ↑ Varzi, Achille. "Reseña" ( PDF) . The Philosophical Review . 107 (3): 468– 471. doi : 10.2307/2998452 . JSTOR 2998452. Archivado (PDF) del original el 4 de marzo de 2016. Consultado el 10 de enero de 2022 .
- Lógica no clásica
