Provability in principle and controversial constructivistic principles

Horsten, Leon

Provability in principle and controversial constructivistic principles

Dateien

Horsten_2-1ioss1ya36icc6.pdfGröße: 9.14 MBDownloads: 55

Datum

1997

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Philosophie

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Journal of Philosophical Logic. Springer. 1997, 26(6), pp. 635-660. ISSN 0022-3611. eISSN 1573-0433

Zusammenfassung

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.

Fachgebiet (DDC)

100 Philosophie

Zitieren

ISO 690

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

BibTex

@article{Horsten1997Prova-56949,
  year={1997},
  title={Provability in principle and controversial constructivistic principles},
  number={6},
  volume={26},
  issn={0022-3611},
  journal={Journal of Philosophical Logic},
  pages={635--660},
  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/56949">
    <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:43:18Z</dc:date>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56949/3/Horsten_2-1ioss1ya36icc6.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T13:43:18Z</dcterms:available>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56949/3/Horsten_2-1ioss1ya36icc6.pdf"/>
    <dc:creator>Horsten, Leon</dc:creator>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56949"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dcterms:issued>1997</dcterms:issued>
    <dc:language>eng</dc:language>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:title>Provability in principle and controversial constructivistic principles</dcterms:title>
    <dc:rights>terms-of-use</dc:rights>
    <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>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein

Begutachtet

Ja