display all the ideas for this combination of texts
2 ideas
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
From: George Boolos (On Second-Order Logic [1975], p.46) | |
A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
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. |