Rethinking Intuition in Constructive Mathematics.
I propose an account of intuition for Bishop's brand of constructive mathematics, where constructions are person programs determined by their computational meaning. Past attempts to elucidate intuition by Parsons and Tieszen drawing on views put forward by Hilbert and Husserl, respectively, have fai...
| Publicado en: | Theoria: A Swedish Journal of Philosophy Vol. 91; no. 5; pp. 1 - 16 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Oct2025
|
| 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=188962686&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 188962686 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00405825 HL0 jtl: Theoria: A Swedish Journal of Philosophy issn: 00405825 maglogo: Y pubinfo: dt: Oct2025 vid: 91 iid: 5 pid: 480 pub: Wiley-Blackwell artinfo: ui: 188962686 10.1111/theo.70031 ppf: 1 ppct: 15 formats: fmt: – @attributes: type: T – @attributes: type: C – @attributes: type: P size: 786KB tig: atl: Rethinking Intuition in Constructive Mathematics. aug: au: Bentzen, Bruno affil: School of Philosophy, Zhejiang University, Hangzhou, China su: Constructive mathematics Intuition Philosophy of mathematics Epistemics Ontology sug: subj: Constructive mathematics Intuition Philosophy of mathematics Epistemics Ontology keyword: Bishop's constructive mathematics Brouwer constructive mathematics Heyting intuition intuitionism mathematical construction mathematical intuition ab: I propose an account of intuition for Bishop's brand of constructive mathematics, where constructions are person programs determined by their computational meaning. Past attempts to elucidate intuition by Parsons and Tieszen drawing on views put forward by Hilbert and Husserl, respectively, have failed to accommodate Bishop's ideas. I argue that, starting from premises building on the works of Brouwer and Heyting on the intuition of units and pairs and their causal sequences, we can explain how we intuit constructions by how their computational meaning is captured by causal relations we project on units and pairs. My exposition of these premises builds on Heyting's reinterpretation of Brouwer's thought and further develops a diagrammatic interpretation proposed recently with the introduction of computations through protentions. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Theoria: A Swedish Journal of Philosophy is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Theoria: A Swedish Journal of Philosophy holder: Wiley-Blackwell dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|