Truth, Reflection, and Commitment

Lade...
Vorschaubild
Dateien
Horsten_2-2p9kfu9xl9of6.pdf
Horsten_2-2p9kfu9xl9of6.pdfGröße: 236.48 KBDownloads: 238
Datum
2021
Autor:innen
Zicchetti, Matteo
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Bookpart
Sammlungen
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690HORSTEN, 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>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen