Homework for Philosophy 270, Fall 2009

Homework on §6.3—assigned Mon 10/26 and due Wed 10/28

(i) Use derivations to show:

a = b, c = fd, Ra(fc) ⊨ (a = c → fb = fc) ∧ (b = c → R(fd)(fa))

(ii) Analyze the following in both expanded form (i.e., using variables and abstracts to represent pronouns) and in ordinary reduced form, and restate the results in English notation:

If Ralph is the author of the story, then he knows its ending