Lecture04 - PHIL V3411 / PHIL G4415 • Introduction to...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon

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

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: PHIL V3411 / PHIL G4415 • Introduction to Symbolic Logic Lecture 4 Sentential Logic: Truth-tables, Logical equivalence INTRODUCTION TO SYMBOLIC LOGIC, LECTURE 4 P. 1 A Puzzle You are on an island where there are two kinds of inhabitants: 1) Knights, who always tell the truth 2) Knaves, who always lie. You meet two of them, Alf and Beth. Alf says: At least one of us is a Knave. What are Alf and Beth? Solution Alf cannot be a Knave, since if he were, what he says would be true (which is impossible: Knaves always lie). So he must be a Knight. But if he is a Knight, then what he says is true. So the other person, Beth, must be a Knave. INTRODUCTION TO SYMBOLIC LOGIC, LECTURE 4 P. 2 Formal Explanation Alf’s statement, At least one of us is a Knave, can be expressed as the negation of a conjunction: We are not both Knights i.e. It is not the case that (Alf is a Knight and Beth is a Knight) which has the logical form ¬ ( A ∧ B ) We can construct a truth-table for this expression: A B A ∧ B ¬ ( A ∧ B ) T T T F T F F T F T F T F F F T Note: T means that Alf is a Knight F means that Alf is a Knave Inspection of the table shows that only the second row is possible (since ¬ ( A ∧ B ) corresponds to a statement of Alf’s). ) corresponds to a statement of Alf’s)....
View Full Document

This note was uploaded on 10/05/2008 for the course PHIL V3411 taught by Professor Varzi during the Spring '08 term at Columbia.

Page1 / 9

Lecture04 - PHIL V3411 / PHIL G4415 • Introduction to...

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

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