The seeming interdependence between the concepts of valid inference and proof

DOI10.1007/s11245-017-9506-4zbMath1428.03029OpenAlexW2763013782WikidataQ59612228 ScholiaQ59612228MaRDI QIDQ2288270

Dag Prawitz

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-9506-4

zbMATH Keywords

proofintuitionismvalid inferenceepistemic ground

Mathematics Subject Classification ID

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

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 ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Intuitionism. An introduction
• Realizability and intuitionistic logic
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic views on the nature of mathematics
• Implicit epistemic aspects of constructive logic
• Validity concepts in proof-theoretic semantics
• The fundamental problem of general proof theory
• Explaining Deductive Inference
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The seeming interdependence between the concepts of valid inference and proof