Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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

@article{Rumberg2013Bolza-26629, title={Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs}, year={2013}, doi={10.1017/S1755020313000154}, number={03}, volume={6}, issn={1755-0203}, journal={The Review of Symbolic Logic}, pages={424--459}, author={Rumberg, Antje} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/26629"> <dc:creator>Rumberg, Antje</dc:creator> <dc:language>eng</dc:language> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/26629"/> <dc:contributor>Rumberg, Antje</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-04T10:29:42Z</dcterms:available> <dcterms:bibliographicCitation>The Review of Symbolic Logic ; 6 (2013), 3. - S. 424-459</dcterms:bibliographicCitation> <dc:rights>deposit-license</dc:rights> <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> <dcterms:issued>2013</dcterms:issued> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-04T10:29:42Z</dc:date> <dcterms:title>Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs</dcterms:title> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto