notes_11_2x2 - Branden Fitelson Philosophy 12A Notes 1 '...

Info iconThis preview shows pages 1–2. 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
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 4

notes_11_2x2 - Branden Fitelson Philosophy 12A Notes 1 '...

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

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