Combining Texts

All the ideas for 'fragments/reports', 'The Foundations of Mathematics' and 'Structuralism'

unexpand these ideas     |    start again     |     specify just one area for these texts

---

4 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

18844	You would cripple mathematics if you denied Excluded Middle [Hilbert]
	Full Idea: Taking the principle of Excluded Middle away from the mathematician would be the same, say, as prohibiting the astronomer from using the telescope or the boxer from using his fists.
	From: David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4
	A reaction: [p.476 in Van Heijenoort]

6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism

8921	Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman]
	Full Idea: With developments in modern mathematics, structuralist ideas have become commonplace. We study 'abstract structures', having relations without regard to the objects. As Hilbert famously said, items of furniture would do.
	From: Geoffrey Hellman (Structuralism [2007], §1)
	A reaction: Hilbert is known as a Formalist, which suggests that modern Structuralism is a refined and more naturalist version of the rather austere formalist view. Presumably the sofa can't stand for six, so a structural definition of numbers is needed.

6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism

8922	Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman]
	Full Idea: There is the tantalizing possibility that perhaps mathematical objects 'have no nature' at all, beyond their 'structural role'.
	From: Geoffrey Hellman (Structuralism [2007], §1)
	A reaction: This would fit with a number being a function rather than an object. We are interested in what cars do, not the bolts that hold them together? But the ontology of mathematics is quite separate from how you do mathematics.

13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention

1556	By nature people are close to one another, but culture drives them apart [Hippias]
	Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature.
	From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8