display all the ideas for this combination of texts
8 ideas
| 8676 | Is mathematics based on sets, types, categories, models or topology? [Friend] |
| Full Idea: Successful competing founding disciplines in mathematics include: the various set theories, type theory, category theory, model theory and topology. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 2.3) | |
| A reaction: Or none of the above? Set theories are very popular. Type theory is, apparently, discredited. Shapiro has a version of structuralism based on model theory (which sound promising). Topology is the one that intrigues me... |
| 8678 | Most mathematical theories can be translated into the language of set theory [Friend] |
| Full Idea: Most of mathematics can be faithfully redescribed by classical (realist) set theory. More precisely, we can translate other mathematical theories - such as group theory, analysis, calculus, arithmetic, geometry and so on - into the language of set theory. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 2.3) | |
| A reaction: This is why most mathematicians seem to regard set theory as foundational. We could also translate football matches into the language of atomic physics. |
| 8701 | The number 8 in isolation from the other numbers is of no interest [Friend] |
| Full Idea: There is no interest for the mathematician in studying the number 8 in isolation from the other numbers. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.4) | |
| A reaction: This is a crucial and simple point (arising during a discussion of Shapiro's structuralism). Most things are interesting in themselves, as well as for their relationships, but mathematical 'objects' just are relationships. |
| 8702 | In structuralism the number 8 is not quite the same in different structures, only equivalent [Friend] |
| Full Idea: Structuralists give a historical account of why the 'same' number occupies different structures. Numbers are equivalent rather than identical. 8 is the immediate predecessor of 9 in the whole numbers, but in the rationals 9 has no predecessor. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.4) | |
| A reaction: I don't become a different person if I move from a detached house to a terraced house. This suggests that 8 can't be entirely defined by its relations, and yet it is hard to see what its intrinsic nature could be, apart from the units which compose it. |
| 8699 | Are structures 'ante rem' (before reality), or are they 'in re' (grounded in physics)? [Friend] |
| Full Idea: Structuralists disagree over whether objects in structures are 'ante rem' (before reality, existing independently of whether the objects exist) or 'in re' (in reality, grounded in the real world, usually in our theories of physics). | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.4) | |
| A reaction: Shapiro holds the first view, Hellman and Resnik the second. The first view sounds too platonist and ontologically extravagant; the second sounds too contingent and limited. The correct account is somewhere in abstractions from the real. |
| 8696 | Structuralist says maths concerns concepts about base objects, not base objects themselves [Friend] |
| Full Idea: According to the structuralist, mathematicians study the concepts (objects of study) such as variable, greater, real, add, similar, infinite set, which are one level of abstraction up from prima facie base objects such as numbers, shapes and lines. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.1) | |
| A reaction: This still seems to imply an ontology in which numbers, shapes and lines exist. I would have thought you could eliminate the 'base objects', and just say that the concepts are one level of abstraction up from the physical world. |
| 8695 | Structuralism focuses on relations, predicates and functions, with objects being inessential [Friend] |
| Full Idea: Structuralism says we study whole structures: objects together with their predicates, relations that bear between them, and functions that take us from one domain of objects to a range of other objects. The objects can even be eliminated. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.1) | |
| A reaction: The unity of object and predicate is a Quinean idea. The idea that objects are inessential is the dramatic move. To me the proposal has very strong intuitive appeal. 'Eight' is meaningless out of context. Ordinality precedes cardinality? Ideas 7524/8661. |
| 8700 | 'In re' structuralism says that the process of abstraction is pattern-spotting [Friend] |
| Full Idea: In the 'in re' version of mathematical structuralism, pattern-spotting is the process of abstraction. | |
| From: Michèle Friend (Introducing the Philosophy of Mathematics [2007], 4.4) | |
| A reaction: This might work for non-mathematical abstraction as well, if we are allowed to spot patterns within sensual experience, and patterns within abstractions. Properties are causal patterns in the world? No - properties cause patterns. |