Journal article:
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
relationships.isEditorOf
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
Project
EU project number
Open Access publication
Collections
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
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 690RUMBERG, 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/S1755020313000154
BibTex
@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
Contact
URL of original publication
Test date of URL
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
Refereed
Link to research data
Description of supplementary data