This preview shows pages 1–2. Sign up to view the full content.
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 Neil Young & Crazy Horse : Down by the River Administrative Stuff HW #2 will be returned Wednesday. Resub due Friday. See my HW Tips & Guidelines Handout, pertaining to HW #2. Well catch-up to the homework today (and next time). Next: Chapter 3, Continued LSL Semantics Truth-Functional Semantics for LSL Connectives Justifying our Fundamental Idealization T-F semantics and Constructing truth-tables for individual LSL sentences. Logical properties of individual sentences and pairs of sentences. Next: truth-table methods for LSL validity testing. UCB Philosophy Chapter 3 (Contd) 09/22/08 Branden Fitelson Philosophy 12A Notes 2 ' & Abstract Argument Logical Form LSL / LMPL / LFOL Symbolization Chapters 2, 5 & 7 English Argument Valid Form? Deciding Formal Validity Chapters 3 , 4, 6 & 8 Valid English Argument? Valid Abstract Argument? Articulation of Thought in English UCB Philosophy Chapter 3 (Contd) 09/22/08 Branden Fitelson Philosophy 12A Notes 3 ' & $ % p p p q p & q p q p q p q p q p q p q UCB Philosophy Chapter 3 (Contd) 09/22/08 Branden Fitelson Philosophy 12A Notes 4 ' & Chapter 3 Semantics of LSL: Additional Remarks on Above, I explained why our conditional behaves like a disjunction: 1. We want a truth-functional semantics for . This is a simplifying idealization . Truth-functional semantics are the simplest compositional semantics for sentential logic. [A Newtonian semantic model.] 2. Given (1), the only way to define is our way, since its the only binary truth-function that has the following three essential logical properties: (i) Modus Ponens [ p and [ p q q ] is a valid sentential form. (ii) Affirming the consequent [ q and [ p q p ] is not a valid form. (iii) All sentences of the form [ p p are logical truths. There are non-truth-functional semantics for the English conditional. These may be closer to the English meaning of if. But, they agree with our semantics for , when it comes to the crucial logical properties (i)(iii). Indeed, our captures most of the (intuitive) logical properties of if....
View Full Document
This note was uploaded on 09/23/2009 for the course PHIL 12A taught by Professor Fitelson during the Spring '08 term at University of California, Berkeley.
- Spring '08