Explaining Deductive Inference

DOI10.1007/978-3-319-11041-7_3zbMath1429.03044OpenAlexW1628355849MaRDI QIDQ5213606

Dag Prawitz

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_3

zbMATH Keywords

deductioninferenceproofmeaningproof-theoretic semanticsinferentialismgroundintuitionismlogical validity

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 (14)

The fundamental problem of general proof theory ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ A more general general proof theory ⋮ Reprint of: ``A more general general proof theory ⋮ Introduction: Inferences and proofs ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Inference and epistemic transparency ⋮ Dag Prawitz on proofs, operations and grounding ⋮ On the Methodology of Paraconsistent Logic ⋮ Game of grounds ⋮ Formal explanations as logical derivations ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Assertion, inference, and consequence
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Intuitionism. An introduction
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Untersuchungen über das logische Schliessen. I
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Intensional interpretations of functionals of finite type I
• On weak completeness of intuitionistic predicate logic
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Explaining Deductive Inference