structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

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

[device for referring to an expressed property]

5 ideas
(λx)[Man x] means 'the property x has iff x is a man'. [Wiggins]
The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn]
λ-abstraction disambiguates the scope of modal operators [Fitting]
λ can treat 'is cold and hungry' as a single predicate [Sider]