Sobre el problema de la adecuación de la definición modeloteorética de consecuencia lógica

Categoría: 
Resumen: 

La práctica lógica actual asume que la noción central de consecuencia lógica está adecuadamente caracterizada mediante los métodos de la Teoría de Modelos. La definición canónica ofrecida por Tarski presupone Teoría de Conjuntos y un compromiso con una interpretación concreta de la noción intuitiva de consecuencia lógica. En particular, que ésta es una relación que depende de la estructura lógica de los enunciados implicados en ella y que es preservadora de la verdad. El problema de adecuación surge al poner en duda que esos rasgos sean necesarios y suficientes para determinar que un enunciado sea consecuencia lógica de otros porque no permiten evidenciar el supuesto aspecto modal que debería contener la relación. En este ensayo se muestran los compromisos filosóficos que deben considerarse tanto para afirmar que la definición de Tarski es adecuada como para negarlo. La definición de la Teoría de Modelos asume una noción pre-teórica que no es sustancialmente modal. Las conclusiones que se extraen radican en que, dado que no existe una única noción intuitiva de consecuencia lógica que podamos elucidar, es posible que la definición que propone Tarski sea adecuada pero que no excluya otras concepciones que caractericen otros rasgos también relevantes para la consecuencia lógica.

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system