scholarly journals The New Aristotelian Essentialists

Metaphysica ◽  
2018 ◽  
Vol 19 (1) ◽  
pp. 87-93 ◽  
Author(s):  
Harold W. Noonan

AbstractIn recent years largely due to the seminal work of Kit Fine and that of Jonathan Lowe there has been a resurgence of interest in the concept of essence and the project of explaining de re necessity in terms of it. Of course, Quine rejected what he called Aristotelian essentialism in his battle against quantified modal logic. But what he and Kripke debated was a notion of essence defined in terms of de re necessity. The new Aristotelian essentialists regard essence as entailing but prior in the order of explanation to de re necessity. In what follows I argue that the concept of essence so understood has not been adequately explained and that any attempt to explain it, at least along the lines most familiar from the literature, must be flagrantly circular or make use of de re modal notions.

2022 ◽  
pp. 1-14
Author(s):  
Tomasz Bigaj

It is commonplace to formalize propositions involving essential properties of objects in a language containing modal operators and quantifiers. Assuming David Lewis’s counterpart theory as a semantic framework for quantified modal logic, I will show that certain statements discussed in the metaphysics of modality de re, such as the sufficiency condition for essential properties, cannot be faithfully formalized. A natural modification of Lewis’s translation scheme seems to be an obvious solution but is not acceptable for various reasons. Consequently, the only safe way to express some intuitions regarding essential properties is to use directly the language of counterpart theory without modal operators.


2014 ◽  
Vol 11 (2) ◽  
Author(s):  
Andrew Bacon

This paper presents a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis's notion of a 'possibility'. According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. Following Hazen, a semantics for quantified model logic based on evaluating formulae at possibilities is developed. It is shown that this framework naturally accommodates an actuality operator, addressing recent objections to counterpart theory, and is equivalent to the more familiar Kripke semantics for quantied modal logic with an actuality operator.


Author(s):  
Scott Soames

This chapter discusses the contributions of Saul Kripke and David Kaplan, which are leading elements of a body of work that changed the course of analytic philosophy. It first deals with the views of Kripke. The necessity featured in Naming and Necessity is the nonlinguistic notion needed for quantified modal logic and the modal de re. Kripke's articulation of this notion is linked to his discussion of rigid designation, and metaphysical essentialism. The remainder of the chapter deals with Kaplan, focusing on the tension between logic and semantics; the basic structure of the logic of demonstratives; direct reference and rigid designation; and English demonstratives vs. “dthat”-rigidified descriptions.


1988 ◽  
Vol 34 (3) ◽  
pp. 251-259 ◽  
Author(s):  
Giovanna Corsi

2014 ◽  
Vol 7 (3) ◽  
pp. 439-454 ◽  
Author(s):  
PHILIP KREMER

AbstractIn the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the current paper is that QS4 is complete, indeed strongly complete, for the rational line.


Sign in / Sign up

Export Citation Format

Share Document