Switch to: References

Add citations

You must login to add citations.
  1. Consequences of Conditional Excluded Middle.Jeremy Goodman - manuscript
    Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Propositional Contingentism.Peter Fritz - 2016 - Review of Symbolic Logic 9 (1):123-142.
    According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Higher-Order Contingentism, Part 2: Patterns of Indistinguishability.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (3):407-418.
    The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
    This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
    We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Classical Opacity.Michael Caie, Jeremy Goodman & Harvey Lederman - forthcoming - Philosophy and Phenomenological Research.
    Philosophy and Phenomenological Research, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reply to Stalnaker.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):727-734.
    Download  
     
    Export citation  
     
    Bookmark  
  • Serious Actualism and Higher-Order Predication.Bruno Jacinto - 2019 - Journal of Philosophical Logic 48 (3):471-499.
    Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
    This article explores the connection between two theses: the principle of conditional excluded middle for the counterfactual conditional, and the claim that it is a contingent matter which (coarse grained) propositions there are. Both theses enjoy wide support, and have been defended at length by Robert Stalnaker. We will argue that, given plausible background assumptions, these two principles are incompatible, provided that conditional excluded middle is understood in a certain modalized way. We then show that some (although not all) arguments (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An Argument For Necessitism.Jeremy Goodman - 2017 - Philosophical Perspectives 30 (1):160-182.
    This paper presents a new argument for necessitism, the claim that necessarily everything is necessarily something. The argument appeals to principles about the metaphysics of quantification and predication which are best seen as constraints on reality’s fineness of grain. I give this argument in section 4; the impatient reader may skip directly there. Sections 1-3 set the stage by surveying three other arguments for necessitism. I argue that none of them are persuasive, but I think it is illuminating to consider (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logics for Propositional Contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
    Robert Stalnaker has recently advocated propositional contingentism, the claim that it is contingent what propositions there are. He has proposed a philosophical theory of contingency in what propositions there are and sketched a possible worlds model theory for it. In this paper, such models are used to interpret two propositional modal languages: one containing an existential propositional quantifier, and one containing an existential propositional operator. It is shown that the resulting logic containing an existential quantifier is not recursively axiomatizable, as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations