Homework for Philosophy 270, Fall 2011

(i)

Use derivations to show:

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

(ii)

[optional] Analyze the following in two ways, as you did in the homework assignments on §6.1 and §6.2:

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

That is, (a) analyze in as much detail as possible, replacing pronouns by their antecedents and aiming for a result in ordinary reduced form. And (b) analyze again (or restate the symbolic result) in an expanded form in which unanalyzed individual terms appear only as often as in the English.