display all the ideas for this combination of texts
2 ideas
| 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. |
| 19581 | A problem is a solid mass, which the mind must break up [Novalis] |
| Full Idea: A problem is a solid, synthetic mass which is broken up by means of the penetrating power of the mind. | |
| From: Novalis (Logological Fragments I [1798], 04) |