Switch to: References

Add citations

You must login to add citations.
  1. Σ01 soundness isn’t enough: Number theoretic indeterminacy’s unsavory physical commitments.Sharon Berry - 2023 - British Journal for the Philosophy of Science 74 (2):469-484.
    It’s sometimes suggested that we can (in a sense) settle the truth-value of some statements in the language of number theory by stipulation, adopting either φ or ¬φ as an additional axiom. For example, in Clarke-Doane (2020b) and a series of recent APA presentations, Clarke-Doane suggests that any Σ01 sound expansion of our current arithmetical practice would express a truth. In this paper, I’ll argue that (given a certain popular assumption about the model-theoretic representability of languages like ours) we can’t (...)
    Export citation