Switch to: References

Add citations

You must login to add citations.
  1. Arithmetic is Necessary.Zachary Goodsell - 2024 - Journal of Philosophical Logic 53 (4).
    (Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer a question (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Metaphysics in Counterfactual Logic.Samuel Elgin - manuscript
    This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Context-indexed Counterfactuals.Mariusz Popieluch - 2022 - Studia Semiotyczne 35 (2):89-123.
    It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Metaphysical Nihilism and Modal Logic.Ethan Brauer - 2022 - Philosophical Studies 179 (9):2751-2763.
    In this paper I argue, that if it is metaphysically possible for it to have been the case that nothing existed, then it follows that the right modal logic cannot extend D, ruling out popular modal logics S4 and S5. I provisionally defend the claim that it is possible for nothing to have existed. I then consider the various ways of resisting the conclusion that the right modal logic is weaker than D.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Are Counterpossibles Epistemic?Daniel Dohrn - 2021 - Pacific Philosophical Quarterly 102 (1):51-72.
    It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Counterpossibles.Alexander W. Kocurek - 2021 - Philosophy Compass 16 (11):e12787.
    A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • How can necessary facts call for explanation.Dan Baras - 2020 - Synthese 198 (12):11607-11624.
    While there has been much discussion about what makes some mathematical proofs more explanatory than others, and what are mathematical coincidences, in this article I explore the distinct phenomenon of mathematical facts that call for explanation. The existence of mathematical facts that call for explanation stands in tension with virtually all existing accounts of “calling for explanation”, which imply that necessary facts cannot call for explanation. In this paper I explore what theoretical revisions are needed in order to accommodate this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemic Autonomy and Externalism.J. Adam Carter - 2021 - In Jonathan Matheson & Kirk Lougheed (eds.), Epistemic Autonomy. New York, NY: Routledge.
    The philosophical significance of attitudinal autonomy—viz., the autonomy of attitudes such as beliefs—is widely discussed in the literature on moral responsibility and free will. Within this literature, a key debate centres around the following question: is the kind of attitudinal autonomy that’s relevant to moral responsibility at a given time determined entirely by a subject’s present mental structure at that time? Internalists say ‘yes’, externalists say ’no’. In this essay, I motivate a kind of distinctly epistemic attitudinal autonomy, attitudinal autonomy (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscript
    This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Counterfactual Logic and the Necessity of Mathematics.Samuel Z. Elgin - 2020 - Journal of Philosophical Logic 50 (1):97-115.
    This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne, who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening, which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation