Publikation: Mathematical Gettier Cases and Their Implications
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
Let mathematical justification be the kind of justification obtained when we prove theorems. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I challenge this idea by arguing that there is conception of mathematical justification which is fallibilist (in addition to infallibilist accounts). I argue that for the fallibilist conception, non-trivial Gettier cases are possible (and indeed actual). I indicate some upshots for mathematical practice, in particular, regarding folklore theorems and pluralism.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
BARTON, Neil, 2025. Mathematical Gettier Cases and Their Implications. In: Australasian Journal of Philosophy. Taylor & Francis. ISSN 0004-8402. eISSN 1471-6828. Verfügbar unter: doi: 10.1080/00048402.2025.2521736BibTex
@article{Barton2025Mathe-75967,
title={Mathematical Gettier Cases and Their Implications},
year={2025},
doi={10.1080/00048402.2025.2521736},
issn={0004-8402},
journal={Australasian Journal of Philosophy},
author={Barton, Neil}
}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/75967">
<dcterms:title>Mathematical Gettier Cases and Their Implications</dcterms:title>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/75967"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-01-28T13:32:55Z</dcterms:available>
<dcterms:issued>2025</dcterms:issued>
<dc:language>eng</dc:language>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-01-28T13:32:55Z</dc:date>
<dcterms:abstract>Let mathematical justification be the kind of justification obtained when we prove theorems. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I challenge this idea by arguing that there is conception of mathematical justification which is fallibilist (in addition to infallibilist accounts). I argue that for the fallibilist conception, non-trivial Gettier cases are possible (and indeed actual). I indicate some upshots for mathematical practice, in particular, regarding folklore theorems and pluralism.</dcterms:abstract>
<dc:contributor>Barton, Neil</dc:contributor>
<dc:creator>Barton, Neil</dc:creator>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
</rdf:Description>
</rdf:RDF>