Formas lgicas validez y verdad:

Una verdad lgica es una frmula bien formada de un lenguaje formal que es verdadera bajo todas
las interpretaciones de los componentes (distintos de las constantes lgicas) de ese lenguaje.1 2 En
algunos textos y contextos (v.g. clculo lgico y lgica matemtica), las verdades lgicas se conocen
como frmulas lgicamente vlidas (que tienen validez lgica).3 Dos caractersticas generalmente
aceptadas de las verdades lgicas son que son formales y necesarias.4 Que sean formales implica
que cualquier instanciacin de una verdad lgica es tambin una verdad lgica.4 Que sean
necesarias significa que es imposible que sean falsas, es decir que en todas las situaciones
contrafcticas, las verdades lgicas siguen siendo verdades lgicas.4
A veces se confunde a las verdades lgicas con las tautologas. Las tautologas son las verdades
lgicas de la lgica proposicional. Si bien toda tautologa es una verdad lgica, no toda verdad lgica
es una tautologa.

En lgica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la
conclusin. Si la conclusin es una consecuencia lgica de las premisas, se dice que el argumento
es deductivamente vlido. Algunos consideran estas dos nociones idnticas y usan ambos trminos
indistintamente. Otros, sin embargo, consideran que puede haber argumentos vlidos que no sean
deductivamente vlidos, como las inducciones. En cualquier caso, de las inducciones a veces se
dice que son buenas o malas, en vez de vlidas o invlidas.

Ejemplos de argumentos deductivamente vlidos son los siguientes:

Si est soleado, entonces es de da.

Est soleado.
Por lo tanto, es de da.
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.

Ntese que para que un argumento sea deductivamente vlido, no es necesario que las premisas o
la conclusin sean verdaderas. Slo se requiere que la conclusin sea una consecuencia lgica de
las premisas. La lgica formal establece nicamente una relacin condicional entre las premisas y la
conclusin. Esto es: que si las premisas son verdaderas, entonces la conclusin tambin lo es (esta
es la caracterizacin semntica de la nocin de consecuencia lgica); o alternativamente: que la
conclusin sea deducible de las premisas conforme a las reglas de un sistema lgico (esta es la
caracterizacin sintctica de la nocin de consecuencia lgica). Si un argumento, adems de ser
vlido, tiene premisas verdaderas, entonces se dice que es slido.
No se debe confundir la validez (una propiedad de los argumentos) con la validez lgica (una
propiedad de las frmulas). Se dice que una frmula tiene validez lgica, o que es lgicamente
vlida, cuando es verdadera bajo todas las interpretaciones posibles del lenguaje al que pertenece.
Por lo dems, el trmino validez lgica est cayendo en desuso frente al trmino verdad lgica
para designar a estas frmulas.
El silogismo:
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como
premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las
otras dos. Fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El
Organon, de sus libros conocidos como Primeros Analticos, (en griego Proto Analytika, en latn
idioma en el que se conoci la obra en Europa Occidental-, Analytica Priora).
Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se unen o
separan en los juicios. Los juicios aristotlicos son considerados desde el punto de vista de unin o
separacin de dos trminos, un sujeto y un predicado. Hoy se hablara de proposicin.
La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho como un todo,
que es o no es, como contenido lgico del conocimiento. El juicio, en cambio, atribuye un predicado
a un sujeto lgico del conocimiento otorgando a los trminos al mismo tiempo una funcin lingstica
de significado (semntica) y una funcin formal lgica (sintctica). Esto tiene su importancia en el
concepto mismo del contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos
de negacin, como se considera, ms adelante, en la problemtica de la lgica silogstica.
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional, teniendo en
cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la lgica simblica en la
que esta lgica es interpretada como lgica de clases. Ver clculo lgico.
La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de "trmino
medio", hace posible la aparicin de las posibles conclusiones. As pues, el silogismo consta de dos
juicios, premisa mayor y premisa menor, en los que se comparan tres trminos, de cuya
comparacin se obtiene un nuevo juicio como conclusin.

Historia de la lgica:
La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo
de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e,
incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como
anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo
originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que
la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente
sofisticado de la lgica proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos
logros seran desarrollados por los lgicos islmicos y, luego, por los lgicos de la Edad Media
europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII
influy tambin en la lgica moderna.