Journal of Philosophical Logic 47 (4):649-671 (2018)

Authors
Peter Fritz
Australian Catholic University
Abstract
Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’.
Keywords Contingentism  Higher-order modal logic  Expressivity
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-017-9443-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Plurality of Worlds.William G. Lycan - 1988 - Journal of Philosophy 85 (1):42-47.
Primitive Thisness and Primitive Identity.Robert Merrihew Adams - 1979 - Journal of Philosophy 76 (1):5-26.
Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.

View all 13 references / Add more references

Citations of this work BETA

Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
Williamson on Necessitism.Jeremy Goodman - 2016 - Canadian Journal of Philosophy 46 (4-5):613-639.

Add more citations

Similar books and articles

Intensional Type Theory for Higher-Order Contingentism.Peter Fritz - 2015 - Dissertation, University of Oxford
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Higher-Order Contingentism, Part 2: Patterns of Indistinguishability.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (3):407-418.
Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Logics for Propositional Contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.

Analytics

Added to PP index
2017-07-22

Total views
111 ( #88,985 of 2,410,288 )

Recent downloads (6 months)
15 ( #47,036 of 2,410,288 )

How can I increase my downloads?

Downloads

My notes