12 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). |
| 21339 | We want the ontology of relations, not just a formal way of specifying them [Heil] |
| Full Idea: A satisfying account of relations must be ontologically serious. This means refusing to rest content with abstract specifications of relations as sets of ordered n-tuples. | |
| From: John Heil (Relations [2009], Intro) | |
| A reaction: A set of ordered entities would give the extension of a relation, which wouldn't, among other things, explain co-extensive relations (if all the people to my left were also taller than me). Heil's is a general cry from the heart about formal philosophy. |
| 21349 | Two people are indirectly related by height; the direct relation is internal, between properties [Heil] |
| Full Idea: If Simmias is taller than Socrates, they are indirectly related; they are related via their possession of properties that are themselves directly - and internally - related. Hence relational truths are made true by non-relational features of the world. | |
| From: John Heil (Relations [2009], 'Founding') | |
| A reaction: This seems to be a strategy for reducing external relations to internal relations, which are intrinsic to objects, which thus reduces the ontology. Heil is not endorsing it, but cites Kit Fine 2000. The germ of this idea is in Plato. |
| 21340 | Maybe all the other features of the world can be reduced to relations [Heil] |
| Full Idea: A striking idea is that relations are ontologically primary: monadic, non-relational features of the world are constituted by relations. A view of this kind is defended by Peirce, and contemporary 'structural realists' like Ladyman. | |
| From: John Heil (Relations [2009], 'Relational') | |
| A reaction: I can't make sense of this proposal, which seems to offer relations with no relata. What is a relation? What is it made of? How do you individuate two instances of a relations, without reference to the relata? |
| 21348 | In the case of 5 and 6, their relational truthmaker is just the numbers [Heil] |
| Full Idea: We might say that the truthmakers for 'six is greater than five' are six and five themselves. On this view, truthmakers for one class of relational truths are non-relational features of the world. | |
| From: John Heil (Relations [2009], 'Founding') | |
| A reaction: That seems to be a good way of expressing the existence of an internal relation. |
| 21351 | Truthmaking is a clear example of an internal relation [Heil] |
| Full Idea: Truthmaking is a paradigmatic internal relation: if you have a truthbearer, a representation, and you have the world as the truthbearer represents it as being, you have truthmaking, you have the truthbearer's being true. | |
| From: John Heil (Relations [2009], 'Causal') | |
| A reaction: It is nice to have an example of an internal relation other than numbers, and closer to the concrete world. Is the relation between the world and facts about the world the same thing, or another example? |
| 21344 | If R internally relates a and b, and you have a and b, you thereby have R [Heil] |
| Full Idea: A simple way to think about internal relations is: if R internally relates a and b, then, if you have a and b, you thereby have R. If you have six and you have five, you thereby have six's being greater than five. | |
| From: John Heil (Relations [2009], 'External') | |
| A reaction: This seems to work a lot better for abstracta than for physical objects, where I am struggling to think of a parallel example. Parenthood? Temporal relations between things? Acorn and oak? |
| 21350 | If properties are powers, then causal relations are internal relations [Heil] |
| Full Idea: On the conception that properties are powers, it is no longer obvious that causal relations are external relations. Given the powers - all the powers in play - you have the manifestations. | |
| From: John Heil (Relations [2009], 'Causal') | |
| A reaction: This also delivers on a plate the necessity felt to be in causal relations, because the relation is inevitable once you are given the relata. But can you have an accidental (rather than essential) internal relation? Not in the case of numbers. |
| 5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
| Full Idea: The soul, when it has partaken of intelligence and reason and concord, is not merely a work but also a part of god and has come to be not by his agency but both from him as source and out of his substance. | |
| From: Plutarch (67: Platonic Questions [c.85], II.1001) | |
| A reaction: A most intriguing shift of view from earlier concepts of the psuché. How did this come about? This man is a pagan. The history is in the evolution of Platonism. See 'The Middle Platonists' by John Dillon. Davidson is also very impressed by reason. |