Explaining deductive inference

DOI10.1007/978-3-319-11041-7_3MaRDI QIDQ5213606zbMATH OpenOpenAlexFDO

Authors 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

inferencemeaningproof-theoretic semanticsdeductioninferentialismgroundintuitionismprooflogical 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)

Recommendations

• The epistemic significance of valid inference
• Inference and epistemic transparency
• Dag Prawitz on proofs, operations and grounding
• Assertion, inference, and consequence
• The seeming interdependence between the concepts of valid inference and proof

Cites work

• scientific article; zbMATH DE number 3952717 (Why is no real title available?)
• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 3497871 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 2064302 (Why is no real title available?)
• scientific article; zbMATH DE number 3448519 (Why is no real title available?)
• scientific article; zbMATH DE number 873321 (Why is no real title available?)
• scientific article; zbMATH DE number 3209149 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• Assertion, inference, and consequence
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Intensional interpretations of functionals of finite type I
• Intuitionism. An introduction
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• On weak completeness of intuitionistic predicate logic
• Untersuchungen über das logische Schliessen. I
• ``Inference versus consequence revisited: inference, consequence, conditional, implication

Cited in

(29)

• scientific article; zbMATH DE number 5872217 (Why is no real title available?)
• The fundamental problem of general proof theory
• The epistemic significance of valid inference
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Intensionality of consequence and identity of proofs in Prawitz's theory of grounds
• The seeming interdependence between the concepts of valid inference and proof
• A more general general proof theory
• Valid inferences
• scientific article; zbMATH DE number 2101956 (Why is no real title available?)
• Calculi of epistemic grounding based on Prawitz's theory of grounds
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• Fallibility and fruitfulness of deductions
• Formal explanations as logical derivations
• Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics
• The validity of inference and argument
• The proof-theoretic square
• Plans and planning in mathematical proofs
• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
• The content of deduction
• Inference and epistemic transparency
• Inference as doxastic agency. I: The basics of justification stit logic
• Introduction: Inferences and proofs
• On the methodology of paraconsistent logic
• Deduction at the crossroads
• From proof-objects to grounds
• Reprint of: ``A more general general proof theory
• Game of grounds
• Assertion, inference, and consequence
• Dag Prawitz on proofs, operations and grounding

This page was built for publication: Explaining deductive inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213606)