Introduction to Logic
Lecture: CHEM 100, Monday/Wednesday 5:45 pm-6:35 pm
501: Thursday 2:20-3:10 pm
503: Friday 9:10-10:00 am
504: Friday 10:20-11:10 am
505: Friday 11:30 am-12:20 pm
506: Friday 12:40-1:30 pm
Professor: Kenny Easwaran, easwaran AT tamu DOT edu
Office: YMCA Building 314, (979) 847-6128
Office Hours: Monday/Wednesday 4-5 pm, or by appointment.
Rob Reed, rpr82 AT tamu DOT edu - Thursday 2:20, Friday 8:00, 9:10
Dana Gutierrez, dana.gutierrez AT tamu DOT edu - Friday 10:20, 11:30, 12:40
Dong An, dong_an AT tamu DOT edu - Friday 1:50, 3:00, 4:10
In addition to meeting with your TA during sections, and office hours with me or them, Lawson Hamilton is available for supplemental instruction. He will run three weekly study sessions:
HECC (Harrington) 202
There is also a Facebook group:
Text: Language, Proof, and Logic by John Barwise and John Etchemendy
You can buy an electronic copy, which includes all software, online for $55 here.
Assignments and Grading Policies:
You can also buy a hard copy on the same site, or at the campus bookstore.
Be careful if buying a used copy - it might not be possible to get a license for the software that will allow you to submit assignments!
There are four types of assignments in this class. Weekly exercises to do during sections, weekly homework exercises to do at home, due Mondays at noon, midterm exams (Oct. 5 and Nov. 16), and a final exam (Dec. 9). Each of these will contribute 25% of the final grade.
Most weekly exercises (both in-section and homework) will be turned in to your TA using the software that comes with the book. You can download the software from the site or using a CD that comes with the hard copy. If you don't have access to a computer that can install the software, it is installed on the computers in YMCA 114, as well as on all Open Access Lab computers on campus.
You will need a "Grade Grinder key" that you will get when you purchase the book, and this key cannot be shared. Once you associate an e-mail address with this key, you can only change the e-mail address once, so be sure to use the address that you plan to use for all your school work!
This course introduces students to the central concepts of deductive and inductive logic. This gives students training and practice in abstract reasoning of a type applicable to every subject matter. The specific method involves the construction and analysis of very precise artificial languages to supplement the imprecise natural languages we speak.
We begin with the general conceptual issues of deductive logic, as the study of what conclusion must be true if some premises are true. We develop this in detail starting first with the role of Boolean logic (and, or, not), and continuing with conditionals and quantifiers (if/then, every, some). In the final few weeks we introduce the concepts of probability and inductive logic - what it takes for some premises to give us a good reason to believe a conclusion, even if they don't guarantee it.
I strongly encourage you to discuss your work with other students. You can learn a lot by trying to explain something to someone else, and finding out that there's a step you don't quite understand yourself, and then figuring it out together. However, when you finish working through an assignment, you must write it up and submit it yourself, so that we can see how you individually are doing with the material. For the automatically graded assignments sent through the Submit program, the computers will recognize if you've just copied someone's file - you must create your own file even if you are submitting the same answer. For assignments involving writing, which will be given directly to your TA (they will let you know whether they prefer e-mail or hard copy), you should indicate at the top who you worked with.
The Americans with Disabilities Act (ADA) is a federal anti-discrimination statute that provides comprehensive civil rights protection for persons with disabilities. Among other things, this legislation requires that all students with disabilities be guaranteed a learning environment that provides for reasonable accommodation of their disabilities. If you believe you have a disability requiring an accommodation, please contact Disability Services, currently located in the Disability Services building at the Student Services at White Creek complex on west campus or call 979-845-1637. For additional information, visit http://disability.tamu.edu.
You are not required to look at any of this material, but you might find it helpful or interesting.
Basic logical concepts
Aug. 29, 31
Reading: Chapter 1, sections 1-4
Getting started: submit exercise 1.2 by 5:00 pm on 8/31
Due to delays in getting the book, this first exercise is canceled.
Section 1: 1.4, 1.7 (full credit if attended)
Homework 1: Exercises 1.8 (6 pts) and 1.10 (8 pts), e-mailed to your TA by noon on Monday, Sept. 5. If you don't have the book yet, the relevant pages are here.
Sept. 5, 7
Reading: Chapter 2, sections 1-5
Section 2: 2.8, 2.10, 2.11, 2.24, 2.25, 2.27 (full credit if attended)
Homework 2: Exercises 2.2 (7 pts), 2.7 (3 pts), 2.22 (1 pt) from the book, e-mailed to your TA by noon on Monday, Sept. 12.
Sept. 12, 14
Reading: Chapter 3, sections 1-7
Section 3: 3.6, 3.9, 3.14, 3.15 (10 pts each), 3.18 (22 pts)
Homework 3: Exercises 3.13, 3.21 (12 pts each), 3.22, due using the Submit program by noon on Monday, Sept. 19.
Sept. 19, 21
Reading: Chapter 4, sections 1-4
Section 4: 4.4, 4.6, 4.12, 4.15, 4.22 (full credit if attended)
Homework 4: Exercises 4.8, 4.17, 4.20, 4.23 (10 pts each, full credit for errors due to issues in Boole), due by noon on Monday, Sept. 26. Some of these need to use the Submit program, and one needs to be sent directly to your TA.
Sept. 26, 28
Reading: Chapter 5, sections 1-4
Section 5: Exercises 5.1, 5.2, 5.8, 5.15 (10 pts each)
Homework 5: Exercises 5.3, 5.5, 5.11 (10 pts each), 5.13, 5.21 (5 pts each), due by noon on Monday, Oct. 3.
Reading: Chapter 6, sections 1-2
Section 6: 6.3, 6.4 (5 pts each), 6.8 (10 pts)
Homework 6: 6.5, 6.6, 6.9, 6.10 (10 pts each)
Conditionals and Quantifiers
Oct. 10, 12
Reading: Chapter 6, sections 3-6
Section 7: 6.33 (10 pts), 7.11 (10 pts), 7.1, 7.2, 7.4 (5 pts each, unless Boole has problems)
Homework 7: 6.20 (10 pts), 6.34 (10 pts), 7.12 (20 pts), 7.13
Oct. 17, 19
Reading: Chapter 7, section 3
Chapter 8, sections 1, 2, 4
Section 8: 8.18, 8.19, 8.20, 8.21, 8.22, 8.23 (10 pts each)
Homework 8: 8.27, 8.48 (20 pts each)
Oct. 24, 26
Reading: Chapter 9, sections 1-6
Section 9: 9.1 (10 pts), 9.2 (10 pts), 9.10 (12 pts)
Homework 9: 9.9 (10 pts), 9.11 (20 pts), 9.18 (10 pts)
Oct. 31, Nov. 2
Reading: Chapter 10, section 1-4
Section 10: 10.9 (30 pts)
Homework 10: 10.1 (10 pts), 10.21 (9 pts)
Nov. 7, 9
Reading: Chapter 11, sections 1-5
Section 11: 11.5, 11.6, 11.11 (10 pts each)
Homework 11: 11.2 (10 pts), 11.4 (16 pts), 11.16 (20 pts)
Probability and inductive logic
Nov. 21 (Nov. 23-25 is Thanksgiving Break, no sections meet)
Nov. 28, 30
Reading: Brian Skyrms, Choice and Chance Chapter 2
Homework 12, due Nov. 28: Exercise from p. 17 of Skyrms, sorting the five arguments from strongest to weakest.
Dec. 5, 6 - redefined days (Friday sections meet on Mon. Dec. 5, Thursday on Tues. Dec. 6)
Dec. 7 - review day in lecture
Final exam: Dec. 9, 7:30 am-9:30 am