BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS

DOI10.1017/S1755020313000154zbMath1288.03005MaRDI QIDQ5402234

Antje Rumberg

Publication date: 6 March 2014

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

zbMATH Keywords

groundingGentzencalculus of sequentsAbfolgecanonical normal proofs

Mathematics Subject Classification ID

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

Related Items (11)

Grounding principles for (relevant) implication ⋮ On constructing a logic for the notion of complete and immediate formal grounding ⋮ A Critical Overview of the Most Recent Logics of Grounding ⋮ The Concepts of Proof and Ground ⋮ On defining the notion of complete and immediate formal grounding ⋮ Husserl's Logical Grammar ⋮ Bolzano and Kim on grounding and unification ⋮ Grounding, quantifiers, and paradoxes ⋮ Toward a generalization of the logic of grounding ⋮ Formal explanations as logical derivations ⋮ Defining formal explanation in classical logic by substructural derivability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the idea of a general proof theory
• Balzano's theory of ground and consequence
• Untersuchungen über das logische Schliessen. I
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Bolzano and Cournot on mathematical explanation / Bolzano et Cournot à propos de l'explication mathématique
• Etchemendy and Bolzano on Logical Consequence
• Das Problem der apagogischen Beweise in BolzanosBeyträgenund seinerWissenschaftslehre
• The consistency of arithmetics

This page was built for publication: BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS