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. |
15091 | Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker] |
Full Idea: I favour restricting the term 'logical truth' to what logicians would count as such, excluding both analytic truths like 'Bachelors are unmarried' and Kripkean necessities like 'Gold is an element'. | |
From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I) | |
A reaction: I agree. There is a tendency to splash the phrases 'logical truth' and 'logical necessity around in vague ways. I take them to strictly arise out of the requirements of formal systems of logic. |