Open AccessBook
Modal Logic as Metaphysics
TLDR
The Barcan Formula and its Converse: Early Developments 3. Possible Worlds Model Theory 4. Predication and Modality 5. From First Order to Higher-Order Modal Logic 6. Intensional Comprehension Principles and Metaphysics 7. Mappings between Contingentist and Necessitist Discourse 8. Consequences of necessitism as discussed by the authors.Abstract:
Preface 1. Contingentism and Necessitism 2. The Barcan Formula and its Converse: Early Developments 3. Possible Worlds Model Theory 4. Predication and Modality 5. From First-Order to Higher-Order Modal Logic 6. Intensional Comprehension Principles and Metaphysics 7. Mappings between Contingentist and Necessitist Discourse 8. Consequences of necessitism Methodological Afterword Bibliography Indexread more
Citations
More filters
Journal ArticleDOI
Anti-exceptionalism about logic
TL;DR: This paper argued that the disagreement is due to a difference in how the parties understand logic theories. But they also argued that logical pluralism is a plausible supplement to anti-exceptionalism.
Journal ArticleDOI
What Are Structural Properties
TL;DR: In this article, structural properties of mathematical objects are characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects.
Proceedings Article
The inconsistency in Gödel's ontological argument: a success story for AI in metaphysics
TL;DR: The discovery of the inconsistency in Godel's ontological argument as a success story for artificial intelligence and the development of an improved syntactical hiding for the utilized logic embedding technique allows the refutation to be presented in a human-friendly way, suitable for non-experts in the technicalities of higher-order theorem proving.
Journal ArticleDOI
An elegant universe
TL;DR: It is argued that Un restricted Composition leads to a better metaphysics, and new arguments for the following claims are provided: Unrestricted Composition entails extensionality of composition, functionality of location and four-dimensionalism in the metaphysics of persistence.
Journal ArticleDOI
The Epistemology of Modality
TL;DR: In this paper, the authors characterize objective modality as negative: it is what the modal words express when they are not used in any epistemic or deontic sense (a more precise characterization would take us too far afield).
References
More filters
Journal ArticleDOI
In defense of the simplest quantified modal logic
Bernard Linsky,Edward N. Zalta +1 more
TL;DR: In this article, the authors focus their energies on motivating and describing the interpretation of simple QML that is compatible with actualism, since the possibilist interpretations of Simple QML are well known.
Journal ArticleDOI
In defense of the contingently nonconcrete
Bernard Linsky,Edward N. Zalta +1 more
TL;DR: In this article, A. redefine les notions de d'existence, objet concret, proprietes essentielles et contingentes, dans le sens de la logique modale quantifiee qui s'avere compatible avec l'actualisme.