LPL_2.5_lecture

LPL_2.5_lecture - Consider the following argument that we know to be invalid All actors who win academy awards are famous Harrison Ford has never

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Nonconsequence Not only can we prove that an argument is valid (that is that its conclusion is a logical consequence of its premises), but we can also prove that an argument is invalid (that its conclusion is not a logical consequence of its premises). Demonstrating logical consequence requires that we give either an informal proof on paper or a formal proof in Fitch showing that from a given set of premises we can derive the desired conclusion. Demonstrating logical nonconsequence requires that we give a counterexample to the given argument. This can be done either informally or formally. The informal method for demonstrating nonconsequence is to describe in English a situation in which all the premises of an argument are true while the conclusion remains false. These sorts of proofs will mirror our informal proofs of logical consequence.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 2

LPL_2.5_lecture - Consider the following argument that we know to be invalid All actors who win academy awards are famous Harrison Ford has never

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online