7 ideas
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. |
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). |
8836 | Must all justification be inferential? [Ginet] |
Full Idea: The infinitist view of justification holds that every justification must be inferential: no other kind of justification is possible. | |
From: Carl Ginet (Infinitism not solution to regress problem [2005], p.141) | |
A reaction: This is the key question in discussing whether justification is foundational. I'm not sure whether 'inference' is the best word when something is evidence for something else. I am inclined to think that only propositions can be reasons. |
8837 | Inference cannot originate justification, it can only transfer it from premises to conclusion [Ginet] |
Full Idea: Inference cannot originate justification, it can only transfer it from premises to conclusion. And so it cannot be that, if there actually occurs justification, it is all inferential. | |
From: Carl Ginet (Infinitism not solution to regress problem [2005], p.148) | |
A reaction: The idea that justification must have an 'origin' seems to beg the question. I take Klein's inifinitism to be a version of coherence, where the accumulation of good reasons adds up to justification. It is not purely inferential. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |