Higher-Order Contingentism, Part 3: Expressive Limitations

Journal of Philosophical Logic 47 (4):649-671 (2018)
Download Edit this record How to cite View on PhilPapers
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’.
ISBN(s)
PhilPapers/Archive ID
FRIHCP-3
Upload history
Archival date: 2018-01-22
View other versions
Added to PP index
2017-07-22

Total views
140 ( #38,952 of 64,256 )

Recent downloads (6 months)
15 ( #38,988 of 64,256 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.