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'. |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |