Journal article: Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs
Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs
No Thumbnail Available
Files
There are no files associated with this item.
Date
2013
Editors
relationships.isEditorOf
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
International patent number
Link to the license
Project
EU project number
Open Access publication
Collections
Title in another language
Publication type
Journal article
Publication status
Abstract
In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz.
Summary in another language
Subject (DDC)
100 Philosophy
Keywords
Published in
The Review of Symbolic Logic ; 6 (2013), 03. - pp. 424-459. - ISSN 1755-0203. - eISSN 1755-0211
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690
RUMBERG, Antje, 2013. Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs. In: The Review of Symbolic Logic. 6(03), pp. 424-459. ISSN 1755-0203. eISSN 1755-0211. Available under: doi: 10.1017/S1755020313000154BibTex
@article{Rumberg2013Bolza-26629, year={2013}, doi={10.1017/S1755020313000154}, title={Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs}, number={03}, volume={6}, issn={1755-0203}, journal={The Review of Symbolic Logic}, pages={424--459}, author={Rumberg, Antje} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/26629"> <dcterms:abstract xml:lang="eng">In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz.</dcterms:abstract> <dc:contributor>Rumberg, Antje</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/26629"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dcterms:title>Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-04T10:29:42Z</dc:date> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-04T10:29:42Z</dcterms:available> <dcterms:issued>2013</dcterms:issued> <dcterms:bibliographicCitation>The Review of Symbolic Logic ; 6 (2013), 3. - S. 424-459</dcterms:bibliographicCitation> <dc:creator>Rumberg, Antje</dc:creator> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes