more from this thinker | more from this text
Full Idea
We might prefer λx(Fx∧Gx)(a) as the symbolization of 'John is cold and hungry', since it treats 'is cold and hungry' as a single predicate.
Gist of Idea
λ can treat 'is cold and hungry' as a single predicate
Source
Theodore Sider (Logic for Philosophy [2010], 5.5)
Book Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.127
11863 | (λx)[Man x] means 'the property x has iff x is a man'. [Wiggins] |
11176 | The property of Property Abstraction says any suitable condition must imply a property [Fine,K] |
9725 | 'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
13703 | λ can treat 'is cold and hungry' as a single predicate [Sider] |