Dag Prawitz on proofs, operations and grounding

DOI10.1007/s11245-017-9473-9zbMath1428.03071OpenAlexW2612137624WikidataQ113900465 ScholiaQ113900465MaRDI QIDQ2288275

Antonio Piccolomini de Aragona

Publication date: 17 January 2020

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-017-9473-9

zbMATH Keywords

inferenceproofrecognizabilitygroundingoperation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ Game of grounds ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• The epistemic significance of valid inference
• Untersuchungen über das logische Schliessen. I
• Truth as an epistemic notion
• Validity concepts in proof-theoretic semantics
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Explaining Deductive Inference
• Necessity of Thought
• A Notion of C-Justification for Empirical Statements
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dag Prawitz on proofs, operations and grounding