Explaining Deductive Inference
From MaRDI portal
Publication:5213606
DOI10.1007/978-3-319-11041-7_3zbMath1429.03044OpenAlexW1628355849MaRDI QIDQ5213606
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
deductioninferenceproofmeaningproof-theoretic semanticsinferentialismgroundintuitionismlogical validity
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