Modal Ontology and Generalized Quantifiers

Journal of Philosophical Logic 42 (4):643-678 (2013)

Peter Fritz
University of Oslo
Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes.
Keywords Modality  Ontology  Generalized quantifiers  Contingentism  Necessitism  Actualism  Possibilism
Categories (categorize this paper)
DOI 10.1007/s10992-012-9243-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford University Press.
Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.

View all 23 references / Add more references

Citations of this work BETA

Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
Logics for Propositional Contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.

Add more citations

Similar books and articles

Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Dynamic Generalized Quantifiers.Martin van den Berg - 1996 - In J. van der Does & Van J. Eijck (eds.), Quantifiers, Logic, and Language. Stanford University. pp. 63--94.
Definability of Polyadic Lifts of Generalized Quantifiers.Lauri Hella, Jouko Väänänen & Dag Westerståhl - 1997 - Journal of Logic, Language and Information 6 (3):305-335.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.


Added to PP index

Total views
532 ( #6,313 of 2,327,781 )

Recent downloads (6 months)
46 ( #11,543 of 2,327,781 )

How can I increase my downloads?


My notes

Sign in to use this feature