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 Cymande : The Recluse (its funk week). Administrative Stuff HW #1 will be returned today (follow your GSI). HW #1 re-submissions are due on Thursday (4pm, drop box). Homework formatting. Please put the following information: * Name, GSI, section time, and date. on all assignments and exams (upper-right corner of first page). Branden will not have office hours today (back on schedule Thurs). The InClass Mid-term has been moved up 1 week (to March 11). Chapter 2 The Language of Sentential Logic (LSL) Symbolizing individual English sentences into LSL Then: symbolizing entire English arguments into LSL UCB Philosophy Chapter 2 02/02/10 Branden Fitelson Philosophy 12A Notes 2 English LSL III: Symbolizations involving & and We use & to symbolize a variety of English connectives, including: and, yet, but, however, moreover, nevertheless, still, also, although, both, additionally, furthermore (and others) There is often more to the meaning of but, nevertheless, still, although, however (and other such English connectives) than merely and. But, in LSL, the closest we can get to these connectives is &. On the other hand, there are fewer English expressions that we will symbolize using . Typically, these involve either or or either . . . or. But, less typically and more controversially, there is one other English connective we will symbolize as , and that is unless. Seem strange? Intuitively, [ p unless q means something like [ if not q , then p . But, in LSL, [ q p is equivalent to ( means the same as ) [ p q . [Ch. 3.] UCB Philosophy Chapter 2 02/02/10 Branden Fitelson Philosophy 12A Notes 3 English LSL IV: Symbolizations involving (and ) We will use to symbolize many different English expressions. These will be among the most tricky of our LSL symbolizations. It is very important that you remember these various expressions involving ! [ if p then q [ p q [ p implies q [ p q [ p only if q [ p q [ q if p [ p q [ p is a sufficient condition for q [ p q [ q is a necessary condition for p [ p q [ q provided p [ p q [ q whenever p [ p q [ p is contingent upon q [ p q [ p q is equivalent to [ (p q) & (q p) (so mastering is key) UCB Philosophy Chapter 2 02/02/10 Branden Fitelson Philosophy 12A Notes 4 English LSL V: More on Conditionals & Biconditionals [ if p then q and [ q if p both get translated as [ p q ....
View Full Document
This note was uploaded on 04/20/2010 for the course PHIL 63170 taught by Professor Fitelson during the Spring '10 term at University of California, Berkeley.
- Spring '10