Download LA NOCIÓN DE CONSECUENCIA LÓGICA DESDE UN

Ponencia:
LA NOCIÓN DE CONSECUENCIA LÓGICA DESDE UN PUNTO DE VISTA
FORMAL-ESTRUCTURAL Y DESDE UN PUNTO DE VISTA METAFÍSICOMODAL
A. Corti
Departamento de Historia y Filosofía de la Ciencia
Instituto de Filosofía
[email protected]
Resumen:
La noción de consecuencia lógica puede ser considerada como la noción central de la
teoría lógica (alternativamente, la noción de verdad lógica también puede desempeñar
ese papel). Desde el punto de vista intuitivo, dicha noción es expresada muchas veces en
alguna de las siguientes formas, más o menos equivalentes entre sí:
•
En un argumento <K, X> formulado en un cierto lenguaje L (no necesariamente
formal), la conclusión (X) es consecuencia lógica de las premisas (K) si y sólo si
siempre que las premisas sean verdaderas, la conclusión también lo es;
•
En un argumento <K, X> formulado en un cierto lenguaje L (no necesariamente
formal), la conclusión (X) es consecuencia lógica de las premisas (K) si y sólo si
no es posible que las premisas sean verdaderas y la conclusión falsa;
•
En un argumento <K, X> formulado en un cierto lenguaje L (no necesariamente
formal), la conclusión (X) es consecuencia lógica de las premisas (K) si y sólo si
en caso de que las premisas sean verdaderas, la conclusión necesariamente
también lo será.
Esta caracterización intuitiva exhibe un componente de carácter modal que, sin
embargo, no resulta capturado en las definiciones formales al uso. Frente a este hecho
los puntos de vista divergen: aquellos que piensan que el mencionado componente
modal resulta ineludible para caracterizar la noción de consecuencia lógica consideran
también que las definiciones formales al uso son defectuosas, mientras que quienes
creen que alguna de esas definiciones es correcta piensan que son las intuiciones
preteóricas —tal como éstas se expresan más arriba— las que están equivocadas, al
menos en algún punto.
En esta ponencia se presentarán brevemente las dos concepciones enfrentadas y algunas
de las razones que pueden ofrecerse para sostenerlas o rechazarlas.
Palabras clave: consecuencia lógica / Alfred Tarski / John Etchemendy