L�gica

Ir a la navegaci�nIr a la b�squeda
Commons-emblem-question book yellow.svg
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.

Esquema del modus ponens, una regla de inferencia fundamental de la l�gica

proposicional.
La l�gica es la ciencia formal y rama tanto de la filosof�a como de las matem�ticas
que estudia los principios de la demostraci�n y la inferencia v�lida,1? las
falacias, las paradojas y la noci�n de verdad.2?

La l�gica matem�tica es la rama m�s matem�tica de la l�gica, que estudia la

inferencia mediante sistemas formales como la l�gica proposicional, la l�gica de
primer orden y la l�gica modal. La l�gica computacional es la aplicaci�n de la
l�gica matem�tica a las ciencias de la computaci�n. La l�gica filos�fica utiliza
los m�todos y resultados de la l�gica moderna para el estudio de problemas
filos�ficos.

Los or�genes de la l�gica se remontan a la Edad Antigua, con brotes independientes

en China, India y Grecia. Desde entonces, la l�gica tradicionalmente se considera
una rama de la filosof�a, pero en el siglo XX la l�gica ha pasado a ser
principalmente la l�gica matem�tica, y por lo tanto ahora tambi�n se considera
parte de las matem�ticas, e incluso una ciencia formal independiente.

�ndice
1 Etimolog�a y acepciones
2 Temas
2.1 Inferencia
2.2 Validez
2.3 Falacias
2.4 Paradojas
2.5 Verdad
3 Ramas
3.1 L�gica matem�tica
3.2 L�gica computacional
3.3 L�gica filos�fica
3.4 L�gica informal
4 Historia
5 V�ase tambi�n
6 Referencias
7 Bibliograf�a adicional
8 Enlaces externos
Etimolog�a y acepciones
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�.

En el lenguaje cotidiano, expresiones como �l�gica� o �pensamiento l�gico� aportan

tambi�n un sentido alrededor de un �pensamiento lateral� comparado, haciendo los
contenidos de la afirmaci�n coherentes con un contexto, bien sea del discurso o de
una teor�a de la ciencia, o simplemente con las creencias o evidencias transmitidas
por la tradici�n cultural.

Del mismo modo existe el concepto sociol�gico y cultural de l�gica como, p.e. �la
l�gica de las mujeres�, �l�gica deportiva�, etc. que, en general, podr�amos
considerar como �l�gica cotidiana� - tambi�n conocida como �l�gica del sentido
com�n�.

En estas �reas la �l�gica� suele tener una referencia ling��stica en la pragm�tica.

Un argumento en este sentido tiene su �l�gica� cuando resulta convincente,

razonable y claro; en definitiva cuando cumple una funci�n de eficacia. La
habilidad de pensar y expresar un argumento as� corresponde a la ret�rica, cuya
relaci�n con la verdad es una relaci�n probable.

Temas
Inferencia
Lo que sigue es un extracto de Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de
premisas.3? Cuando una proposici�n se sigue de otras de ese modo, se dice que �stas
implican aquella.

La inferencia es el objeto de estudio tradicional de la l�gica (as� como la materia

es de la qu�mica y la vida es de la biolog�a). La l�gica investiga los fundamentos
por los cuales algunas inferencias son aceptables, y otras no. Cuando una
inferencia es aceptable, lo es por su estructura l�gica y no por el contenido
espec�fico del argumento o el lenguaje utilizado. Por esto se construyen sistemas
formales que capturan los factores relevantes de las deducciones como aparecen en
el lenguaje natural.4?

Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las

inducciones y las abducciones, aunque a veces se cuenta a la abducci�n como un caso
especial de inducci�n.5? La validez o no de las inducciones es asunto de la l�gica
inductiva y del problema de la inducci�n. Las deducciones, en cambio, son
estudiadas por la mayor parte de la l�gica contempor�nea.6?

En las investigaciones sobre la inteligencia artificial, la inferencia es la

operaci�n l�gica utilizada en los motores de inferencia de los sistemas expertos.
Validez
Lo que sigue es un extracto de Validez (l�gica)
En l�gica, la validez es una propiedad que tienen los argumentos cuando las
premisas implican la conclusi�n. Si la conclusi�n es una consecuencia l�gica de las
premisas, se dice que el argumento es deductivamente v�lido.6? Algunos consideran
estas dos nociones id�nticas y usan ambos t�rminos indistintamente. Otros, sin
embargo, consideran que puede haber argumentos que no sean deductivamente v�lidos,
como las inducciones. En cualquier caso, de las inducciones a veces se dice que son
buenas o malas, en vez de v�lidas o inv�lidas.

Ejemplos de argumentos deductivamente v�lidos son los siguientes:

Si est� soleado, entonces es de d�a.

Est� soleado.
Por lo tanto, es de d�a.
Si no es lunes, entonces es martes.
No es lunes.
Por lo tanto, es martes.
Todos los planetas giran alrededor del Sol.
Marte es un planeta.
Por lo tanto, Marte gira alrededor del Sol.
Para que un argumento sea deductivamente v�lido, no es necesario que las premisas o
la conclusi�n sean verdaderas. S�lo se requiere que la conclusi�n sea una
consecuencia l�gica de las premisas. La l�gica formal exige �nicamente una relaci�n
condicional entre las premisas y la conclusi�n. Esto es: que si las premisas son
verdaderas, entonces la conclusi�n tambi�n lo es (esta es la caracterizaci�n
sem�ntica de la noci�n de consecuencia l�gica); o alternativamente: que la
conclusi�n sea deducible de las premisas conforme a las reglas de un sistema l�gico
(esta es la caracterizaci�n sint�ctica de la noci�n de consecuencia l�gica). Si un
argumento, adem�s de ser v�lido, tiene premisas verdaderas, entonces se dice que es
s�lido.

Las expresiones de las que depende la validez de los argumentos se llaman

constantes l�gicas, y la l�gica las estudia mediante sistemas formales.7?
Falacias
Lo que sigue es un extracto de Falacia
En l�gica, una falacia (del lat�n: fallacia, �enga�o�) es un argumento que parece
v�lido, pero no lo es.8?9? 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.10?

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.11?

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.8? Desde
entonces se han agregado a la lista cientos de otras falacias y se han propuesto
varios sistemas de clasificaci�n.12?

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
Lo que sigue es un extracto de Paradoja

El cubo imposible es un objeto parad�jico.

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.13?
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.14? 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.15? 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 sencillas y razonables ha impulsado importantes avances en la
ciencia, la filosof�a y las matem�ticas.16?
Verdad
Lo que sigue es un extracto de Verdad

Alfred Stevens: La Verdad y la Falsedad.

Plat�n y Arist�teles, por Raffaello Sanzio (detalle de La escuela de Atenas, 1509),

como representantes de dos grandes filosof�as orientadas a la b�squeda de la
verdad.
El Tiempo salvando a la Verdad de la Falsedad y de la Envidia, tela de Fran�ois
Lemoyne, 1737.
La verdad es la coincidencia entre una afirmaci�n y los hechos, o la realidad a la
que dicha afirmaci�n se refiere17? o la fidelidad a una idea.17? El t�rmino se usa
en un sentido t�cnico en diversos campos como la ciencia, la l�gica, las
matem�ticas y la filosof�a.

El uso de la palabra verdad abarca asimismo la honestidad, la buena fe y la

sinceridad humana en general; tambi�n el acuerdo de los conocimientos con las cosas
que se afirman como realidades: los hechos o la cosa en particular;18? y,
finalmente, la relaci�n de los hechos o las cosas en su totalidad en la
constituci�n del Todo, el Universo.19?

Las cosas son verdaderas cuando son �fiables�, fieles porque cumplen lo que
ofrecen.20?21?

El t�rmino no tiene una �nica definici�n en la que est�n de acuerdo la mayor�a de

los estudiosos y las teor�as sobre la verdad contin�an siendo ampliamente
debatidas. Hay posiciones diferentes acerca de cuestiones como:

Qu� es lo que constituye la verdad.

Con qu� criterio podemos identificarla y definirla.
Si el ser humano posee conocimientos innatos o s�lo puede adquirirlos.
Si existen las revelaciones o la verdad puede alcanzarse tan s�lo mediante la
experiencia, el entendimiento y la raz�n.
Si la verdad es subjetiva u objetiva.
Si la verdad es relativa o absoluta.
Y hasta qu� grado pueden afirmarse cada una de dichas propiedades.
Este art�culo procura introducir las principales interpretaciones y perspectivas,
tanto hist�ricas como actuales, acerca de este concepto.

La pregunta por la verdad es y ha sido objeto de debate entre te�logos, fil�sofos y

l�gicos a lo largo de los siglos consider�ndose un tema concerniente al alma y al
estudio de una llamada psicolog�a racional dentro del campo de la filosof�a.

En la actualidad es un tema de investigaci�n cient�fica as� como de fundamentaci�n

filos�fica:22?

La investigaci�n cient�fica de la funci�n cognitiva23? introduce nuevas

perspectivas acerca del conocimiento basado en la evidencia como creencia
epistemol�gicamente verdadera con justificaci�n v�lida.24?
Interesa a la ling��stica pues el lenguaje es expresi�n de la propia verdad.
Interesa a la antropolog�a filos�fica, pues parece evidente que los seres humanos
prefieren la verdad a la falsedad, al error o la mentira y prefieren la certeza a
la duda.
Interesa a la Historia, por cuanto el aprecio hacia la verdad y la condena de la
mentira o del error var�a en intensidad seg�n las �pocas y las culturas, pues tanto
el concepto de verdad como su valoraci�n no siempre es el mismo a lo largo de la
historia y seg�n las diferentes culturas.
Interesa a la ciencia en cuanto tal25? en su pretensi�n de conocimiento v�lido.
La importancia que tiene este concepto es que est� arraigado en el coraz�n de
cualquier supuesto personal, social y cultural. De ah� su complejidad.
Ramas
L�gica matem�tica
Lo que sigue es un extracto de 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,26? es el estudio formal y simb�lico de la l�gica, y su
aplicaci�n a algunas �reas de la matem�tica y la ciencia. Comprende la aplicaci�n
de las t�cnicas de la l�gica formal a la construcci�n y el desarrollo de las
matem�ticas y el razonamiento matem�tico, y conversamente la aplicaci�n de t�cnicas
matem�ticas a la representaci�n y el an�lisis de la l�gica formal. La investigaci�n
en l�gica matem�tica ha jugado un papel crucial en el estudio de los fundamentos de
las matem�ticas.

La l�gica matem�tica estudia la inferencia mediante la construcci�n de sistemas

formales como la l�gica proposicional, la l�gica de primer orden o la l�gica modal.
Estos sistemas capturan las caracter�sticas esenciales de las inferencias v�lidas
en los lenguajes naturales, pero al ser estructuras formales susceptibles de
an�lisis matem�tico, permiten realizar demostraciones rigurosas sobre ellas.

La l�gica matem�tica se suele dividir en cuatro �reas: teor�a de modelos, teor�a de

la demostraci�n, teor�a de conjuntos y teor�a de la computabilidad. La teor�a de la
demostraci�n y la teor�a de modelos fueron el fundamento de la l�gica matem�tica.
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, el 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 l�gica matem�tica tiene estrechas conexiones con las
ciencias de la computaci�n. La teor�a de la computabilidad 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 computabilidad 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.

La l�gica matem�tica tambi�n estudia las definiciones de nociones y objetos

matem�ticos b�sicos como conjuntos, n�meros, demostraciones y algoritmos. La l�gica
matem�tica estudia las reglas de deducci�n formales, las capacidades expresivas de
los diferentes lenguajes formales y las propiedades metal�gicas de los mismos.

En un nivel elemental, la l�gica proporciona reglas y t�cnicas para determinar si

es o no v�lido un argumento dado dentro de un determinado sistema formal. En un
nivel avanzado, la l�gica matem�tica se ocupa de la posibilidad de axiomatizar las
teor�as matem�ticas, de clasificar su capacidad expresiva, y desarrollar m�todos
computacionales �tiles en sistemas formales. La teor�a de la demostraci�n y la
matem�tica inversa son dos de los razonamientos m�s recientes de la l�gica
matem�tica abstracta. Debe se�alarse que la l�gica matem�tica se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la l�gica
matem�tica no es un m�todo para descubrir verdades del mundo f�sico real, sino s�lo
una fuente posible de modelos l�gicos aplicables a teor�as cient�ficas, muy
especialmente a la matem�tica convencional.

Por otra parte, la l�gica matem�tica no estudia el concepto de razonamiento humano

general o el proceso creativo de construcci�n de demostraciones matem�ticas
mediante argumentos rigurosos p