| Course Title: Symbolic Logic |
| Start Date: 01/21/2020 End Date: 05/05/2020 |
| Term: Spring Semester 2020 |
| Description: This course develops a symbolic system that can be used as the basis for inference in all fields. It will provide syntax and semantics for the language of this system and investigate its adequacy. It provides the basis for all further work in logic or in the philosophical foundations of mathematics. Much of the course has a mathematical flavor, but no knowledge of mathematics is necessary. |
| Distribution(s): I - Humanities |
| Academic Level Of Course: Undergraduate | Credits:4.00 |
| Faculty | Phone | Email address |
| Samuel Mitchell | 413-538-2387 | smitchel@mtholyoke.edu |
| Meeting Dates | Method | Meeting days | Meeting times | Building name | Room | Frequency |
| 01/21/2020 - 05/05/2020 | Lecture | Monday, Wednesday and Friday | 09:30AM - 10:20AM | CLEV - Cleveland | 002L | Weekly |
| Requisite Courses | ||
| None |
| Comments |
| Additional Comments |
| Course Tags | ||
| NXLAR0001 | NXLAR: Nexus in Law, Public Policy, and Human Rights | This course is approved for the Law, Public Policy, and Human Rights Nexus track. |
| PHIL0004 | PHIL-LG: Logic | This course has been approved to count towards the Philosophy major in the Logic area. |
| Cross-listed Sections |
| None |
| Course Availability | ||||
| Section status: Open | Capacity: 75 | Enrollment: 74 | Available: 1 | Waitlist: 0 |
BOOK INFORMATION
| Book List | Required | Publisher Full Price |
| Title: Language, Proof, and Logic Author: Barwise and Etchemendy, Copyright: 2002 Edition: 2 Volume: ISBN: 157586374X Publisher: CSLI |
Required | 65.00 |
| Additional Book Comments |
| This is the complete book list for this class. |