Malament-Hogarth Machines and Tait's Axiomatic Conception of Mathematics.
In this paper I will argue that Tait's axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then show that there are possible courses of experien...
| Publicado en: | Erkenntnis Vol. 79; no. 4; pp. 893 - 908 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=98371131&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 98371131 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01650106 5KZ jtl: Erkenntnis issn: 01650106 maglogo: N pubinfo: dt: Aug2014 vid: 79 iid: 4 pid: 237 pub: Springer Nature artinfo: ui: 98371131 10.1007/s10670-013-9571-z ppf: 893 ppct: 15 formats: fmt: @attributes: type: P size: 253KB tig: atl: Malament-Hogarth Machines and Tait's Axiomatic Conception of Mathematics. aug: au: Berry, Sharon affil: Harvard University, 209a Emerson Hall Cambridge 02138 USA su: Mathematical logic Mathematics research Mathematical proofs Philosophical research Mathematical analysis sug: subj: Mathematical logic Mathematics research Mathematical proofs Philosophical research Mathematical analysis ab: In this paper I will argue that Tait's axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then show that there are possible courses of experience which would justify acceptance of a mathematical statement without justifying belief that this statement is provable. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Erkenntnis is a copyright of Springer, 2014. All Rights Reserved. item: Erkenntnis holder: Springer Nature dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|