First-order modal logic in the necessary framework of objects

Canadian Journal of Philosophy 46 (4-5):584-609 (2016)
  Copy   BIBTEX

Abstract

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument.

Author's Profile

Peter Fritz
Australian Catholic University

Analytics

Added to PP
2015-11-06

Downloads
781 (#17,617)

6 months
146 (#20,290)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?