In defense of Epistemic Arithmetic

Cite This

Files in this item

Checksum: MD5:4593989a1c2521f4351acaedfdc99ae1

HORSTEN, Leon, 1998. In defense of Epistemic Arithmetic. In: Synthese. Springer. 116(1), pp. 1-25. ISSN 0039-7857. eISSN 1573-0964. Available under: doi: 10.1023/A:1005016405987

@article{Horsten1998defen-56948, title={In defense of Epistemic Arithmetic}, year={1998}, doi={10.1023/A:1005016405987}, number={1}, volume={116}, issn={0039-7857}, journal={Synthese}, pages={1--25}, 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/56948"> <dc:creator>Horsten, Leon</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Horsten, Leon</dc:contributor> <dc:language>eng</dc:language> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T13:36:44Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T13:36:44Z</dcterms:available> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56948/3/Horsten_2-130bj7fc3danl5.pdf"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56948/3/Horsten_2-130bj7fc3danl5.pdf"/> <dcterms:issued>1998</dcterms:issued> <dcterms:abstract xml:lang="eng">This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.</dcterms:abstract> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56948"/> <dcterms:title>In defense of Epistemic Arithmetic</dcterms:title> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> </rdf:Description> </rdf:RDF>

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

Horsten_2-130bj7fc3danl5.pdf 31

This item appears in the following Collection(s)

Search KOPS


Browse

My Account