Single Idea 13703

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

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 Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.127