This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Consider the following invalid argument: All actors who win academy awards are famous. Harrison Ford has never won an academy award. Harrison Ford is not famous How might we demonstrate informally that the conclusion of this argument is not a consequence of the given premises? The formal method for demonstrating logical nonconsequence is to build a counterexample world, using Tarskis World, in which the premises of the argument are true while the conclusion is false. Consider this invalid argument expressed in the blocks language of Tarskis World. How might we build a formal counterexample? Adjoins(a, b) SameCol(b, c) FrontOf(c, b) FrontOf(c, a) Another demonstration of nonconsequence: Exercise 2.21...
View Full Document
This note was uploaded on 02/10/2011 for the course PHIL 110 taught by Professor ? during the Spring '06 term at South Carolina.
- Spring '06