CONSECUENCIA LOGICA

Consecuencia lgica

Es la relacin que existe entre las premisas y la conclusin de un argumento deductivamente vlido.

Presupuesto de la concepcin clsica: la validez deductiva es una cuestin de forma. Este presupuesto va en dos direcciones:

1. Un argumento es deductivamente vlido cuando instancia una forma vlida.

2. Un argumento que no instancia ninguna forma vlida es deductivamente invlido.

Ojo:

El sol brilla hoy;

Juan se ha quedado con mis lentes de sol.

?

Importante: Las consecuencias lgicas han de transmitir la verdad de lo que se dice a lo que se sigue lgicamente de lo que se dice.

Qu es lo que hace vlidas a esas formas?

La relacin de consecuencia deductiva consiste en la preservacin necesaria de la verdad.

Y qu es eso de necesaria? De acuerdo con el presupuesto for malista, en tr minos de interpretacin: para ninguna interpretacin del vocabulario extralgico se obtienen premisas verdaderas y conclusin falsa.

La preservacin de la verdad se entiende en trminos esencialmente sustitucionales.

En trminos generales, seguirse lgicamente de significa:

se sigue lgicamente de (es consecuencia lgica de) un conjunto de oraciones , cuando y slo cuando, se d la siguiente condicin:

Si todas las oraciones de son verdaderas entonces es tambin verdadera.

Respecto a la preservacin de la verdad en trminos sustituciones, diremos que la consecuencia lgica supone la necesaria preservacin de la verdad.

Y esto quiere decir: en toda estructura y toda interpretacin.

Dos peculiaridades de esta idea:

1. Una verdad lgica se sigue clsicamente de cualquier conjunto de premisas: necessario ex quolibet sequitur.

2. De una falsedad lgica (contradiccin) se sigue clsicamente cualquier conclusin: ex impossibile quodlibet sequitur.

Cundo tenemos un argumento invlido entonces:

Un argumento es invlido si hay alguna manera de sustituir unos trminos por otros que d como resultado premisas verdaderas y conclusin falsa.

Pero, qu trminos se pueden sustituir?

Distincin bsica: vocabulario lgico / vocabulario extralgico.