Semántica de Mundos Posibles
La semántica de mundos posibles interpreta la necesidad como verdad en todos los mundos accesibles y la posibilidad como verdad en algunos, convirtiendo la lógica modal en una teoría de modelos tratable.
Definition
La semántica de mundos posibles evalúa oraciones modales en puntos llamados mundos vinculados por una relación de accesibilidad, siendo 'necesariamente A' verdadero en un mundo si y solo si A se cumple en cada mundo accesible desde él.
Scope
Este tema cubre la teoría de modelos relacionales (Kripke) para la lógica modal: marcos que consisten en un conjunto de mundos y una relación de accesibilidad, valoraciones y las cláusulas de verdad para los operadores modales. Trata el papel técnico de los marcos y la cuestión filosófica de qué son los mundos posibles —universos concretos, estados de cosas abstractos, conjuntos de proposiciones o meros índices formales— y cómo esto influye en el valor explicativo de la semántica.
Core questions
- ¿Qué es exactamente un mundo posible y existen los mundos?
- ¿Qué es la relación de accesibilidad y qué representa?
- ¿La semántica formal explica la verdad modal o simplemente la modela?
- ¿Cómo ayudan los mundos a analizar los contrafactuales, las proposiciones y el contenido?
Key concepts
- mundo posible
- relación de accesibilidad
- marco y modelo
- valoración
- actualismo vs. posibilismo
- mundos sucedáneos
Key theories
- Modelos relacionales de Kripke
- Un modelo es un conjunto de mundos con una relación de accesibilidad y una valoración; los operadores modales cuantifican sobre mundos accesibles, por lo que las características lógicas de la modalidad se reducen a propiedades estructurales de la relación.
- Los mundos como objetos abstractos
- Stalnaker trata los mundos posibles como formas en que las cosas podrían haber sido —posibilidades máximas abstractas— rechazando los mundos concretos de Lewis mientras conserva los beneficios explicativos de los mundos para la modalidad y el contenido.
History
Las descripciones de estado de Carnap y la mención de Leibniz sobre los mundos posibles anticiparon la idea, pero la semántica rigurosa surgió con los modelos relacionales de Kripke en 1963. Los filósofos se dividieron entonces sobre la metafísica: el realismo modal de Lewis de 1986 trata los mundos como concretos, mientras que Stalnaker y otros defienden mundos 'sucedáneos' abstractos.
Debates
- Mundos concretos vs. abstractos
- Si los mundos sobre los que cuantifica la semántica son universos espaciotemporales concretos o sustitutos abstractos, como conjuntos máximos consistentes de proposiciones, y qué lectura hace que la semántica sea genuinamente explicativa.
Key figures
- Saul Kripke
- David Lewis
- Robert Stalnaker
- Jaakko Hintikka
- Rudolf Carnap
Related topics
Seminal works
- kripke1963
- lewis1986plurality
Frequently asked questions
- ¿La semántica de mundos posibles requiere creer en otros mundos?
- No. La semántica es una herramienta formal, y la mayoría de los filósofos que la utilizan niegan la existencia de otros mundos concretos. Interpretan los 'mundos' como objetos abstractos —formas en que las cosas podrían haber sido— de modo que cuantificar sobre mundos es una forma perspicaz de hablar sobre posibilidades sin extravagancia ontológica.