Combining Texts

Ideas for 'General Facts,Phys Necessity, and Metaph of Time', 'Sameness and Substance Renewed' and 'Ontological Categories'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names

13134	We negate predicates but do not negate names [Westerhoff]
	Full Idea: We negate predicates but do not negate names.
	From: Jan Westerhoff (Ontological Categories [2005], §88)
	A reaction: This is a point for anyone like Ramsey who wants to collapse the distinction between particulars and universals, or singular terms and their predicates.

5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction

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'.