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 & Such • Explosions in the Sky : The Only Moment We Were Alone • Administrative Stuff – HW #2 solutions posted. [Don’t sweat symbolizations too much.] + Hints to controversial problems were on my “tips” handout. – I have posted two handouts: (1) solutions to problems from lecture on logical truth, equivalence, etc., and (2) three examples of the “short” truthtable method for validity (to be discussed today). + Make sure you study my handouts. They tend to be useful. – HW #3 due Friday, usual drill (truthtable methods for validity). • Today: Chapter 3, Finalé — Two Final Topics on LSL Semantics – Some facts about semantic the semantic consequence relation ( ). – Expressive Completeness. • Next: Chapter 4 — Natural Deduction Proofs for LSL – Natural deductions are the most challenging topic of the course. UCB Philosophy Chapter 3 Finalé 10/01/08 Branden Fitelson Philosophy 12A Notes 2 ' & Properties of the Semantic Consequence Relation: • The following four metalinguistic statements are synonymous: – The argument p 1 , p 2 , . . . , p n ∴ q is valid . – q follows from p 1 , p 2 , . . . , p n . – p 1 , p 2 , . . . , p n (jointly) entail q . – p 1 , p 2 , . . . , p n q • Here are some important properties of with explanations: – p p * Every interpretation on which p is true is an interpretation on which p is true. That is, all pinterpretations are pinterpretations. – If p q and q r , then p r . * If all pinterpretations are qinterpretations and all qinterpretations are rinterpretations, then all pinterpretations are rinterpretations. UCB Philosophy Chapter 3 Finalé 10/01/08 Branden Fitelson Philosophy 12A Notes 3 ' & $ % * Remember: the following argument is valid (but not sententially!). All P s are Q s. All Q s are R s. ∴ all P s are R s. * More on arguments like this in the second half of the course . . . – If p r , then p & q r . * If all pinterpretations are rinterpretations, then all (p & q)interps are rinterpretations [since all (p & q)interpretations are pinterpretations!]. – (p & q) r if and only if p,q r * If all p & qinterpretations are rinterpretations, then all { p,q }interpretations are rinterpretations (pretty obviously). – p q if and only if p → q * If all pinterpretations are qinterpretations, then all interpretations (whatsoever) are (p → q)interpretations. * p → q is a tautology [ p → q ] iff there is no interpretation on which p is true and q is false, which is just the definition of p q ! UCB Philosophy Chapter 3 Finalé 10/01/08 Branden Fitelson Philosophy 12A Notes 4 ' & Expressive Completeness • In LSL, we have five connectives: h∼ , & , ∨ , → , ↔i . But, we don’t “need” all five. We can express all the same propositions with fewer connectives....
View
Full Document
 Spring '08
 FITELSON
 Philosophy, Logic, Branden Fitelson, Philosophy 12A Notes

Click to edit the document details