Truth, Reflection, and Commitment

Horsten, Leon; Zicchetti, Matteo

Truth, Reflection, and Commitment

Dateien

Horsten_2-2p9kfu9xl9of6.pdfGröße: 236.48 KBDownloads: 250

Datum

2021

Autor:innen

Horsten, Leon

Zicchetti, Matteo

Open Access-Veröffentlichung

Open Access Bookpart

Sammlungen

Philosophie

Publikationstyp

Beitrag zu einem Sammelband

Publikationsstatus

Published

Erschienen in

NICOLAI, Carlo, ed., Johannes STERN, ed.. Modes of Truth : The Unified Approach to Truth, Modality, and Paradox. New York: Routledge, 2021, pp. 69-87. ISBN 978-0-367-14109-7. Available under: doi: 10.4324/9780429030208-4

Zusammenfassung

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.

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

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, 2021, pp. 69-87. ISBN 978-0-367-14109-7. Available under: doi: 10.4324/9780429030208-4

BibTex

@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: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>

Universitätsbibliographie

Ja