Last updated 01/10/2024 — accessed:
|Meets 9:30-10:45 Tu/Th North Hall 1105 + sections with TA as scheduled Wed 11:00 or Wed 12:00 in South Hall 5617
|Canvas site: https://ucsb.instructure.com/courses/17155
This class introduces students to formal techniques for evaluating arguments. We cover a natural deduction system of sentential logic, truth-tables, a natural deduction system of first-order predicate logic, and the basic ideas of model theory. The application of these systems for analyzing arguments is discussed. Exams are designed to test skill with the formal systems, particularly translation from English to formulas, proof techniques, and methods for showing invalidity. There are no prerequisites for the course.
By the end of the course, you should be competent with the formal methods introduced from Chapter 1 through to Chapter 6, section 2 of the textbook. If you have mastered these concepts you will be well-positioned to appreciate the significance of formal logic as a benchmark for argumentative rigor in fields as diverse as philosophy, law, mathematics, and science. You will also be in a position to understand the foundational role of logic for technological developments in computing hardware and software design.
Textbook and Website
The book for the course is Logic Primer, 3rd Edition by Colin Allen and Michael Hand. The book is available in paperback from the campus bookstore and from other online book vendors including the publisher, MIT Press.
The first printing of the 3rd edition contains some typographical errors. A webpage with the list of errata and PDFs of fixed pages is available at https://logic.tamu.edu/errata3.html .
There is also a website where you may practice the techniques and test yourself with exercises from the book. It is freely available at https://logic.tamu.edu/. Using this website for your homework practice will greatly improve your chance of success in the course.
Grades will be assigned on the basis of two midterms (1 hour each), final (2 hours), and in-class quizzes. The quizzes are for extra credit and can be turned in immediately for double credit or taken home and turned in at the beginning of the next class meeting for regular credit. Full regular credit will convert to 4 extra points for the course. Double credit can therefore be as high as 8 points. Your response to the quiz questions must be perfect to receive credit (i.e., there will be no partial credit on quizzes).
Your overall score will be computed using three methods and you will be assigned a grade based on the best of these methods.
Implications of this grading scheme: If you are satisfied with your grade after midterms you won't need to take the final. If you have done poorly on earlier exams, you can still pull everything out on the comprehensive final exam.
Bring your own paper for quizzes and exams. (Blue books not required.) Midterms and finals will be open book and notes--but not open neighbor! Midterm dates will be confirmed with 7 days notice. Numerical scores on midterms and finals will not be curved. Make up tests will be provided only in cases of authorized absence. See below for policy on in-class quizzes.
Course Format, Assessments, and Attendance
Attendance will not be formally monitored but double quiz credit is available only for those attending class. Because all quizzes are for extra credit, no make-ups will be provided, although if you miss class you may obtain the quiz from a classmate and turn it in at the beginning of the next meeting (usually the discussion section).
Homework and Schedule of Readings and Exams
The schedule shown is tentative. It is a good idea to read a section or two ahead of wherever we are in the class at that moment. The pace is high and it will be important for you to stay on track with the homework (ungraded) and quizzes (graded). Homework consists of all the exercises in the book. The "Logic Daemon" section of the website at logic.tamu.edu contains all the book's exercises as well as additional practice exercises.
|Readings / Assignments
|Tue Jan 09
|Introduction to the Course/Three Key Concepts: Arguments, Validity, and Soundness
|Thu Jan 11
|The Language of Sentential Logic
|Tue Jan 16
|Wffs and Translations
|1.3, 1.4, 2.1
|Thu Jan 18
|Translations & Primitive Rules of Proof
|Tue Jan 23
|Primitive Rules of Proof (and Strategies)
|2.1, Strategy Sheet
|Thu Jan 25
|Proof Strategies, More Rules, and Theorems
|Strategy Sheet, 2.2, 2.3
|Tue Jan 30
|Truth Tables for Sentences
|Thu Feb 01
|Truth Tables for Sequents
|Tue Feb 06
|Indirect Truth Tables
|3.4 (optional 3.5)
|Thu Feb 08
|Tue Feb 13
|Thu Feb 15
|The Language of Predicate Logic
|Tue Feb 20
|Thu Feb 22
|Primitive Rules of Proofs
|Tue Feb 27
|More Rules of Proof
|Thu Feb 29
|Finite Interpretations for One-Place Predicates
|Tue Mar 05
|Finite Countermodels for One-Place Predicates
|6.2, (Optional 6.3)
|Thu Mar 07
|Tue Mar 12
|Thu Mar 14
|Tue Mar 19
|Comprehensive Final Exam 8-11 a.m.
The following items are generic to any class.
You may request to make up for missed exams or other assignments only for University-recognized officially excused absences:
Students in this course are obliged to comply with UCSB's Academic Integrity Policies. Any student suspected of violating this obligation for any reason during the quarter will be referred via the Academic Integrity procedures detailed at the above link. When you submit assignments with your name on them in this course, you are signifying that the work contained therein is all yours, unless otherwise cited or referenced. Any ideas or materials taken from another source for either written or oral use must be fully acknowledged. If you are unsure about the expectations for completing an assignment or taking a test or exam, be sure to seek clarification beforehand.
Use of ChatGPT or similar generative AI products will be discussed in class, and may be used under special circumstances, but never without acknowledgment.
Diversity and Inclusion
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 have a disability for which you are or may be requesting an accommodation, you are encouraged to contact both your instructor and UCSB's Disabled Students Program for information about accomodations and services.
The University of California, in accordance with applicable federal and state laws and University policy, prohibits discrimination against or harassment of any person at the University on the basis of race, color, national origin, religion, sex, gender identity, pregnancy, physical or mental disability, medical condition (cancer-related or genetic characteristics), ancestry, marital status, sexual orientation, citizenship, or age. For more information see https://eodp.ucsb.edu/resources/policies.
I ask that everyone in the class strive to help ensure that other members of this class can learn in a supportive and respectful environment. If there are instances of the aforementioned issues, you may contact the Title IX Office, by calling 805-893-2701 or visiting https://titleix.ucsb.edu/. You may also choose to report this to a faculty/staff member; they may also be required to communicate about such issues to the University’s Office of Diversity and Incusion. If you wish to maintain complete confidentiality, you may also contact University Counseling & Psychological Services .
Statement on Classroom Recording
To ensure the free and open discussion of ideas, students may not record classroom lectures, discussion and/or activities without the advance written permission of the instructor, and any such recording properly approved in advance can be used solely for the student’s own private use.
Materials provided for the course may be protected by copyright. United States copyright law, 17 USC section 101, et seq., in addition to University policy and procedures, prohibit unauthorized duplication or retransmission of course materials. See Library of Congress Copyright Office and the University Copyright Policy.
HTML VALIDATED at W3.ORG