Switch to: References

Add citations

You must login to add citations.
  1. Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.
    Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
    We outline a class of term-languages for epistemic grounding inspired by Prawitz’s theory of grounds. We show how denotation functions can be defined over these languages, relating terms to proof-objects built up of constructive functions. We discuss certain properties that the languages may enjoy both individually and with respect to their expansions. Finally, we provide a ground-theoretic version of Prawitz’s completeness conjecture, and adapt to our framework a refutation of this conjecture due to Piecha and Schroeder-Heister.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2022 - Studia Logica 110 (3):819-877.
    We define a class of formal systems inspired by Prawitz’s theory of grounds. The latter is a semantics that aims at accounting for epistemic grounding, namely, at explaining why and how deductively valid inferences have the power to epistemically compel to accept the conclusion. Validity is defined in terms of typed objects, called grounds, that reify evidence for given judgments. An inference is valid when a function exists from grounds for the premises to grounds for the conclusion. Grounds are described (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations