Provability in principle and controversial constructivistic principles

Cite This

Files in this item

Checksum: MD5:f931175235b5604781746f41b6650f03

HORSTEN, Leon, 1997. Provability in principle and controversial constructivistic principles. In: Journal of Philosophical Logic. Springer. 26(6), pp. 635-660. ISSN 0022-3611. eISSN 1573-0433

@article{Horsten1997Prova-56949, title={Provability in principle and controversial constructivistic principles}, year={1997}, number={6}, volume={26}, issn={0022-3611}, journal={Journal of Philosophical Logic}, pages={635--660}, 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/56949"> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56949"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>Provability in principle and controversial constructivistic principles</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T13:43:18Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T13:43:18Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56949/3/Horsten_2-1ioss1ya36icc6.pdf"/> <dcterms:issued>1997</dcterms:issued> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Horsten, Leon</dc:creator> <dcterms:abstract xml:lang="eng">New epistemic principles are formulated in the language of Shapiro’s system of Epistemic Arithmetic. It is argued that some plausibility can be attributed to these principles. The relations between these principles and variants of controversial constructivistic principles are investigated. Special attention is given to variants of the intuitionistic version of Church’s thesis and to variants of Markov’s principle.</dcterms:abstract> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56949/3/Horsten_2-1ioss1ya36icc6.pdf"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Horsten, Leon</dc:contributor> <dspace:isPartOfCollection 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-1ioss1ya36icc6.pdf 29

This item appears in the following Collection(s)

Search KOPS


Browse

My Account