The Concepts of Proof and Ground

DOI10.1007/978-3-030-20447-1_15zbMath1469.03159OpenAlexW2981484397MaRDI QIDQ3305636

Dag Prawitz

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_15

Mathematics Subject Classification ID

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

Related Items (2)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Formal explanations as logical derivations

Cites Work

• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics
• The fundamental problem of general proof theory
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Concepts of Proof and Ground