Platonistic formalism

Cite This

Files in this item

Checksum: MD5:bdd79d22ca7675187ab1c2111b6172e5

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

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

<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/56942"> <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> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:contributor>Horsten, Leon</dc:contributor> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56942"/> <dc:language>eng</dc:language> <dc:rights>terms-of-use</dc:rights> <dcterms:title>Platonistic formalism</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T10:47:00Z</dc:date> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:issued>2001</dcterms:issued> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56942/3/Horsten_2-lm4ffh6ljfxt6.pdf"/> </rdf:Description> </rdf:RDF>

Downloads since Mar 22, 2022 (Information about access statistics)

Horsten_2-lm4ffh6ljfxt6.pdf 20

This item appears in the following Collection(s)

Search KOPS


Browse

My Account