Switch to: References

Add citations

You must login to add citations.
  1. Open texture, rigor, and proof.Benjamin Zayton - 2022 - Synthese 200 (4):1-20.
    Open texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical Modality: An Investigation in Higher-order Logic.Andrew Bacon - 2024 - Journal of Philosophical Logic 53 (1):131-179.
    An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the ‘width’ of the set theoretic universe, such as Cantor’s continuum hypothesis. Within a higher-order framework I show that contingency about the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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