Beruflich Dokumente
Kultur Dokumente
Ir a la navegaciónIr a la búsqueda
Este artículo tiene referencias, pero necesita más para complementar
su verificabilidad.
Puedes colaborar agregando referencias a fuentes fiables como se indica aquí. El material
sin fuentes fiables podría ser cuestionado y eliminado.
Este aviso fue puesto el 28 de octubre de 2018.
Índice
1Etimología
2Conceptos
o 2.1Inferencia
2.1.1Clases de inferencias
o 2.2Validez y consecuencia lógica
3Acepciones
o 3.1Ciencia argumentativa y propedéutica
o 3.2Ciencia del pensar
o 3.3Lógica como pensamiento informal
4Sistemas formales
o 4.1Lógicas clásicas
o 4.2Lógicas no clásicas
o 4.3Lógicas modales
5Ramas de la lógica
o 5.1Lógica filosófica
o 5.2Lógica matemática
o 5.3Lógica computacional
6Metalógica
o 6.1Consistencia
o 6.2Decidibilidad
o 6.3Completitud
7Falacias
8Paradojas
9Historia
o 9.1Lógica aristotélica
10Véase también
11Referencias
12Bibliografía adicional
13Enlaces externos
Etimología[editar]
La palabra «lógica» deriva del griego antiguo λογική logikḗ, que significa «dotada de razón,
intelectual, dialéctica, argumentativa», y que a su vez viene de λόγος (lógos),
«palabra, pensamiento, idea, argumento, razón o principio».
Conceptos[editar]
Inferencia[editar]
Artículo principal: Inferencia
Acepciones[editar]
Ciencia argumentativa y propedéutica[editar]
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de
la argumentación o argumento cerrado.8De este modo la forma argumentativaresponde
al principio de conocimiento que supone que representa adecuadamente la realidad.9 Por ello,
sin perder su condición de formalidad, no son formalistas y no acaban de desprenderse de las
estructuras propias del lenguaje.10
Ciencia del pensar[editar]
Gottfried Leibniz (1646-1716).
Sistemas formales[editar]
Lo que sigue proviene del artículo Sistema formal
Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal,
una gramática formal que restringe cuales son las expresiones correctamente formadas de
dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las
proposiciones derivables de dichos axiomas. Los sistemas formales también han encontrado
aplicación dentro de la informática, la teoría de la información, y la estadística, para
proporcionar una definición rigurosa del concepto de demostración. La noción de sistema
formal corresponde a una formalización rigurosa y completa del concepto de sistema
axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural
formalizado.
Llamamos formalización al acto de crear un sistema formal, con la que pretendemos capturar
y abstraer la esencia de determinadas características del mundo real, en un modelo
conceptual expresado en un determinado lenguaje formal.
En la Teoría de la demostración, las demostraciones formales pueden expresarse en el
lenguaje de los sistemas formales, consistentes en axiomas y reglas de inferencia. Los
teoremas pueden ser obtenidos por medio de demostraciones formales. Este punto de vista de
las matemáticas ha sido denominado formalista; aunque en muchas ocasiones este término
conlleva una acepción peyorativa. En ese sentido David Hilbert creó la disciplina
denominada metamatemática dedicada al estudio de los sistemas formales, entendiendo que
el lenguaje utilizado para ello, denominado metalenguaje era distinto del lenguaje del sistema
formal que se pretendía estudiar. El lenguaje formal que se estudia, en este caso se llama
también, en ocasiones, lenguaje objeto.
Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje
formalizado y simbolizado sin contenido material alguno; un lenguaje reducido a mera forma
que se expresa mediante fórmulas que reflejan las relaciones sintácticas entre los símbolos y
las reglas de formación y transformación que permiten construir las fórmulas del sistema y
pasar de una fórmula a otra.19
El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas
cadenas válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas de
producción que convierten una cadena en otra. Hay ciertos teoremas iniciales que no se
obtienen de ninguna regla, éstos son los axiomas que se suponen válidos por definicióny se
convierten en el germen de producción de teoremas.
Lógicas clásicas[editar]
Lo que sigue proviene del artículo Lógica clásica
Una lógica clásica o lógica estándar2021 es un sistema formal que respeta los siguientes
principios:
Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y
propone un número infinito de valores de verdad.
Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir
que para que un argumento sea válido, las premisas y la conclusión deben compartir al
menos una variable proposicional.
Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica
cuántica; su característica más notable es el rechazo de la propiedad distributiva.
Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una
fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa
teoría se reduzca.
Lógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las
transformaciones de las proposiciones.
Lógicas modales[editar]
Lo que sigue proviene del artículo Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de
algún grupo de operadores modales.23 Los operadores modales son expresiones
que califican la verdad de los juicios.23 Por ejemplo, en el juicio «es necesario que 2 + 2 = 4»,
la expresión «es necesario que» es un operador modal que califica de necesaria a la verdad
del juicio «2 + 2 = 4». De manera análoga, la expresión «siempre» califica a un juicio
verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir
«está lloviendo» que decir «siempre está lloviendo».
En un sentido más restringido, sin embargo, una lógica modal es un sistema formal que
intenta capturar el comportamiento deductivo de las expresiones «es necesario que» y «es
posible que».23 Este artículo trata exclusivamente sobre lógicas modales en este sentido
restringido. Las lógicas modales pertenecen al grupo de las llamadas «extensiones de la
lógica clásica» o «lógicas extendidas» entre las cuales se incluyen además la lógica deóntica,
la lógica temporal, la lógica epistémica y la lógica doxástica.
La lógica de Aristóteles se ocupa en gran parte de la teoría de la lógica no modalizada.
Aunque hay pasajes en su obra, como el famoso argumento de la batalla naval en De
Interpretatione , que ahora se ven como anticipaciones de la lógica modal y su conexión con la
potencialidad y el tiempo, el primer sistema formal de lógica modal fue desarrollado por
Avicenna, quien finalmente desarrolló una teoría de "temporalmente modalizada" silogística.
Mientras que el estudio de la necesidad y la posibilidad seguía siendo importante para los
filósofos, no hubo grandes avances en el campo de la lógica hasta las investigaciones de
Clarence Irving Lewis en 1918, quien formuló una familia de axiomas. Su obra desencadenó
un torrente de nuevos trabajos sobre el tema, ampliando los tipos de modalidad para incluir la
lógica deóntica y la lógica epistémica. La obra seminal de Arthur Prior aplicó el mismo
lenguaje formal para tratar la lógica temporal. Saul Kripke formuló una teoría semántica de la
modalidad que revolucionó la lógica modal y proporcionó una nueva forma de mirar la
modalidad que ha impulsado muchas aplicaciones en lingüística computacional y lógica
informática.
Ramas de la lógica[editar]
Lógica filosófica[editar]
Lo que sigue proviene del artículo Lógica filosófica
La lógica filosófica se refiere a aquellas áreas de la filosofía en la que reconocidos métodos
de la lógica tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los
problemas filosóficos.24 Entre estos, Sybil Wolfram destaca el estudio del argumento,
el significado y verdad,25 mientras Colin McGinn presenta las nociones
de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales en
su libro sobre este tema.26 La lógica se usa únicamente para pensamientos sobre existencias
relacionadas a nosotros, en el caso de la filosofia esto es en relación a todo lo posiblemente
imaginativo.
La lógica filosófica también dirige extensiones y alternativas a la lógica tradicional, la más
conocida es las lógica no clásica. Estas reciben más atención en textos tales como Lógica
Filosófica, la guía de Blackwell a la lógica filosófica de John P. Burgess o el Manual de lógica
filosófica editado por Dov M. Gabbay y Franz Guenthner el cual dispone de múltiples
volúmenes.272829
La lógica filosófica trata de las descripciones formales de lo ordinario, lenguaje natural no
especificado, que es estrictamente único sobre los argumentos dentro de las ramas de otras
filosofías. La mayoría de los filósofos suponen que la mayor parte del razonamiento cotidiano
se podría capturar en la lógica si se pudiera encontrar un método o métodos para traducir el
lenguaje ordinario a esa lógica.La lógica filosófica es esencialmente una continuación de la
disciplina tradicional llamada "lógica" antes de la invención de la lógica matemática. La lógica
filosófica tiene un mayor interés con la conexión entre el lenguaje natural y la lógica. Como
resultado, los lógicos filosóficos han contribuido al desarrollo de lógica no convencional (por
ejemplo lógicas libres, lógica temporal, etc) al igual que varias extensiones de la lógica
clásica (por ejemplo, la lógica modal) y la semántica no convencional para tales lógicas (por
ejemplo, el supervaluacionismo de Kripke en la semántica de la lógica).
La lógica y la filosofía del lenguaje están estrechamente relacionadas. La filosofía del lenguaje
tiene que ver con el estudio de cómo nuestra lengua se involucra e interactúa con nuestro
pensamiento. La lógica tiene un impacto inmediato en otras áreas de estudio. Estudiar la
lógica y la relación entre la lógica y la forma de expresión ordinaria puede ayudar a una
persona a estructurar mejor sus propios argumentos y criticar (o analizar) los argumentos de
otra persona. Muchos argumentos populares están llenos de errores porque mucha personas
son inexperta en la lógica e ignoran cómo formular un argumento correctamente.
Lógica matemática[editar]
Lo que sigue proviene del artículo Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal,
o logística,30 es parte tanto de la lógica como de las matemáticas, y consiste en el estudio
matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y
de las ciencias. La lógica matemática tiene estrechas conexiones con las ciencias de la
computación y con la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que
codifican o definen nociones intuitivas de objetos matemáticos
como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática se suele dividir en cuatro subcampos: teoría de modelos, teoría de la
demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica
matemática ha jugado un papel fundamental en el estudio de las matemáticas.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica».
Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente.
La lógica matemática comprende dos áreas de investigación distintas: la primera es la
aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento matemático
y la segunda, en la otra dirección, la aplicación de técnicas matemáticas a la representación y
el análisis de la lógica formal.
Si la teoría de la demostración y la teoría de modelos han sido el fundamento de la lógica
matemática, no han sido más que dos de los cuatro pilares del sujeto. La teoría de conjuntos
se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los
temas más desafiantes e importantes de la lógica matemática, a partir del teorema de Cantor,
a través del estatus del axioma de elección y la cuestión de la independencia de la hipótesis
del continuo, al debate moderno sobre grandes axiomas cardinales.
La teoría de la recursión captura la idea de la computación en términos lógicos y aritméticos.
Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su
presentación de la tesis de Church-Turing. Hoy en día, la teoría de la recursión se ocupa
principalmente del problema más refinado de las clases de complejidad (¿cuándo es un
problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.
Lógica computacional[editar]
Lo que sigue proviene del artículo Lógica computacional
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias
de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales,
en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales)
de algoritmos.
La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El
trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de Kurt
Gödel sobre teoremas incompletos. La noción de la computadora de uso general que surgió
de este trabajo fue de gran importancia para los diseñadores de la maquinaria informática en
la década de 1940.
En los 50's y 60's, investigaciones predijeron que, cuando el conocimiento humano se pudiera
expresar usando la lógica con notaciones matemáticas, sería posible crear una máquina
capaz de razonar o una inteligencia artificial. Esto fue más difícil de lo esperado a causa de la
complejidad del razonamiento humano. En la lógica de programación, un programa consiste
en una colección de axiomas y reglas. Los sistemas de programación lógicos (como Prolog)
calculan las consecuencias de los axiomas y las reglas organizadas para responder a una
consulta.
Hoy en día, la lógica es extensamente aplicada en los campos de inteligencia artificial y de
ciencias de computación, y estos campos proporcionan una rica fuente de problemas en la
lógica formal e informal. La teoría de la argumentación es un buen ejemplo de cómo la lógica
está siendo aplicada a la inteligencia artificial. El sistema de clasificación computacional ACM,
en particular, considera:
Metalógica[editar]
Lo que sigue proviene del artículo Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de
los sistemas formales.31 Las propiedades más importantes que se pueden demostrar de los
sistemas formales son la consistencia, decidibilidad y completitud.32 Otra propiedad es
la compacidad.
Consistencia[editar]
Lo que sigue proviene del artículo Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen
los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es
decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es
posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría
lógica es consistente.
Generalizando, la consistencia es una propiedad que pueden tener los conjuntos de fórmulas.
Intuitivamente, un conjunto de fórmulas es consistente cuando no es posible deducir una
contradicción del mismo. Es decir, dado un lenguaje formal y un aparato deductivo, no es
posible demostrar una fórmula y su negación. Equivalentemente, esto se puede expresar
Si entonces 33
de A a partir de . En símbolos:
34
Si entonces
Falacias[editar]
Lo que sigue proviene del artículo Falacia
En lógica, una falacia (del latín: fallacia, ‘engaño’) es un argumento que parece válido,
pero no lo es.3536 Algunas falacias se cometen intencionalmente para persuadir o
manipular a los demás, mientras que otras se cometen sin intención debido a
descuidos o ignorancia. En ocasiones las falacias pueden ser muy sutiles y
persuasivas, por lo que se debe poner mucha atención para detectarlas.37
Que un argumento sea falaz no implica que sus premisas o su conclusión sean falsas
ni que sean verdaderas. Un argumento puede tener premisas y conclusión verdaderas
y aun así ser falaz. Lo que hace falaz a un argumento es la invalidez del argumento
en sí. De hecho, inferir que una proposición es falsa porque el argumento que la
contiene por conclusión es falaz es en sí una falacia conocida como argumento ad
logicam.38
El estudio de las falacias se remonta por lo menos hasta Aristóteles, quien en
sus Refutaciones sofísticas identificó y clasificó trece clases de falacias.35 Desde
entonces se han agregado a la lista cientos de otras falacias y se han propuesto
varios sistemas de clasificación.39
Las falacias son de interés no solo para la lógica, sino también para la política,
la retórica, el derecho, la ciencia, la religión, el periodismo, la mercadotecnia, el cine y,
en general, cualquier área en la cual la argumentación y la persuasión sean de
especial relevancia.
Paradojas[editar]
Lo que sigue proviene del artículo Paradoja
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es una
idea extraña opuesta a lo que se considera verdadero a la opinión general.40 También
se considera paradoja a una proposición en apariencia falsa o que infringe el sentido
común, pero no conlleva una contradicción lógica, en contraposición a un sofisma que
solo aparenta ser un razonamiento válido.41 Algunas paradojas son razonamientos en
apariencia válidos, que parten de premisas en apariencia verdaderas, pero que
conducen a contradicciones o situaciones contrarias al sentido común.42 En
la retórica, es una figura de pensamiento que consiste en emplear expresiones o
frases que implican contradicción. Las paradojas son estímulo para la reflexión y a
menudo los filósofos se sirven de ellas para revelar la complejidad de la realidad. La
paradoja también permite demostrar las limitaciones de la comprensión humana; la
identificación de paradojas basadas en conceptos que a simple vista parecen simples
y razonables ha impulsado importantes avances en la ciencia, la filosofía y
las matemáticas.43