8 ideas
23122 | Montaigne was the founding father of liberalism [Montaigne, by Gopnik] |
Full Idea: The first liberal, the founding father if we have one, is the great sixteenth century French essayist Michel de Montaigne. | |
From: report of Michel de Montaigne (On Cruelty [1580]) by Adam Gopnik - A Thousand Small Sanities 1 | |
A reaction: He says this not on the basis of his politicies or achievements, but his general attitudes and values. It may be another hundred years before we can identify another obvious liberal (Locke?). |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
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? |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |