Course Descriptions

           

Description

PHIL4103: Advanced Logic
Cross-listed: MATH 3103

Prerequisites: MATH 2703 or PHIL 3103

A study of selected topics in advanced logic. Emphasis will be placed on proof theory, quantification theory, semantic tableaux, logicism, theories of completeness and consistency, and some consideration of the logical foundations mathematics.