Resumen de Supervenience, Entailment, and Vague Objects
- español
Aunque su uso común sólo ha comenzado recientemente, la relación de superveniencia se está haciendo muy conocida. No obstante, su naturaleza lógica, en particular sus posibles correlaciones con la relación lógica fundamental de implicación, sigue siendo desconocida y necesita clarificación. En este artículo, comparo estas dos relaciones y defino un nuevo acercamiento a la explicación formal de superveniencia. Con esto, utilizo dos concepciones como fuentes principales: sobre la semántica intensional y las descripciones de objetos imposibles como núcleo de aquélla, presentadas en la sección 3; y sobre la relación de consecuencia relevante, descrita brevemente en la sección 4, donde también establezco una nueva interpretación de superveniencia como implicación. Luego, de manera natural, llegamos a descripciones contradictorias e incompletas de objetos, y así, pasa a tomar parte la incertidumbre. De igual manera, permite proponer una definición tentativa de superveniencia sin hacer referencia a la terminología de la semántica de los mundos posibles.
- English
Not long ago came into common use, the relation of supervenience is rapidly gaining in popularity. At the same time, its logical nature, in particular its possible correlations with such fundamental logical relation as entailment, remains unresolved and needs clarification. In this paper, I compare these two relations and outline a new approach to formal explication of supervenience. In so doing, I employ as main sources two conceptions: of intensional semantics, and impossible object descriptions as its core part, introduced in section 3, and of relevant consequence relation, briefly described in section 4, where I also delineate a new entailment interpretation of supevenience. Thus, quite naturally we arrive at contradictory and incomplete descriptions of objects, and that way, uncertainty comes into play. Equally, it allows to propose a tentative definition of supervenience without referring to the terminology of the possible worlds semantics.
