# Formal Logic

University of Glasgow

## Course Description

Formal Logic

• ### Host University

University of Glasgow

• ### Location

Glasgow, Scotland

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.

### Hours & Credits

• SCQF Credits

20
• Recommended U.S. Semester Credits
5
• Recommended U.S. Quarter Units
7
• ### 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.

This site uses cookies to store information on your computer. Some are essential to make our site work; others help us improve the user experience. By using the site, you consent to the placement of these cookies.