Worlds within Worlds: a Dilemma for Modal Realism
نویسندگان
چکیده
منابع مشابه
Possible Worlds I: Modal Realism
It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even found its way into linguistics and decision theory. But what are those possible worlds, the entities to which theorists in these disciplines all appeal? Call ...
متن کاملAdrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملConstructing Hereditary Worlds Within Worlds
Although they appear unrelated, the type system of the polymorphic λ-calculus with references and the assertions of concurrent separation logic with first-class locks share a critical feature: an unsound contravariant circularity in their naı̈ve semantic model. We developed indirection theory to automatically construct, and cleanly axiomatize, step-indexed approximations to these naı̈ve models, a...
متن کاملPossible Worlds for Modal Primitivists
Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notio...
متن کاملExploring modal worlds
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and uni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: auslegung: a journal of philosophy
سال: 2019
ISSN: 0733-4311
DOI: 10.17161/auslegung.v33i0.13248