2 classes matched your search criteria.
PHIL 5201 is also offered in Fall 2024
PHIL 5201 is also offered in Fall 2022
Fall 2024 | PHIL 5201 Section 001: Symbolic Logic I (31821)
- Instructor(s)
- Class Component:
- Lecture
- Instructor Consent:
- No Special Consent Required
- Instruction Mode:
- In Person
- Enrollment Requirements:
- Exclude fr or soph 5000 level courses
- Times and Locations:
Regular Academic Session
Tue,
Thu 11:15AM - 12:30PM
UMTC, West Bank
Walter W Heller Hall 731
- Enrollment Status:
Open (6 of 26 seats filled)
- Also Offered:
- Course Catalog Description:
- Study of syntax and semantics of sentential and first-order logic. Symbolization of natural-language sentences and arguments. Development of deductive systems for first-order logic. Metatheoretic proofs and methods, including proof by mathematical induction and proof of consistency and completeness. prereq: 1001 or instr consent
- Class Description:
- The purpose of this course is to introduce students to the basic tools and techniques of metatheoretic investigation into formal languages. Specific results to be proven include: truth-functional completeness of the sentential connectives; soundness, completeness and compactness for both sentential logic and first-order logic; and the Löwenheim-Skolem theorems for first-order logic.
- Grading:
- Final grades will be based on homework assignments, midterm exam, final exam and class participation in discussion section.
- Exam Format:
- One midterm and one final exam. Both take-home.
- Class Format:
- M/W 11:15 AM - 12:30 PM
- Workload:
- Approximately one problem set each week + reading.
- Textbooks:
- https://bookstores.umn.edu/course-lookup/31821/1249
- Instructor Supplied Information Last Updated:
- 14 May 2015
Fall 2024 | PHIL 5201 Section 002: Symbolic Logic I (31822)
- Instructor(s)
- Class Component:
- Discussion
- Times and Locations:
Regular Academic Session
UMTC, West Bank
Blegen Hall 210
- Auto Enrolls With:
- Section 001
- Enrollment Status:
Open (6 of 26 seats filled)
- Course Catalog Description:
- Study of syntax and semantics of sentential and first-order logic. Symbolization of natural-language sentences and arguments. Development of deductive systems for first-order logic. Metatheoretic proofs and methods, including proof by mathematical induction and proof of consistency and completeness. prereq: 1001 or instr consent
- Class Description:
- The purpose of this course is to introduce students to the basic tools and techniques of metatheoretic investigation into formal languages. Specific results to be proven include: truth-functional completeness of the sentential connectives; soundness, completeness and compactness for both sentential logic and first-order logic; and the Löwenheim-Skolem theorems for first-order logic.
- Grading:
- Final grades will be based on homework assignments, midterm exam, final exam and class participation in discussion section.
- Exam Format:
- One midterm and one final exam. Both take-home.
- Class Format:
- M/W 11:15 AM - 12:30 PM
- Workload:
- Approximately one problem set each week + reading.
- Textbooks:
- https://bookstores.umn.edu/course-lookup/31822/1249
- Instructor Supplied Information Last Updated:
- 14 May 2015
ClassInfo Links - Fall 2024 Philosophy Classes