The fundamental problem of general proof theory

DOI10.1007/S11225-018-9785-9MaRDI QIDQ2631642zbMATH OpenOpenAlexFDO

Authors Dag Prawitz

Publication date 15 May 2019

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-018-9785-9

zbMATH Keywords

Gentzen's naturaldeductionintuitionismproofproof theoryvalid argumentvalid inference

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• The seeming interdependence between the concepts of valid inference and proof
• The epistemic significance of valid inference
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• The concepts of proof and ground
• Validity concepts in proof-theoretic semantics

Cites work

• A survey of proof theory
• Constructivism in mathematics. An introduction. Volume II
• Explaining deductive inference
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3508455 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3360143 (Why is no real title available?)
• Meaning approached via proofs
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Realizability and intuitionistic logic
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics

Cited in

(9)

• Reprint of: ``A more general general proof theory
• Subatomic negation
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
• The seeming interdependence between the concepts of valid inference and proof
• The concepts of proof and ground
• The validity of inference and argument
• From proof-objects to grounds
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• Bilateral base-extension semantics

This page was built for publication: The fundamental problem of general proof theory

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