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 proviene del art�culo 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 aqu�lla.

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 proviene del art�culo 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.