Platonistic formalism

Horsten, Leon

Platonistic formalism

Dateien

Horsten_2-lm4ffh6ljfxt6.pdfGröße: 4.24 MBDownloads: 36

Datum

2001

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390

Zusammenfassung

The present paper discusses a proposal which says, roughly and with several qualifications, that the collection of mathematical truths is identical with the set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright false or philosophically incoherent as one might think. Some morals of this are drawn for the concept of mathematical knowledge.

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

HORSTEN, Leon, 2001. Platonistic formalism. In: Erkenntnis. Springer. 2001, 54(2), pp. 173-194. ISSN 1876-2530. eISSN 1572-8420. Available under: doi: 10.1023/A:1005632214390

BibTex

@article{Horsten2001Plato-56942,
  year={2001},
  doi={10.1023/A:1005632214390},
  title={Platonistic formalism},
  number={2},
  volume={54},
  issn={1876-2530},
  journal={Erkenntnis},
  pages={173--194},
  author={Horsten, Leon}
}

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/56942">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56942"/>
    <dcterms:issued>2001</dcterms:issued>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dc:date>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:abstract xml:lang="eng">The present paper discusses a proposal which says, roughly and with several qualifications, that the collection of mathematical truths is identical with the set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright false or philosophically incoherent as one might think. Some morals of this are drawn for the concept of mathematical knowledge.</dcterms:abstract>
    <dc:creator>Horsten, Leon</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dcterms:available>
    <dc:language>eng</dc:language>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:title>Platonistic formalism</dcterms:title>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:rights>terms-of-use</dc:rights>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein

Begutachtet

Ja