PHIL060 PO

Download as PDF

Logic

Philosophy LL

Subject code

PHIL

Course Number

060 PO

Department(s)

Philosophy

Description

Logic. Introduction to mathematical logic through the development of proof techniques (natural deduction and semantic tableaux) and model theory for sentential logic and quantification theory. Properties of logical systems, such as consistency, completeness and decidability.