display all the ideas for this combination of texts
3 ideas
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
A reaction: Note that this concerns consistency, not completeness. |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
9925 | Structuralism and nominalism are normally rivals, but might work together [Burgess/Rosen] |
Full Idea: Usually structuralism and nominalism are considered rivals. But structuralism can also be the first step in a strategy of nominalist reconstrual or paraphrase. | |
From: JP Burgess / G Rosen (A Subject with No Object [1997], II.C.0) | |
A reaction: Hellman and later Chihara seem to be the main proponents of nominalist structuralism. My sympathies lie with this strategy. Are there objects at the nodes of the structure, or is the structure itself platonic? Mill offers a route. |