Switch to: References

Add citations

You must login to add citations.
  1. Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.
    The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Epistemological Subject(s) of Mathematics.Silvia De Toffoli - 2024 - In Bharath Sriraman, Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2880-2904.
    Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Weak arithmetical interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
    Download  
     
    Export citation  
     
    Bookmark   1 citation