This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Consider the following argument that we know to be invalid: 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? Consider this invalid argument in the block’s language of Tarski’s World. How might we give an informal proof here? Adjoins(a, b) SameCol(b, c) FrontOf(c, b) FrontOf(c, a) The formal method for demonstrating logical nonconsequence is to build a counterexample world, using Tarski’s World, in which the premises of the argument are true while the conclusion is false. Formal demonstrations of nonconsequence: Exercise 2.21 Exercise 2.25 Exercise 2.26...
View Full Document
This note was uploaded on 06/06/2011 for the course PHIL 110 taught by Professor ? during the Fall '06 term at South Carolina.
- Fall '06