Phi 270
Fall 2013
site index
(Site navigation is not working.)

Homework for Philosophy 270, Fall 2013

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

(to PDF format)

(i)

use a derivation to check the following and present a counterexample by using a diagram to present a counterexample that lurks in an open gap:

∀x (Rax → Fx), Raa ⊨ ∀x (Rxa → Fx)

(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 _ ]