About this topic
Summary The interplay of essentialism and modal logic is a major topic in the logic and metaphysics of modality. Turquette 1953 argued that quantified modal logic (QML) entails essentialism, the view that an object can have a property essentially, independently of how it is referred to. Since he found essentialism to be unintelligible, Quine concluded by modus tollens that QML should be rejected. Kripke 1963 and Marcus 1967 have contributed to the rehabilitation of QML by showing how it can be made sense of within a suitable semantic framework. Others, such as Parsons 1969 and McKay 1975, have argued that QML is not committed to the thesis of essentialism in the way Quine thought. Now that the intelligibility of QML is no longer at issue, a central problem in the contemporary debate is whether the notion of essence can be understood in modal terms. A classical modalist analysis of essence is due to E. Moore 1919: x is essentially P iff x is necessarily P (or, in conditional form: iff x is necessarily P, if existent). This reduction of essence to pure QML has been found wanting by Fine 1994. A general argument against modal characterizations of essence has been proposed by Torza 2015. As a consequence, the Moorean definition has been mostly abandoned (but see Cowling 2013). Some proposals have emerged that attempt to understand essence by means of revisions or extensions of standard QML. Zalta 2006 and Wildman 2013 have proposed to reduce essence to a combination of modal and non-modal notions. Correia 2007 has put forward an analysis of essence carried out in a modal logic which is more fine-grained that standard QML.  Fine 1995, 2000 has formulated a quantified intensional logic for the notion of essence.
Related categories

151 found
1 — 50 / 151
  1. Automating Leibniz's Theory of Concepts.Jesse Alama, Paul Edward Oppenheimer & Edward Zalta - 2015 - In Amy P. Felty & Aart Middeldorp (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Dordrecht: Springer. pp. 73-97.
    Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...)
  2. The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
  3. Essentialism and the Modal Semantics of J. Hintikka.John Robert Baker - 1978 - Notre Dame Journal of Formal Logic 19 (1):81-91.
  4. Quantified Modal Logic and the Problem of Essentialism.John Robert Baker - 1973 - Dissertation, Vanderbilt University
  5. Modalities: Philosophical Essays.Ruth Barcan Marcus & Shaughan Lavine - 1995 - British Journal for the Philosophy of Science 46 (2):267-274.
    Based on her earlier ground-breaking axiomatization of quantified modal logic, the papers collected here by the distinguished philosopher Ruth Barcan Marcus cover much ground in the development of her thought, including influential essays on moral conflict, on belief and rationality, and on some historical figures.
  6. Quine E O “pecado” Da Lógica Modal.Cleverson Bastos & Paulo de Oliveira - 2011 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 31 (1):1-17.
    O presente trabalho pretende analisar as objeções de Quine à ló­gica modal. O trabalho evidencia que tais objeções dirigem-se às formas proposicionais e também às formas quantificadas. Como o próprio Quine faz, não se pretende aqui apresentar soluções, mas apenas levantar os pro­blemas que o seu trabalho identificou. Este texto apóia-se, sobretudo, no importante estudo de Jaime Nubiola, intitulado El Compromisso Esencialista de La Lógica Modal: Estudio de Quine y Kripke. Inicialmente, serão apresen­tadas as seis objeções de Quine e, em (...)
  7. CIFOL: Case-Intensional First Order Logic. Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - unknown
    This is Part I of a two-part essay introducing case-intensional first-order logic, an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
  8. Ruth Barcan Marcus Est-Elle la Mère du Fils de Wittgenstein?(Considerations Existencialistes Sur la Formule de Barcan).Jean-Yves Béziau - 1999 - Manuscrito: Revista Internacional de Filosofía 22 (2):11-27.
  9. Potency and Modality.Alexander Bird - 2006 - Synthese 149 (3):491-508.
    Let us call a property that is essentially dispositional a potency.1 David Armstrong thinks that potencies do not exist. All sparse properties are essentially categorical, where sparse properties are the explanatory properties of the type science seeks to discover. An alternative view, but not the only one, is that all sparse properties are potencies or supervene upon them. In this paper I shall consider the differences between these views, in particular the objections Armstrong raises against potencies.
  10. Il Genio Compreso: La Filosofia di Saul Kripke.Andrea Borghini (ed.) - 2010 - Carocci.
  11. De Re and de Dicto Interpretations of Modal Logic or a Return to an Aristotelean Essentialism.Baruch A. Brody - 1972 - Philosophia 2 (1-2):117-136.
  12. "The Metaphysics of Modality" by Graeme Forbes. [REVIEW]Mark A. Brown - 1990 - Philosophy and Phenomenological Research 50 (3):615.
  13. Non-Essentialistic Modal Logic or Meaning and Necessity Revisited.Howard Burdick - 1993 - Philosophia 22 (1-2):87-93.
    Using the method of ordered pairs proposed in my 'A Logical Form for the Propositional Attitudes', a non-essentialistic modal logic is possible which avoids these oddities.
  14. A Logical Form for the Propositional Attitudes.Howard Burdick - 1982 - Synthese 52 (2):185 - 230.
    The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...)
  15. Kripke.John P. Burgess - 2012 - Polity.
    Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, _Naming and Necessity_, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection _Philosophical Troubles_. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained guide to (...)
  16. Meaning and Necessity.V. C. C. - 1957 - Review of Metaphysics 10 (3):536-536.
  17. Modality de Dicto and de Re.Richard Campbell - 1964 - Australasian Journal of Philosophy 42 (3):345 – 359.
  18. 'De Re'and'de Dicto'-Modal Reference and Possibility in Aristotle.G. Cora - 1988 - Verifiche: Rivista Trimestrale di Scienze Umane 17 (1-2):3-60.
  19. (Finean) Essence and (Priorean) Modality.Fabrice Correia - 2007 - Dialectica 61 (1):63–84.
    In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur (...)
  20. Grounding, Essence, and Identity.Fabrice Correia & Alexander Skiles - forthcoming - Philosophy and Phenomenological Research.
    Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...)
  21. Quantified Modal Logic.Horacio Costa - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    The chapter is divided in two parts. The first part gives an introduction to issues in quantified modal logic . We provide an overview of recent work in QML and we presuppose the use of a relational semantics. We discuss models for constant domains, increasing domains and varying domains and present axiomatizations for the corresponding logics. We also discuss philosophical issues related to the interpretation of the quantifiers, terms and identity and we present a first-order quantified intensional logic. A crucial (...)
  22. Predicate Wormism a Quinean Account of de Re Modality.M. J. Cresswell - 2010 - Logique Et Analyse 53 (212):449-464.
  23. Physical theories and possible worlds.M. J. Cresswell - 1973 - Logique Et Analyse 16 (63):495.
    Formalized physical theories are not, as a rule, stated in intensional languages. Yet in talking about them we often treat them as if they were. We say for instance: 'Consider what would happen if instead of p's being true q were. In such a case r would be likely.' If we say this sort of thing, p, q and r appear to stand for the meanings of sentences of the theory, but meanings in some intensional sense. Now it is very (...)
  24. A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - Routledge.
    This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...)
  25. In Defence of the Barcan Formula.Max Cresswell - 1991 - Logique Et Analyse 135 (136):271-282.
  26. Quine and de Dicto Modal Substitution.S. Croddy - 1985 - Logique Et Analyse 28 (112):395-402.
  27. Quine and de dicto modal substitution.W. S. Croddy - 1985 - Logique Et Analyse 28 (12):395.
  28. Quine Against Essentialism and Quantified Modal Logic.W. Stephen Croddy - 1988 - Logique Et Analyse 31 (123-124):317-328.
  29. Aristotle’s Modal Logic: Essence and Entailment in the Organon. [REVIEW]Michael J. Degnan - 2000 - Ancient Philosophy 20 (1):215-222.
  30. Modal Reality and (Modal) Logical Space.John Divers - 2014 - Philosophy and Phenomenological Research 88 (3):726-733.
  31. The Analysis of Possibility and the Possibility of Analysis.John Divers - 1997 - Proceedings of the Aristotelian Society 97 (2):141–160.
  32. Contingent Existence and Iterated Modality.Cian Dorr - 2017 - Analysis 77 (1):155-165.
    A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.
  33. Semantics for the Logic of Essence.Kit Fine - 2000 - Journal of Philosophical Logic 29 (6):543-584.
    This paper provides a possible worlds semantics for the system of the author's previous paper 'The Logic of Essence '. The basic idea behind the semantics is that a statement should be taken to be true in virtue of the nature of certain objects just in case it is true in any possible world compatible with the nature of those objects. It is shown that a slight variant of the original system is sound and complete under the proposed semantics.
  34. The Logic of Essence.Kit Fine - 1995 - Journal of Philosophical Logic 24 (3):241 - 273.
  35. Essence and Modality.Kit Fine - 1994 - Philosophical Perspectives 8:1-16.
    It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...)
  36. The Problem of de Re Modality.Kit Fine - 1989 - In John Perry, J. Almog & Howard K. Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 197--272.
  37. A Theory of Logical Essences.Frederic B. Fitch - 1967 - The Monist 51 (1):104-109.
  38. The Definite Description and Quine's Formal Attack on Quantified Modal Logic.Vicky Ruth Vicklund Franks - 1982 - Dissertation, University of Washington
    Quine's formal challenge to quantified modal logic involves the dual problems of referential opacity and extensional transparency. Quine's position is that the modal logician is faced with an inescapable dilemma: modal logic is either referentially opaque or extensionally transparent, and, hence, either "quantification into" modal contexts is illegitimate or the distinctions between the necessary, the possible and the actual collapse. Quine himself was convinced that the first horn of the dilemma is true, that modal logic is referentially opaque; however, I (...)
  39. Interview with Ruth Barcan Marcus.Michael Frauchiger - 2015 - In Modalities, Identity, Belief, and Moral Dilemmas: Themes From Barcan Marcus. De Gruyter. pp. 147-166.
  40. Referential Opacity and Modal Logic.Dagfinn Føllesdal - 2004 - Routledge.
    This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".
  41. Quine on Modality.Dagfinn Føllesdal - 1968 - Synthese 19 (1-2):147 - 157.
    An appraisal of the current status of the modalities and of quine's arguments against them. The author accepts "quine's thesis," that one cannot quantify into referentially opaque contexts, And argues that nobody has succeeded in making sense of such quantification. However, It is shown that modal constructions, Being constructions on general terms and sentences, Can be referentially transparent and extensionally opaque and that consequently the collapse of modal distinctions warned against by quine in "word and object" can be avoided. This (...)
  42. A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
    The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...)
  43. Iterated Modalities, Meaning and A Priori Knowledge.Dominic Gregory - 2011 - Philosophers' Imprint 11.
    Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which one might seek (...)
  44. The Problem of Transworld Identity.Lars Gundersen - 1995 - Danish Yearbook of Philosophy 30.
  45. Essence and Definition by Abstraction.Bob Hale - forthcoming - Synthese:1-17.
    We may define words or concepts, and we may also, as Aristotle and others have thought, define the things for which words stand and of which concepts are concepts. Definitions of words or concepts may be explicit or implicit, and may seek to report preexisting synonymies, as Quine put it, but they may instead be wholly or partly stipulative. Definition by abstraction, of which Hume’s principle is a much discussed example, seek to define a term-forming operator, such as the number (...)
  46. Contingent Objects and the Barcan Formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.
    It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal logic is one that validates both the Barcan Formula and its converse. This requires that domains be fixed across all possible worlds. All objects exist necessarily; some – those we would usually consider contingent – are concrete at some worlds and non-concrete (but still existent) at others. Linsky and Zalta refer to such objects as ‘contingently non-concrete’. I defend the standard (...)
  47. Actualism and Quantified Modal Logic.Reina Hayaki - 2002 - Dissertation, Princeton University
    It has been alleged that actualism and quantified modal logic are incompatible. My aim in this dissertation is twofold: to defend thoroughgoing actualism with respect to possible objects, and to present a modified semantics for quantified modal logic that is compatible with such a position. The basic strategy is to draw on the parallels between fictions and possible worlds to develop a hierarchical system of worlds-within-worlds ;Actualists usually take first-order modal statements as being about the right objects, by stipulation. Any (...)
  48. Relativized Metaphysical Modality.Benj Hellie, Adam Russell Murray & Jessica Wilson - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), Routledge Handbook of Modality. New York: Routledge.
    Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...)
  49. Ruth Barcan Marcus. Modalities. Philosophical Essays.C. O. Hill - forthcoming - Revue Internationale de Philosophie.
  50. Modalities and Extended Systems.Henry Hiż - 1961 - Journal of Philosophy 58 (23):723-731.
1 — 50 / 151