back to ideas for this text

---

Single Idea 13703

[from 'Logic for Philosophy' by Theodore Sider, in 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

---