display all the ideas for this combination of texts
2 ideas
11863 | (λx)[Man x] means 'the property x has iff x is a man'. [Wiggins] |
Full Idea: The Lambda Abstraction Operator: We can write (λx)[Man x], which may be read as 'the property that any x has just if x is a man'. | |
From: David Wiggins (Sameness and Substance Renewed [2001], 4.2) | |
A reaction: This technical device seems to be a commonplace in modern metaphysical discussions. I'm assuming it can be used to discuss properties without venturing into second-order logic. Presumably we could call the property here 'humanity'. |
11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
Full Idea: Two ways to see 'all horses are animals' are as picking out all the horses (so that it is a 'horse-quantifier'), ..or as ranging over lots of things in addition to horses, with 'horses' then restricting the things to those that satisfy 'is a horse'. | |
From: Michael Jubien (Analyzing Modality [2007], 2) | |
A reaction: Jubien says this gives you two different metaphysical views, of a world of horses etc., or a world of things which 'are horses'. I vote for the first one, as the second seems to invoke an implausible categorical property ('being a horse'). Cf Idea 11116. |