Homework for Philosophy 270, Fall 2011

Homework on §3.3—assigned Wed 9/21 and due Fri 9/23

(to PDF format)

Construct a derivation to show the following:

¬ (A ∧ ¬ (B ∧ C)), A ⊨ C

List, for each stage and for the gap you work on at that stage, the proximate argument (i.e., the argument formed from the active resources and the goal) that the gap had before you applied a rule at that stage.

Notice that, for A: Ann was there, B: Bill was there, C: Carol was there, the first premise of the argument above amounts to Ann wasn’t there without Bill and Carol both being there.