This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Branden Fitelson Philosophy 12A Notes 1 Announcements &amp; Such Branden is in Chicago all of this week. Hell return next week. HW #2 resubmissions are due Today (4pm, drop box). Please attach your original assignment to your resub! See my HW Tips &amp; Guidelines Handout. [Were now caughtup.] Make sure you have problem #12 from p. 33 of the 4 th printing. Its about the Mayors election (and the council members). HW #3 has been posted. 1stsubmission is due next Thursday. I have posted a handout with solutions to (some of) the lecture problems on logical truth, logical falsity, equivalence, consistency, etc. I have also posted a handout on the short truthtable method, which we will be going over in lecture sometime very soon. Today: Chapter 3, Continued (TruthTable methods for validity testing) UCB Philosophy Chapter 3 02/18/10 Branden Fitelson Philosophy 12A Notes 2 Semantic Equivalence, Contradictoriness, etc .: Relationships What are the logical relationships between [ p and q are equivalent , [ p and q are consistent , [ p and q are contradictory , and [ p and q are inconsistent ? That is, which of these entails which (and which dont)? Equivalent Contradictory ? ? Consistent Inconsistent Answers: 1. Equivalent Consistent ( example ?) 2. Consistent Equivalent ( example ?) 3. Contradictory Inconsistent ( why ?) 4. Inconsistent Contradictory ( example ?) UCB Philosophy Chapter 3 02/18/10 Branden Fitelson Philosophy 12A Notes 3 Semantic Equivalence: Example #1 Recall that [ p unless q translates in LSL as [ q p . Weve said that we can also translate [ p unless q as [ p q . This is because [ q p is semantically equivalent to [ p q . We may demonstrate this, using the following joint truthtable. p q q p p q The truthtables of [ p q and [ q p are the same. Thus, q p p q . UCB Philosophy Chapter 3 02/18/10 Branden Fitelson Philosophy 12A Notes 4 Semantic Equivalence: Example #2 [ p q is an abbreviation for [ (p q) &amp; (q p) . The following truthtable shows it is a legitimate abbreviation: p q (p q) &amp; (q p) p q [ p q and [ (p q) &amp; (q p) have the same truthtable. Thus, p q (p q) &amp; (q p) . UCB Philosophy Chapter 3 02/18/10 Branden Fitelson Philosophy 12A Notes 5 Semantic Equivalence: Example #3 Intuitively, the truthconditions for exclusive or ( ) are such that [ p q is true if and only if exactly one of p or q is true....
View
Full Document
 Spring '10
 FITELSON
 Logic, Branden Fitelson, Philosophy 12A Notes

Click to edit the document details