Gillian Russell : Courses: Phil 100 Spring 2011 17/01/2011 16:25 Phil 100 : Logic and Critical Analysis (Spring 2011) Course website: http://www.artsci .wustl .edu/~grussel I/Phil 100S2011 .htm! Textbook: Language, Proof and Logic, by Barvvise and Etchemendy (you must by a new copy of this book, and take good care of your registration ID) Book website: http://ggww2.stanford.edu/GUS/lpl/ Class Times: Tuesdays and Thursdays at 11.30- 1pm Class Location: Busch 100 Instructor: Gillian Russell Email: grussell - at - artsci - dot - wustl - dot - edu Office Hours: Thursday 3-4pm or by appointment, Wilson Hall 209 Teaching Assistants: Nazim Keven Email: nkeven AT wustl DOT edu Office Hours: Tuesday and Thursday, 1:30 to 2:30pm If your last name starts with A-K, Nazim is your TA. Felipe Romero Email: cfromero AT wustl DOT edu Office Hours: Wednesdays and Fridays 4-5pm. If your last name starts with L-Z, Felipe is your TA. Course Description: This course is an introduction to logic for students with no previous experience with the subject. Losic is the formal study of arguments, where argument is intended in a very specific sense. Whenever anyone puts forward a set of reasons for accepting sentence, e.g.: = Most scientists are alarmists, so gobal warming is not a serious problem. If Israel goes into the war, then the casualties will be much higher. But Israel will not go into the war, so casualty levels will be low. they are providing an argument. An argument in our sense is a sequence of statements, one of which is supposed to follow from, o be supported by, the others. In logic we are interested in characterising what makes an argument a good argument. In this course we will study the semantics and proof theory for truth-functional logic and first order predicate logic with quantifiers, concluding with soundness and completeness proofs.
Transcript
Gillian Russell : Courses: Phil 100 Spring 201117/01/2011 16:25
Phil 100 : Logic and Critical Analysis (Spring 2011)Course website: http://www.artsci .wustl .edu/~grussel I/Phil 100S2011 .htm!
Textbook: Language, Proof and Logic, by Barvvise and Etchemendy(you must by a new copy of this book, and take good care of your registration ID)
Book website: http://ggww2.stanford.edu/GUS/lpl/Class Times: Tuesdays and Thursdays at 11.30- 1pm
Class Location: Busch 100
Instructor: Gillian RussellEmail: grussell - at - artsci - dot - wustl - dot - edu
Office Hours: Thursday 3-4pm or by appointment, Wilson Hall 209
Teaching Assistants:
Nazim KevenEmail: nkeven AT wustl DOT edu
Office Hours: Tuesday and Thursday, 1:30 to 2:30pmIf your last name starts with A-K, Nazim is your TA.
Felipe RomeroEmail: cfromero AT wustl DOT edu
Office Hours: Wednesdays and Fridays 4-5pm.If your last name starts with L-Z, Felipe is your TA.
Course Description:This course is an introduction to logic for students with no previous experience with the subject. Losic is the formal study ofarguments, where argument is intended in a very specific sense. Whenever anyone puts forward a set of reasons for acceptings e n t e n c e , e . g . : =
Most scientists are alarmists, so gobal warming is not a serious problem.
If Israel goes into the war, then the casualties will be much higher. But Israel will not go into the war, so casualty levels will below.
they are providing an argument. An argument in our sense is a sequence of statements, one of which is supposed to follow from, obe supported by, the others. In logic we are interested in characterising what makes an argument a good argument.
In this course we will study the semantics and proof theory for truth-functional logic and first order predicate logic withquantifiers, concluding with soundness and completeness proofs.
Gillian Russell : Courses: Phil 100 Spring 2011
SyllabusSections marked "optional" on the book's content's page are not required reading unless I explicitly say that they are to be read(below or in class.)
wSe Uis time to familiarize yourself with the computer software, snrrino mjt technical Droblemi sn that vm birw «,-w — a—doing when it is time to submit the first graded homework assignment. There will be a practice assignment and you shouldcomplete this and submit it to your TA as a way of familiarising yourself with process.
Week 2 - 25th and 27th January
Chapter 2 : The Logic of Atomic SentencesChapter 3 : The Boolean Connectives - including section 3.8
Week 3 - 1st and 3rd February
Chapter 4 : The Logic of Boolean Connectives - including sections 4.5 and 4.6Chapter 5 : Methods of Proof for Boolean Logic
Week 4 - 8th and 10th February
Chapter 6 : Formal Proofs and Boolean Logic - including section 6.6 on proofs without premises
Week 5 - 15th and 17th February
Chapter 7: ConditionalsChapter 8 (except 8.3): The Logic of Conditionals
Week 6 - 22nd and 24th February
Chapter 8, section 8.3: SoundnessChapter 9 : Introduction to Quantifiers
Week 7 - 8th and 10th March
Tuesday 8th March: Review session for the midtermThursday 10th March : Midterm Examination
Week 8 - 15th and 17th March
SPRING BREAK!
Week 9 - 22nd and 24th March
Chapter 10: The Logic of QuantifiersChapter 11: Multiple Quantifiers
Week 10 - 29th and 31st March
Chapter 12: Methods of Proof for QuantifiersChapter 13: Formal Proofs and Quantifiers
Week 11 - 5th and 7th April
Chapter 14: More about QuantificationChapter 15: First order Set Theory
Week 12 - 12th and 14th April
Gillian Russell : Courses: Phil 100 Spring 201117/01/2011 16:25
Chapter 16: Mathematical InductionChapter 17: Advanced Topics in Propositional Logic
Week 13 - 19th and 21st April
Chapter 18 : Advanced Topics in FOL (18.1-18.3 only)
No class on Thursday 21st April (I'll be at the Pacific APA.)
Sf^UbJCfiS•I"5615' mathematical in nature ™d assessment in this course will be by way of 6 problem sets to be done at home(60%), and midterm (20%) and final (20%) examinations. Problem sets should be turned in to your TA, not to Professor Russell.
Assignments for this course can be downloaded as .pdf files from the table below.
Policy on Late WorkLate work will incur a penalty at a rate of 20 percent of the total possible grade every 24 hours.
cademic MisconductIt is very important that you understand the rules for collaboration on this course. You may work with other students in order to
soleras in your take-home problem sets, in fact, this is encouraged. However each student must write up his or her ownsolutions alone. You may not do it with another student looking over your shoulder to correct you. You may not do this from noteswhich another student has made, nor may you make notes on another student's written solutions. You may not lend or copy distalor paper homework solutions - at any stage of completion. Collaboration is, of course, completely forbidden during the midtermand final examinations. Sometimes it is unclear whether a hypothetical case of collaboration is permissible according to theserules, or whether it counts as misconduct, but it is your duty to ensure that ALL your collaborations are clearly permissible Onegood way to do this is not to take any written notes whilst working with other students: use a chalk board or white board to workout ideas or, if you use paper, dispose of the written solutions before you separate to write up your individual homeworks alone
on th??F? w iT/r TrTSpT0PKhitCacted,meChaniSmS f°r det6Cting Plagiarism and l SUggest y™ -d about these mechanismson the LPL website and in the LPL book. Students suspected of plagiarism or any other form of academic dishonesty ormisconduct will be reported to the academic integrity officer for Arts and Sciences (currently Dean Killen), so that the incidentmay be handled in a consistent, fair manner, and so that substantiated charges of misconduct may be noted in students' records
Homework Assignments
ST-?. aSSig"rnentS """I beud°wnl°aded fr°m thiS taWe- Handwritten parts to be "turned in" go in the appropriate file of theturn in filing cabinent m the philosophy department office in Wilson Hall by 3.30pm on the day they are due. Files to be
vnST T I 2 ?rinde, SlTld bC SEnt t0 y°Ur TA ("0t t0 Pr°feSSOr RusselI) before midni§ht' s° P'ease make sure thatyou have entered the right email address in Submit.
