Consecuencia lóxica

En lóxica, a consecuencia lóxica é a relación entre as premisas e a conclusión dun argumento dedutivamente válido.Beall, JC; Restall, Greg. «Logical Consequence». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009 Edition). A relación de consecuencia lóxica é un concepto central da lóxica. Dúas características xeralmente aceptadas da relación de consecuencia lóxica son que é «necesaria» e ademais é «formal».

Os lóxicos fan relatos precisos das consecuencias lóxicas sobre unha determinada lingua
, ben construíndo un sistema dedutivo para
 ou pola semántica formal prevista para a linguaxe
. O lóxico polaco Alfred Tarski identificou tres características na caracterización adecuada da vinculación: (1) A relación de consecuencia lóxica depende da forma lóxica das sentenzas: (2) A relación é a priori, é dicir, pode determinarse con ou sen ter en conta a evidencia empírica (experiencia sensorial); e (3) A relación de consecuencia lóxica ten unha compoñente modal.[3]

A consecuencia lóxica tamén pode ser expresada como unha  función de conxuntos de sentenzas para conxuntos de sentenzas (a formulación preferida de Tarski), ou como uhaa relación entre dous conxuntos de sentenzas (lóxica de conclusión múltiple).

 Definición 
Dise que unha fórmula ben formada  é consecuencia semántica dun conxunto de fórmulas  se e só se toda asignación de verdade das proposicións atómicas que forman parte de  e  satisfai todas as fórmulas de  e á fórmula ,



 Explicacións da consecuencia lóxica 
Nesta sección introdúcense algunhas explicacións coñecidas da noción de consecuencia lóxica.

 Consecuencia semántica 
Unha forma estándar de caracterizar á noción de consecuencia lóxica é a través da teoría de modelos. Á noción de consecuencia lóxica definida deste xeito é chamada consecuencia semántica, para distinguila doutras concepcións da mesma noción. Segundo esta estratexia, unha conclusión é unha consecuencia lóxica das premisas cando é imposible que as premisas sexan certas e a conclusión falsa, é dicir, cando toda interpretación que dá por verdadeiras ás premisas tamén fai certa á conclusión. É dicir, cando todo modelo das premisas é tamén un modelo da conclusión.

Cando unha conclusión A é unha consecuencia semántica dun conxunto de premisas  nunha linguaxe formal L, escríbese:



 Consecuencia sintáctica 
Outro xeito de caracterizar á relación da consecuencia lóxica é a través da teoría da demostración. Á noción de consecuencia lóxica definida desta forma chámase consecuencia sintáctica, para distinguila doutras concepcións da mesma noción. Segundo esta estratexia, unha conclusión é unha consecuencia lóxica das premisas cando existe unha demostración da conclusión a partir das premisas. É dicir cando, usando soamente as premisas, os axiomas e as regras de inferencia permitidas, é posible construír unha derivación da conclusión.

Cando unha conclusión A é unha consecuencia sintáctica dun conxunto de premisas  nun sistema formal S, escríbese:



 Notas 

 Véxase tamén 
 Outros artigos 
 Validez (lóxica)
 Condicional material
 Implicación

Categoría:Lóxica matemática