Publikation: Provability in principle and controversial constructivistic principles
Lade...
Dateien
Datum
1997
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
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-0433BibTex
@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>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Ja
