PHIL_O 320 - Logic: Metatheory and Computability

Continuation of PHIL_O 220. A formal theory of classical first-order logic is developed. Meta-theoretic concepts of a logical system: truth, provability, logical truth, and logical consequence. Soundness and completeness are shown for a system of natural deduction. Turing machines, Church-Turing thesis, and decidability of first-order logic. [3-0- 0] Prerequisites: One of PHIL_O 220, MATH_O 220, COSC_O 221, COSC_O 223.

Credits: 3.00

Course Sections

Loading sections component...

We acknowledge that UBC’s two main campuses are situated within the ancestral and unceded territory of the Musqueam people, and in the traditional, ancestral, unceded territory of the Syilx Okanagan Nation and their peoples.

Vancouver Campus
6200 University Blvd
Vancouver, BC Canada V6T 1Z4

Okanagan Campus
3333 University Way
Kelowna, BC Canada V1V 1V7

UBC Crest The official logo of the University of British Columbia. Urgent Message An exclamation mark in a speech bubble. Caret An arrowhead indicating direction. Arrow An arrow indicating direction. Arrow in Circle An arrow indicating direction. Arrow in Circle An arrow indicating direction. Chats Two speech clouds. Facebook The logo for the Facebook social media service. Information The letter 'i' in a circle. Instagram The logo for the Instagram social media service. Linkedin The logo for the LinkedIn social media service. Location Pin A map location pin. Mail An envelope. Menu Three horizontal lines indicating a menu. Minus A minus sign. Telephone An antique telephone. Plus A plus symbol indicating more or the ability to add. Search A magnifying glass. Twitter The logo for the Twitter social media service. Youtube The logo for the YouTube video sharing service.