Homework for Philosophy 270, Fall 2009

Homework on §7.7—assigned Mon 11/16 and due Wed 11/18

(i) use a derivation to check the following and present a counterexample by using a diagram to describe a structure that divides an open gap:

∀x (Sx → ¬ Gox), ∀x Gxx ⊨ ∀x (Sx → ¬ Gxo)

(ii) analyze and restate using unrestricted quantifiers:

No one who attempts everything finishes anything

(iii) synthesize an English sentence that has the following analysis:

(∀x: Bx) ¬ (∀y: Py) Rxy
B: [ _ is a book]; P: [ _ is a person]; R: [ _ has been read by _ ]