display all the ideas for this combination of texts
2 ideas
12766 | Logical space is abstracted from the actual world [Stalnaker] |
Full Idea: Logical space is not given independently of the individuals that occupy it, but is abstracted from the world as we find it. | |
From: Robert C. Stalnaker (Anti-essentialism [1979], p.85) | |
A reaction: I very much like the second half of this idea, and am delighted to find Stalnaker endorsing it. I take the logical connectives to be descriptions of how things behave, at a high level of generality. |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |