Combining Texts

All the ideas for 'Mathematics without Numbers', 'Henry V' and 'Paradoxes: Form and Predication'

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

---

5 ideas

5. Theory of Logic / G. Quantification / 6. Plural Quantification

14235	Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile]
	Full Idea: If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference.
	From: James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro
	A reaction: Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable.

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

8698	Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]
	Full Idea: The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided.
	From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3
	A reaction: Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'?

9557	Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara]
	Full Idea: Hellman represents statements of pure mathematics as elliptical for modal conditionals of a certain sort.
	From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Charles Chihara - A Structural Account of Mathematics 5.3
	A reaction: It's a pity there is such difficulty in understanding conditionals (see Graham Priest on the subject). I intuit a grain of truth in this, though I take maths to reflect the structure of the actual world (with possibilities being part of that world).

10263	Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]
	Full Idea: The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us.
	From: comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3
	A reaction: I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities?

25. Social Practice / E. Policies / 1. War / b. Justice in war

23565	Our obedience to the king erases any crimes we commit for him [Shakespeare]
	Full Idea: We know enough if we know we are the king's men. Our obedience to the king wipes the crime of it out of us.
	From: William Shakespeare (Henry V [1599]), quoted by Michael Walzer - Just and Unjust Wars 03
	A reaction: He is referring to the slaughter of the French servants behind the lines at Agincourt. A classic expression of 'I was just obeying orders', which was rejected at Nurnberg in 1946. Depends on the seriousness of the crime.