@incollection{Horsten2021Truth-53346,
  year={2021},
  doi={10.4324/9780429030208-4},
  title={Truth, Reflection, and Commitment},
  isbn={978-0-367-14109-7},
  publisher={Routledge},
  address={New York},
  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/server/rdf/resource/123456789/53346">
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-08T11:09:03Z</dcterms:available>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Horsten, Leon</dc:creator>
    <dc:contributor>Zicchetti, Matteo</dc:contributor>
    <dc:creator>Zicchetti, Matteo</dc:creator>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dcterms:issued>2021</dcterms:issued>
    <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/server/rdf/resource/123456789/40"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53346"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:title>Truth, Reflection, and Commitment</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-08T11:09:03Z</dc:date>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/4.0/"/>
    <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>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53346/1/Horsten_2-2p9kfu9xl9of6.pdf"/>
    <dc:language>eng</dc:language>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:rights>Attribution-NonCommercial-NoDerivatives 4.0 International</dc:rights>
  </rdf:Description>
</rdf:RDF>