En semántica formal y lógica filosófica , la simplificación de antecedentes disyuntivos ( SDA ) es el fenómeno por el cual una disyunción en el antecedente de un condicional parece distribuirse sobre el condicional como un todo. Esta inferencia se muestra esquemáticamente a continuación: [1] [2]
Se ha argumentado que esta inferencia es válida sobre la base de pares de oraciones como la siguiente, ya que la oración 1 parece implicar la oración 2. [1] [2]
- Si Yde o Dani hubieran venido a la fiesta, habría sido divertido.
- Si Yde hubiera venido a la fiesta, sería divertido y si Dani hubiera venido a la fiesta, hubiera sido divertido.
La inferencia ASD se discutió por primera vez como un problema potencial para el análisis de similitud de contrafactuales . En estos enfoques, un contrafactual se predice que es cierto si se mantiene en todos los mundos posibles dondesostiene que son más similares al mundo de la evaluación. En una semántica booleana para la disyunción, puede sostenerse en un mundo simplemente en virtud de siendo verdad allí, lo que significa que el más similar -los mundos podrían ser todos aquellos en los que aguanta pero no es. Si También es cierto en estos mundos, pero no en los mundos más cercanos aquí. es cierto, entonces este enfoque predecirá una falla de SDA: será cierto en el mundo de la evaluación mientras será falso.
En términos más intuitivos, imagina que Yde se perdió la fiesta más reciente porque se le pinchó una llanta, mientras que Dani se perdió porque ella odia las fiestas y también ha fallecido. En todos los mundos más cercanos donde Yde o Dani vienen a la fiesta, será Yde y no Dani quien asista. Si Yde es una persona divertida para tener en las fiestas, esto significará que se predice que la oración 1 anterior es cierta en el enfoque de similitud. Sin embargo, si Dani tiende a tener el efecto contrario en las fiestas a las que asiste, entonces se predice que la Sentencia 2 es falsa, en violación de la SDA. [3] [1] [2]
La SDA se ha analizado de diversas formas. Uno es derivarlo como una implicación semántica postulando un tratamiento no clásico de la disyunción como el de la semántica alternativa o la semántica inquisitiva . [4] [5] [6] [1] [2] Otro enfoque también lo deriva como una implicación semántica , pero lo hace mediante la adopción de una denotación alternativa para los condicionales como el condicional estricto o cualquiera de las opciones disponibles en la semántica de situaciones . [1] [2] Finalmente, algunos investigadores han sugerido que se puede analizar como una implicatura pragmática derivada sobre la base de la disyunción clásica y una semántica estándar para los condicionales. [7] [1] [2] SDA a veces se considera una instancia integrada de la inferencia de libre elección . [8]
Ver también
Notas
- ^ a b c d e f Egré, Paul; Cozic, Mikaël (2016). "Condicionales". En Aloni, Maria; Dekker, Paul (eds.). Manual de Cambridge de semántica formal . Prensa de la Universidad de Cambridge. págs. 500–503. ISBN 978-1-107-02839-5.
- ^ a b c d e f Starr, Will (2019). "Contrafactuales" . En Zalta, Edward N. (ed.). La Enciclopedia de Filosofía de Stanford .
- ^ Nute, Donald (1975). "Contrafactuales". Diario de Notre Dame de lógica formal . 16 (4).
- ^ Alonso-Ovalle, Luis (2009). "Contrafactuales, correlativos y disyunción". Lingüística y Filosofía . 32 (2). doi : 10.1007 / s10988-009-9059-0 .
- ^ Ciardelli, Ivano; Zhang, Linmin; Champollion, Lucas (2018). "Dos interruptores en la teoría de los contrafácticos" . Lingüística y Filosofía . 41 (6). doi : 10.1007 / s10988-018-9232-4 .
- ^ Ciardelli, Ivano (2016). Elevando los condicionales a la semántica inquisitiva . SAL. 26 . doi : 10,3765 / salt.v26i0,3811 .
- ^ Klinesinst, Nathan (2009). "(Simplificación de) antecedentes disyuntivos". MITWPL . 60 .
- ^ Willer, Malte (2018). "Simplificando con libre elección". Topoi . 37 (3). doi : 10.1007 / s11245-016-9437-5 .