display all the ideas for this combination of texts
2 ideas
18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
Full Idea: Definite descriptions seem to have a logical structure in a way that proper names do not. | |
From: Bernard Linsky (Quantification and Descriptions [2014], 1.1.1) | |
A reaction: Thus descriptions have implications which plain names do not. |
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. |