Avner, Ash and Justin, Clarke-Doane (2023) Intuition and Observation. [Preprint]
This is the latest version of this item.
|
Text
Intuition and Observation -- V. 19 -- 9.29.23.docx (2).pdf Download (361kB) | Preview |
Abstract
The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by intuitions, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus on observations but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles paradigmatic philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be fully objective. One upshot of the discussion is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Available Versions of this Item
-
Intuition and Observation. (deposited 11 Jun 2023 15:24)
- Intuition and Observation. (deposited 01 Oct 2023 14:56) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |