Aug 09, 2020  
Rensselaer Catalog 2018-2019 
Rensselaer Catalog 2018-2019 [Archived Catalog]

Add to Portfolio (opens a new window)

PHIL 4140 - Intermediate Logic

This course is a continuation of PHIL 2140, covering basic metatheory of logic (including formal syntax and semantics, model theory, and soundness and completeness of proof systems), applications of logic (including automated theorem proving, deductive problem solving, and the axiomatization of various branches of mathematics), and alternative systems of logic (including sequent systems, diagrammatic logic, and modal logic).

Prerequisites/Corequisites: Prerequisite: PHIL 2140.

When Offered: Spring term even-numbered years.

Cross Listed: MATH 4040.

Credit Hours: 4

Add to Portfolio (opens a new window)