ࡱ> ceb'`  bjbj{P{P .X::JJJJJJJF'F'F'F'b' r0*(@(@(@(@()))///////$(1h30J)))))0JJ@(@(,0***)J@(J@(/*)/**,JJ-@(( `C׳F')X,m-B00r0,<41*v<4--8<4J9-4))*)))))00* )))r0)))) B B^DTJJJJJJ Course Syllabus: Introduction to Logic, Summer 2010JamesSimmons jamesasimmons@hotmail.com Office: Seminary Place 1, Room Office Hours: By Appointment Phone: skype name: introduction.to.logic My email address is  HYPERLINK "mailto:jsimmons@philosophy.rutgers.edu" jsimmons@philosophy.rutgers.edu Email sent to the hotmail address listed on the ecollege site may be missed. Course DescriptionThis is a first course in logic. No previous knowledge of logic, philosophy or mathematics is required. The course will provide an introduction to the central concepts of logic and the language of first-order logic (FOL). We will learn how to construct formal proofs in both propositional and quantificational logic. This is a hybrid course, which means that it combines traditional face-to-face teaching methods with an online teaching component. You will all be familiar with the requirements of a face-to-face class: you must come to class, ask questions, contribute to discussions and present solutions to problems. You may be less familiar with the requirements of a hybrid course. In addition to the requirements of a traditional face-to-face class (though with less actual class time), you are expected to: contribute to online discussions (there are both guided discussion threads, designed to engage a particular issue, and general discussions, designed as a forum for you to raise problems and questions more generally about the material we cover); complete the online reading comprehension quizzes before the end date of each unit (unit end dates can be found in the Schedule, under Course Home, and in the Calendar). Each quiz will be password locked, and you will be given a five day period to complete them; participate in the scheduled ClassLive problem sessions (ClassLive sessions can be found under the Chat tab), during which we will work through practice problems together; and work cooperatively in small groups to solve assigned problems, for submission either to the eCollege site, or for presentation in class. In order to facilitate this small group work, each small group has an assigned, private chat room, which can be found under the Chat tab. How much participation in online discussions and ClassLive sessions is required? Obviously, there is no easy answer to this question. What I would like is for the online discussion threads to act as a knowledge source for you to return to throughout the course, and to this end I would ask you to raise all of your questions in the appropriate threaded discussion. (Of course, you must ask questions during regular class time as well.) Even if you have no comprehension questions, you can contribute to the threads by helping your fellow students out, and contributing to discussions on issues of which you have a firm grasp. I would like to see at least one contribution per unit per student, though your contribution may be as little as a simple genuine question. Class attendance is required. We have too few sessions together to regularly skip them and expect to do well. Course Policies and ProceduresStudents should be aware of and abide by Rutgers Academic Honesty Policies, available here: http://academicintegrity.rutgers.edu/integrity.shtmlGrading PolicyYour final grade will be determined by the quality of your homework, your performance on the online reading comprehension quizzes, your in-class and online participation (including attendance), and your scores in the midterm and final exams. 10% Homework Assignment 1 10% Homework Assignment 2 15% Midterm Exam 10% Homework Assignment 3 10% Homework Assignment 4 10% Online Reading Comprehension Quizzes 10% Participation (in class/contribution to online discussion threads, etc.) 25% Final Exam A 90 B+ 85 B 80 C+ 75 C 70 D 60 F <60 A note about logic: you may find that, at the beginning of the course, the material is easy to understand, and the reading comprehension quizzes and homeworks require little effort. If that is the case, don't be seduced into thinking that you can get an A in the course without doing any work. The material in the second half of the course is much harder, and it will take (for most of you) lots of thought, reading and question-asking to master. On the other hand, you may find logic difficult and unintuitive from the outset. If this is the case, do not think that it will get easier. The material covered in this class is cumulative: if you do not understand what we do in the first class, you will not understand what we do in the second. If you're finding the work tough-going, we must address the problem immediately. Ask every question you have, and do not be worried that your questions are confused, trivial or stupid: most of your classmates will be wanting an answer to the very same question. Textbook(s)The textbook contains a software package and a non-transferable registration ID# for an online grading system that we will be using throughout the semester. As such, each student enrolled in the course will have to buy a new copy of the textbook package. Required: Language, Proof and Logic -- Barwise, J. and Etchemendy, J. CSLI, 2007LocationMondays 10:10-12:00pm, Scott Hall, 219. Wednesday Meetings online at a time to be arranged.Virtual Office HoursI will hold virtual office hours on Tuesdays, 6pm until 8pm, and by appointment. To come to my virtual office hours, you will need to download skype from http://www.skype.com/ and then search for my course account, which is under the username introduction.to.logic. Schedule July 12th: Introduction, Atomic Sentences & The Logic of Atomic Sentences Reading: pp. 1 - 15, pp. 19 - 31, pp. 41 - 66. July 14th: The Boolean Connectives & Their Logic Reading: pp. 67 - 89, pp. 93 - 117. July 19th Methods of Proof for Boolean Logic Reading: pp. 127 - 140. July 21 & July 26: Formal Proofs and Boolean Logic & Conditionals and the Logic of Conditionals. Reading: pp. 142 - 175, pp. 176 - 197, pp. 198 - 213. July 28th: Introduction to Quantification Reading: pp. 227 - 251. August 2nd: Midterm Exam on Propositional Logic August 4th: The Logic of Quantifiers, Multiple Quantifiers & Methods of Proof for Quantifiers Reading: pp. 257 279, pp. 289-304, pp. 319-337. August 9th & August 11th: Formal Proofs and Quantifiers Reading: pp. 342 - 363 August 16th: Final Exam 345?L  8 9 56_` he<jheUjheU he0Jj_heU he0JjheU hey(he0JCJaJheheCJaJ h5hhe5A45?; S`kd$$If-0!  634-ap $If?kd$$If-!634-a$If  ^ {s`kd$$If-0!  634-ap $If & Fdd$If[$\$gde $Ifgde $$Ifa$  $If $$Ifa$`kd$$If-0!  634-ap $If90 $$Ifa$`kd$$If-0!  634-ap $If`kdO$$If-0!  634-ap wykd$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab$IfK$$If}}$IfK$ykd$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykdi$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab5}}$IfK$ykd$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab56:_}}$IfK$ykd$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab_`d}}$IfK$ykdp$IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd $IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-abxpp$IfK$ $If[$\$ykd $IfK$L$-08c0ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykdw $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd$ $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd~ $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd+ $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab}}$IfK$ykd $IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab`kd2$$If-0!  634-ap $Ifykd$IfK$L$-00ffffffffffff6ffffffffffffffffffffffff34-ab=>?GHKSU}J   T ǼDZǼDZǧǼDZǧǼǧDZǧhe5H*\hehe5\hehe5H*\h<8he5H*\ he5\he5CJ\aJhehe5 he5 he0JjheUheheCJaJ>=$If $$Ifa$`kdj$$If-0!  634-ap $If=>H-`kd$$If-0!  634-ap $If $$Ifa$gde`kd$$If-0!  634-ap KL}gde$a$gde`kd $$If-0!  634-ap $If $$Ifa$JT gde hcNh<8he5H*\he he5\,1h/ =!"#$% ]$$If!vh5"#v":V -6,534-Dd\  3 S" 88$$If!vh5%5#v%#v:V -  6,534-p $$If!vh5%5#v%#v:V -  6,5534-p Dd\  3 S" 88$$If!vh5%5#v%#v:V -  6,534-p $$If!vh5%5#v%#v:V -  6,5534-p Dd\  3 S" 88$$If!vh5%5#v%#v:V -  6,534-p $IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh505+#v0#v+:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$IfK$L$5!vh55#v#v:V -0ffffffffffff6,5/ fff34-$$If!vh5%5#v%#v:V -  6,5534-p Dd\  3 S" 88$$If!vh5%5#v%#v:V -  6,534-p $$If!vh5%5#v%#v:V -  6,5534-p $$If!vh5%5#v%#v:V -  6,534-p $$If!vh5%5#v%#v:V -  6,5534-p @@@ NormalCJ_HaJmH sH tH DA@D Default Paragraph FontRi@R  Table Normal4 l4a (k(No List*W@* eStrong5\B^@B e Normal (Web)dd[$\$4U@4 e Hyperlink >*phX!z!z!z z  45?;^{  56:_`d=>HKL}JT!m 6# (x(x(x(x(x(x(xY4 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!45?;^{  56:_`d=>HKL}JT0 0 0 0000 0 0 00 0 0 0 00000 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 00000000000000000000000000000000045?;  56:_`d=>HK0J  K0K0K0K0K0yG' K0K0 N @RI0 MI0 K@I0@ K0K0@e\ K0K0@p K0 K0 @0 K0 K0 K0 K0 `HYt K0K0@ K0K0@4 K0K0@J K0K0@J f K0K0@/ K0K0b@0 K0K0@ K0 K0K0K0@0 K0K0@,^>^ K0 K0 @n^_ K0"K0"@r_j_ K0$K0$@ K0&K0&@L K0(K0(@L K0*@ K0,K0,D K0 K0.K0.K0.@ K00K00@ K02K02@  0  &+ 5_=  !"#$%'()* 8X8@0(  B S  ?/3?DELks #-IN5{<:::::: d>H5L1d^`.^`.pp^p`.@ @ ^@ `.^`.^`.^`.^`.PP^P`.L1i_`*\HK!_cN?#)e45?  56:_`d=>H@xWP@UnknownGz Times New Roman5Symbol3& z Arial"1hzzz< -< -!4 3HP)?e23Course Syllabus: Introduction to Logic, Summer 2010James alipovsky Oh+'0$ 8D d p | 4Course Syllabus: Introduction to Logic, Summer 2010James Normal.dot alipovsky2Microsoft Office Word@Ik@ N@S@S<՜.+,D՜.+,l( hp  Hewlett-Packard- ' 4Course Syllabus: Introduction to Logic, Summer 2010 Title 8@ _PID_HLINKSA=\'mailto:jsimmons@philosophy.rutgers.edu  !"#$%&'()*+,./012345689:;<=>?@ABCDEFGHIJKLMNOPQSTUVWXY[\]^_`adRoot Entry F`%׳fData -1Table7L4WordDocument.XSummaryInformation(RDocumentSummaryInformation8ZCompObjq  FMicrosoft Office Word Document MSWordDocWord.Document.89q