Course

Logic II

Description

Logic II

This course deals with various non-classical logical systems. It requires familiarity with standard propositional and predicate logic (first-order logical calculus), including derivations and tableaux. The course is divided into three parts: modal logic (we will cover basic as well as normal modal logics); multi-value logic (such as Jan Łukasiewicz’s three-value logic), and intuitionist logic (e.g., possible-worlds semantics). We will cover proofs, theorems as well as paradoxes, from each section. Graham Priest’s Introduction to Non-Classical Logic: From If to Is will be the main text used in the course.

 

Credits

3

Language

en

Faculty

Philosophy

Professor

NULL

Course code

DPHY 2805

Room number

TBD

Academic year

2020-21

Semester

Winter

Level

Undergraduate

Time

Wednesday, 1:30p.m.-4:20p.m.