Homework for Philosophy 270, Fall 2012

(i)

Use derivations to show:

Ra(fc), d = fa, Fb → c = fb ⊨ Fa → (a = b → Rb(fd))

(ii)

Analyze the following in reduced and expanded form, the two ways you used in the homework assignments on §6.1 and §6.2:

Tom didn’t run in the election, but he has met it’s winner

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