Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs

DOI10.1017/S1755020313000154MaRDI QIDQ5402234zbMATH OpenFDO

Authors Antje Rumberg

Publication date 6 March 2014

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020313000154

zbMATH Keywords

Abfolgecalculus of sequentscanonical normal proofsGentzengrounding

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Studies on Bolzano
• Bernard Bolzano's theory of ground and consequence. An axiomatic reconstruction
• The concepts of proof and ground
• EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
• Bolzano's conception of grounding

Cites work

• Balzano's theory of ground and consequence
• Bolzano and Cournot on mathematical explanation
• Etchemendy and Bolzano on logical consequence
• scientific article; zbMATH DE number 3174456 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Meaning approached via proofs
• On the idea of a general proof theory
• The consistency of arithmetics
• The problem of apagogic proof in Bolzano's \textit{Contributions} and his \textit{Theory of science}
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics

Cited in

(26)

• Balzano's theory of ground and consequence
• On constructing a logic for the notion of complete and immediate formal grounding
• Bolzano and Kim on grounding and unification
• Grounding, quantifiers, and paradoxes
• Defining formal explanation in classical logic by substructural derivability
• On Bolzano's alleged explicativism
• Grounding principles for (relevant) implication
• Bolzano's conception of grounding
• Studies on Bolzano
• Bernard Bolzano's theory of ground and consequence. An axiomatic reconstruction
• Rigor, re-proof and Bolzano's critical program
• Explanation in metaphysics and Bolzano's theory of ground and consequence
• A Critical Overview of the Most Recent Logics of Grounding
• The concepts of proof and ground
• Toward a generalization of the logic of grounding
• Conceptions of Proof from Aristotle to Gentzen’s Calculi
• On defining the notion of complete and immediate formal grounding
• Husserl's logical grammar
• EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
• Formal explanations as logical derivations
• scientific article; zbMATH DE number 7644093 (Why is no real title available?)
• (Conceptual) explanations in logic
• Intensionality of consequence and identity of proofs in Prawitz's theory of grounds
• What stands between grounding rules and logical rules is the excluded middle
• Conceptual (and hence mathematical) explanation, conceptual grounding and proof
• Purity and explanation: a systematic case study

This page was built for publication: Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs

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