Wikipedia

Lógica clásica

sistema formal
(Redirigido desde «Lógicas clásicas»)

Una lógica clásica o lógica estándar[1]​[2]​ es un sistema formal que respeta los siguientes principios:

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 editar

Principio del tercero excluido editar

Esta sección es un extracto de Principio del tercero excluido.[editar]

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.[3]​ Por ejemplo, es verdad que "es de día o no es de día", y que "Algo es blanco o no es blanco". El principio del tercero excluido frecuentemente se confunde con el principio de bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.[4]​[5]​ El principio del tercero excluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas del pensamiento occidental.[6]​

En la lógica proposicional, el principio del tercero excluido se expresa:

 

donde A no es una fórmula del lenguaje, sino una metavariable que representa a cualquier fórmula del lenguaje.

En la lógica aristotélica, se distingue entre juicios contradictorios y juicios contrarios. Dados dos juicios contradictorios, no puede darse un juicio intermedio, pero sí en cambio entre dos juicios contrarios. Por ejemplo, si se afirma "Juan es bueno" y "esta proposición es verdadera", entonces los juicios contradictorios son "Juan no es bueno" y "esta proposición no es verdadera", y no hay posibilidad de un juicio intermedio. Pero en cambio, los juicios contrarios son Juan es malo y esta proposición es falsa, y entonces sí cabe la posibilidad de otros juicios intermedios, como "Juan es más o menos bueno" y "esta proposición es probablemente falsa".[7]​

Según Stuart Mill, la frase "abracadabra es una segunda intención" no es ni verdadera ni falsa, sino que carece de sentido.[8]​

La negación del principio del tercero excluido de un sistema lógico da lugar a las llamadas lógicas polivalentes.

tampoco puede darse un término intermedio entre los contradictorios, sino que necesariamente se ha de afirmar o negar uno de ellos, sea el que sea, de una misma cosa.
Aristóteles, Metafísica, 1011b23-24

Principio de no contradicción editar

Esta sección es un extracto de Principio de no contradicción.[editar]
 
Expresión formal del principio.

El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción[9]​ o ley de no contradicción,[10]​ es un principio clásico de la lógica y la filosofía, según el cual una proposición   y su negación   no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.[11]​ El principio también tiene una versión ontológica: nada puede ser y no ser al mismo tiempo y en el mismo sentido; y una versión doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación.[12]​ El principio de no contradicción es, junto con el principio de identidad y el principio del tercero excluido, una de las leyes clásicas del pensamiento lógico.[13]​ Aristóteles, quien fue uno de los primeros en formularlo, lo consideró como el "primer principio", pues de él surgen los demás.[12]​

El principio de no contradicción puede expresarse en el lenguaje de la lógica proposicional. Si A es una metavariable que representa una fórmula cualquiera, entonces el principio de no contradicción se expresa como tautología:

  es verdadera.
El principio de no contradicción permite juzgar como falso todo aquello que implica una contradicción. De ahí la validez de los argumentos por reducción al absurdo.

Principio de explosión editar

Esta sección es un extracto de Principio de explosión.[editar]

El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente.[14]​ Con base en el principio de explosión, todo es demostrable cuando se tiene una contradicción; esto se conoce como explosión deductiva.[15]​[16]​

La primera prueba de este principio fue ofrecida en el siglo XII por el filósofo francés Guillaume de Soissons.[17]​ Debido al principio de explosión, la presencia de una contradicción (inconsistencia) en cualquier sistema formal axiomático es desastrosa, pues implica que cualquier premisa puede ser demostrada, trivializando los conceptos de verdad y falsedad.[18]​ El principio de explosión adquirió particular relevancia a principios del siglo XX, con el descubrimiento de diversas contradicciones como la Paradoja de Russell en los fundamentos de las matemáticas que amenazaban toda la estructura formal de las matemáticas. Matemáticos como Gottlob Frege, Ernst Zermelo, Abraham Fraenkel y Thoralf Skolem trabajaron para revisar la teoría de conjuntos y eliminar dichas contradicciones, lo que resultó en la moderna teoría de Zermelo-Frenkel.

Monotonicidad de la implicación editar

Esta sección es un extracto de Monotonicidad de la implicación.[editar]
 
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.
Busca fuentes: «Lógica clásica» – noticias · libros · académico · imágenes
Este aviso fue puesto el 5 de agosto de 2008.
La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales. En el cálculo secuencial esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento, a veces adelgazamiento, y en tales sistemas se puede decir que la implicación es monótona, sí y solamente sí, la regla fuera admisible. Los sistemas lógicos con esta propiedad son ocasionalmente llamados lógicas monotónicas con el fin de diferenciarlos de lógicas no monótonas.

Ejemplos de lógicas clásicas editar

Lógica proposicional editar

Esta sección es un extracto de Lógica proposicional.[editar]

La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.[19]​

Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.[20]​

Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla.

Lógica de primer orden editar

Esta sección es un extracto de Lógica de primer orden.[editar]

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[21]​ Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.[22]​

La lógica de primer orden tiene un poder expresivo superior al de la lógica proposicional.

Lógica de segundo orden editar

Esta sección es un extracto de Lógica de segundo orden.[editar]
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.[23]​ Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.[23]​

Semántica generalizada editar

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 editar

Esta sección es un extracto de Lógica no clásica.[editar]

Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y variaciones, por ejemplo, rechazando uno o varios de los principios de la lógica clásica. El objetivo de estas desviaciones es para hacer posible construir distintos modelos de consecuencia lógica y verdad lógica.

La lógica filosófica, especialmente en la ciencia computacional teórica, se usa para abarcar y centrarse en las lógicas no clásicas, a pesar de que el término tiene otros significados también.[24]​

Algunos ejemplos de lógicas no clásicas son:

Referencias editar

  1. ↑ The Blackwell dictionary of Western philosophy. Wiley-Blackwell. 2004. p. 266. ISBN 978-1-4051-0679-5. 
  2. ↑ Gamut, L. T. F. (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. University of Chicago Press. pp. 156-157. ISBN 978-0-226-28085-1. 
  3. ↑ Moreno Villa, Mariano. Filosofia del lenguaje, lógica, filosofia del lenguaje y metafísica. MAD-Eduforma. p. 229. ISBN 978-84-665-0536-9. Consultado el 31 de mayo de 2020. 
  4. ↑ Robert Audi (ed.). «principle of excluded middle». The Cambridge Dictionary of Philosophy (en inglés) (2nd Edition edición). Cambridge University Press. 
  5. ↑ Ted Honderich (ed.). «law of excluded middle». The Oxford Companion to Philosophy (en inglés). Oxford University Press. 
  6. ↑ Robert Audi (ed.). «laws of thought». The Cambridge Dictionary of Philosophy (en inglés) (2nd edition edición). Cambridge University Press. 
  7. ↑ Correia, Manuel (2010). «La actualidad de la lógica de Aristóteles». Revista filosófica (Santiago). 
  8. ↑ Vaz Ferreira, Carlos (1983). Lógica viva. Montevideo, Uruguay: Técnica. p. 92. 
  9. ↑ «Ley de contradicción». www.filosofia.org. Consultado el 27 de agosto de 2020. 
  10. ↑ McDowell, Josh (2016). Nueva evidencia que demanda un veredicto. Editorial Mundo Hispano. p. 690. ISBN 978-0-311-05048-2. Consultado el 27 de agosto de 2020. 
  11. ↑ Robert Audi (ed.). «principle of contradiction». The Cambridge Dictionary of Philosophy (en inglés) (2nd edition edición). Cambridge University Press. 
  12. ↑ a b Gottlieb, Paula. «Aristotle on Non-contradiction». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2008 Edition edición). Consultado el 5 de noviembre de 2009. 
  13. ↑ Robert Audi (ed.). «laws of thought». The Cambridge Dictionary of Philosophy (en inglés) (2nd edition edición). Cambridge University Press. 
  14. ↑ Carnielli, Walter, and João Marcos. [2000] 2001. "Ex contradictione non sequitur quodlibet (PDF)". Bulletin of Advanced Reasoning and Knowledge 1:89–109.
  15. ↑ Başkent, Can (31 de enero de 2013). «Some topological properties of paraconsistent models». Synthese 190 (18): 4023. doi:10.1007/s11229-013-0246-8. 
  16. ↑ Carnielli, Walter; Coniglio, Marcelo Esteban (2016). Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science 40. Springer International Publishing. ix. ISBN 978-3-319-33203-1. doi:10.1007/978-3-319-33205-5. 
  17. ↑ Priest, Graham. 2011. "What's so bad about contradictions?" In The Law of Non-Contradicton, edited by Priest, Beal, and Armour-Garb. Oxford: Clarendon Press. p. 25.
  18. ↑ McKubre-Jordens, Maarten (August 2011). «This is not a carrot: Paraconsistent mathematics». Plus Magazine. Millennium Mathematics Project. Consultado el 14 de enero de 2017. 
  19. ↑ Simon Blackburn (ed.). «propositional calculus». Oxford Dictionary of Philosophy (en inglés). Oxford University Press. Consultado el 13 de agosto de 2009. 
  20. ↑ Klement, Kevin C. «Propositional Logic». Internet Encyclopedia of Philosophy (en inglés). Consultado el 6 de febrero de 2012. 
  21. ↑ Simon Blackburn (ed.). «first-order logic». The Oxford Dictionary of Philosophy. Oxford University Press. Consultado el 10 de septiembre de 2009. 
  22. ↑ Simon Blackburn (ed.). «first-order language». The Oxford Dictionary of Philosophy. Oxford University Press. Consultado el 10 de septiembre de 2009. 
  23. ↑ a b Enderton, Herbert B. «Second-order and Higher-order Logic». En Edward N. Zalta, ed. The Stanford Encyclopedia of Philosophy (en inglés) (Spring 2009 Edition edición). Consultado el 7 de octubre de 2009. 
  24. ↑ Burgess, John P. (2009). Philosophical logic. Princeton University Press. pp. vii-viii. ISBN 978-0-691-13789-6. 

Lectura recomendada editar

Obtenido de «https://es.wikipedia.org/w/index.php?title=Lógica_clásica&oldid=159289731»