Sign In With Google
Course Description
-
Course Name
Formal Logic
-
Host University
University of Glasgow
-
Location
Glasgow, Scotland
-
Area of Study
Philosophy
-
Language Level
Taught In English
-
Prerequisites
Intro Philosophy
-
Course Level Recommendations
Upper
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
-
SCQF Credits
20 -
Recommended U.S. Semester Credits5
-
Recommended U.S. Quarter Units7
Hours & Credits
-
Overview
This course introduces students to the meta-theory of propositional and predicate logic
By the end of the course, students should be able to:- Use the method of proof by induction on length of formula and length of proof;
- Find a formula in disjunctive normal form for any given truth table;
- Determine whether a set of connectives is expressively adequate;
- Distinguish semantic from syntactic entailment, and explain what is meant by soundness and completeness proofs;
- Prove propositional sequents;
- Prove the soundness and completeness theorems for propositional logic;
- Explain the main ideas in Tarski's truth definition for predicate logic;
- Prove simple sequents of predicate logic;
- Explain the main ideas in the soundness and completeness theorems for predicate logic;
- Determine simple properties of binary relations.
Course Disclaimer
Courses and course hours of instruction are subject to change.
Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.
ECTS (European Credit Transfer and Accumulation System) credits are converted to semester credits/quarter units differently among U.S. universities. Students should confirm the conversion scale used at their home university when determining credit transfer.
Please note that some courses with locals have recommended prerequisite courses. It is the student's responsibility to consult any recommended prerequisites prior to enrolling in their course.