10 found
Order:
  1. Symmetry, Invariance, and Imprecise Probability.Zachary Goodsell & Jacob M. Nebel - forthcoming - Mind.
    It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. A St Petersburg Paradox for risky welfare aggregation.Zachary Goodsell - 2021 - Analysis 81 (3):420-426.
    The principle of Anteriority says that prospects that are identical from the perspective of every possible person’s welfare are equally good overall. The principle enjoys prima facie plausibility, and has been employed for various theoretical purposes. Here it is shown using an analogue of the St Petersburg Paradox that Anteriority is inconsistent with central principles of axiology.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Unknowable Truths.Zachary Goodsell, John Hawthorne & Juhani Yli-Vakkuri - forthcoming - Journal of Philosophy.
    In an anonymous referee report written in 1945, Church suggested a sweeping argument against verificiationism, the thesis that every truth is knowable. The argument, which was published with due acknowledgement by Fitch almost two decades later, has generated significant attention as well as some interesting successor arguments. In this paper, we present the most important episodes in this intellectual history using the logic that Church himself favoured, and we give reasons for thinking that the arguments are less than decisive. However, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.
    Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. What is an Extended Simple Region?Zachary Goodsell, Michael Duncan & Kristie Miller - 2019 - Philosophy and Phenomenological Research 101 (3):649-659.
    The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. 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  
  7. Unbounded Utility.Zachary Goodsell - 2023 - Dissertation, University of Southern California
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. (1 other version)Morality Does Not Encroach.Zachary Goodsell & John Hawthorne - forthcoming - In Juan Comesana & Matthew McGrath (eds.), Knowledge and Rationality: Essays in Honor of Stewart Cohen. Routledge.
    Moral encroachment is the thesis that morality has an effect---unrecognized by traditional epistemology---on which doxastic states are epistemically appropriate. The thesis is increasingly popular among those who, in opposition to Gendler (2011), desire harmony between epistemic and moral demands on belief. This paper has three main goals. First, drawing on attractive structural principles concerning belief and justification, it is shown that a thoroughgoing harmony between moral and epistemic demands is implausible. This weakens the motivation for positing moral encroachment, but a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Tossing Morgenbesser’s Coin.Zachary Goodsell - 2022 - Analysis 82 (2):214-221.
    Morgenbesser's Coin is a thought experiment that exemplifies a widespread disposition to infer counterfactual independence from causal independence. I argue that this disposition is mistaken by analysing a closely related thought experiment.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of (...)
    Download  
     
    Export citation  
     
    Bookmark