Lecture04

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

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

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

View Full Document

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

View Full Document
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 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. Formal Explanation Alfs statement, At least one of us is a Knave, can be expressed as a conjunction of two negations: 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 = Alf is a Knight F = Alf is a Knave Inspection of the table shows that only the second row is possible (since ( A B ) corresponds to a statement of Alfs). ) corresponds to a statement of Alfs)....
View Full Document

This note was uploaded on 04/08/2008 for the course PHIL 3411 taught by Professor Achillevarzi during the Spring '07 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
Ask a homework question - tutors are online