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.4A 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.