Truth, Reflection, and Commitment
| Type of Publication: | Contribution to a collection |
| Publication status: | Published |
| URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-2-2p9kfu9xl9of6 |
| Author: | Horsten, Leon; Zicchetti, Matteo |
| Year of publication: | 2021 |
| Published in: | Modes of Truth : The Unified Approach to Truth, Modality, and Paradox / Nicolai, Carlo; Stern, Johannes (ed.). - New York : Routledge, 2021. - pp. 69-87. - ISBN 978-0-367-14109-7 |
| DOI (citable link): | https://dx.doi.org/10.4324/9780429030208-4 |
| Summary: |
Ever since the discovery of the arithmetical incompleteness phenomena, proof-theoretic reflection principles have been intensively investigated in mathematical logic. But reflection principles also have philosophical significance. As articulations of trust in formal systems, they provide information about the relations between concepts such as provability, rational belief, truth, consistency. Against this background, this chapter discusses proof-theoretic reflection principles from a logico-philosophical perspective.
|
| Subject (DDC): | 100 Philosophy |
| Link to License: | Attribution-NonCommercial-NoDerivatives 4.0 International |
| Bibliography of Konstanz: | Yes |
Cite This
Files in this item
![[PDF]](/themes/Kops/images/mimes/pdf.png "PDF file"){kind=small}
HORSTEN, Leon, Matteo ZICCHETTI, 2021. Truth, Reflection, and Commitment. In: NICOLAI, Carlo, ed., Johannes STERN, ed.. Modes of Truth : The Unified Approach to Truth, Modality, and Paradox. New York:Routledge, pp. 69-87. ISBN 978-0-367-14109-7. Available under: doi: 10.4324/9780429030208-4
@incollection{Horsten2021Truth-53346, title={Truth, Reflection, and Commitment}, year={2021}, doi={10.4324/9780429030208-4}, isbn={978-0-367-14109-7}, address={New York}, publisher={Routledge}, booktitle={Modes of Truth : The Unified Approach to Truth, Modality, and Paradox}, pages={69--87}, editor={Nicolai, Carlo and Stern, Johannes}, author={Horsten, Leon and Zicchetti, Matteo} }
<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/rdf/resource/123456789/53346"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:title>Truth, Reflection, and Commitment</dcterms:title> <dc:contributor>Horsten, Leon</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:issued>2021</dcterms:issued> <dc:creator>Zicchetti, Matteo</dc:creator> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/4.0/"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53346/1/Horsten_2-2p9kfu9xl9of6.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-08T11:09:03Z</dcterms:available> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-08T11:09:03Z</dc:date> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53346"/> <dc:contributor>Zicchetti, Matteo</dc:contributor> <dc:rights>Attribution-NonCommercial-NoDerivatives 4.0 International</dc:rights> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53346/1/Horsten_2-2p9kfu9xl9of6.pdf"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:creator>Horsten, Leon</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:abstract xml:lang="eng">Ever since the discovery of the arithmetical incompleteness phenomena, proof-theoretic reflection principles have been intensively investigated in mathematical logic. But reflection principles also have philosophical significance. As articulations of trust in formal systems, they provide information about the relations between concepts such as provability, rational belief, truth, consistency. Against this background, this chapter discusses proof-theoretic reflection principles from a logico-philosophical perspective.</dcterms:abstract> </rdf:Description> </rdf:RDF>
Downloads since Apr 8, 2021 (Information about access statistics)
| Horsten_2-2p9kfu9xl9of6.pdf | 28 |
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 International
Search KOPS
Browse
My Account
