5 ideas
13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
Full Idea: Weak Limitation of Size: If there are no more Fs than Gs and the Gs form a collection, then Fs form a collection. Strong Limitation of Size: A property F fails to be collectivising iff there are as many Fs as there are objects. | |
From: report of George Boolos (Iteration Again [1989]) by Michael Potter - Set Theory and Its Philosophy 13.5 |
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. |
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. |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
Full Idea: Sceptics respond to the regress problem by denying knowledge; Foundationalists accept justifications without reasons; Positists say reasons terminate is mere posits; Coherentists say mutual support is justification; Infinitists accept the regress. | |
From: James Van Cleve (Why coherence is not enough [2005], I) | |
A reaction: A nice map of the territory. The doubts of Scepticism are not strong enough for anyone to embrace the view; Foundationalist destroy knowledge (?), as do Positists; Infinitism is a version of Coherentism - which is the winner. |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
Full Idea: Contemporary foundationalists are seldom of the strong Cartesian variety: they do not insist that basic beliefs be absolutely certain. They also tend to allow that coherence can enhance justification. | |
From: James Van Cleve (Why coherence is not enough [2005], III) | |
A reaction: It strikes me that they have got onto a slippery slope. How certain are the basic beliefs? How do you evaluate their certainty? Could incoherence in their implications undermine them? Skyscrapers need perfect foundations. |