Abstract
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.
Publisher
Universidad Autonoma de Nuevo Leon
Reference19 articles.
1. Asmus, Conrad, and Greg Restall. "A history of the consequence relations." Handbook of the history of logic. Vol. 11, 11-61. North-Holland, 2012, p. 22.
2. Belnap, Nuel D. "A useful four-valued logic." In Modern uses of multiple-valued logic, 5-37. Springer, Dordrecht, 1977.
3. Dunn, J. Michael. "An intuitive semantics for first degree relevant implications." Journal of Symbolic Logic 36, no. 2 (1971): 362-363.
4. Dunn, J. Michael. "Intuitive semantics for first-degree entailment and ‘coupled trees’." Philosophical Studies 29 (1976): 149-168.
5. Dunn, J. Michael, and Greg Restall. "Relevance logic." Handbook of philosophical logic, 1-128. Springer, Dordrecht, 2002.