"IMPLICACIONES METAFÍSICAS DE LA LÓGICA MODAL CUANTIFICADA: LA TESIS NECESITISTA"

Director/a: 
Concepción Martínez Vidal
Categoría: 
Resumen: 

La finalidad de este trabajo es determinar las relaciones entre metafísica y lógica en el marco de la lógica modal cuantificada a través del debate contingentismo-necesitismo y las nociones en él involucradas (como ``objeto posible´´ o ``existencia´´). Sin duda, la aparición de las fórmulas Barcan en el escenario filosófico fue el germen que instigó la pregunta acerca del sistema lógico más adecuado para la caracterización de la necesidad metafísica. El necesitismo sostiene que todo lo que existe, existe necesariamente, mientras que el contingentismo defiende la contingencia de la ontología. La postura necesitista va a proporcionar una teoría metafísica consistente con las fórmulas Barcan y simplificará significativamente la lógica de la modalidad, sin embargo, muchos de sus resultados serán cuestionados al ser altamente contraintuitivos. Además, el necesitismo parece ocasionar problemas respecto a las esencias y es sospechoso de generar cierta inflación ontológica. Con vistas a mostrar por qué creemos que la postura necesitista se presenta como la candidata más prometedora, empero, introduciremos el debate haciendo referencia a la obra original de Barcan, a continuación, presentaremos los principales rasgos de las posturas necesitista y contingentista, y terminaremos con un análisis detallado del necesitismo, a través, fundamentalmente, de la obra de Williamson. 

Palabras clave: ontología, modalidad, necesidad, fórmulas Barcan

 

ABSTRACT

The aim of this work is to determine the connections between metaphysics and logic in the framework of quantified modal logic and by means of the discussion about contingentism and necessitism and all the notions involved (such ``possible object´´ or ``existence´´). Certainly, the advent of Barcan formulas in the philosophical context grounded the question about the best logical system for characterizing metaphisical necessity. Necessitism supports the thesis that everything that exists, exists necessarily, whereas contingentism asserts ontology's contingency. Necessitist views provide a metaphisical theory which is consistent with Barcan formulas and simplifies considerably metaphysics of modality; however, many of its results have been queried because challenging our intuitions. Furthermore, necessitist views seem to generate some problems regarding essences and they are suspected of producing ontological overpopulation. In order to show why we think necessitism is the best contender, we will initiate the discussion alluding to Barcan's original work, we will continue floating the main feautures of necessitist and contingentist views, and we will finish analyzing the necessitist thesis through Williamson's production.

Keywords: ontology, modality, necessity, Barcan formulas

En el curso 2023-2024 la sede del máster es la Universidad de Granada

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad