Katalin Bimbo

Professor, Faculty of Arts - Philosophy Dept
Directory

Fall Term 2022 (1810)

PHIL 220 - Symbolic Logic II

★ 3 (fi 6)(EITHER, 3-0-0)

A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.

LECTURE A1 (33186)

2022-09-01 - 2022-12-08
MWF 14:00 - 14:50 (T 1-096)



PHIL 365 - Philosophy of Computing

★ 3 (fi 6)(EITHER, 3-0-0)

Philosophical issues arising from computation and computer science. No previous familiarity with computing is necessary.

LECTURE A1 (37943)

2022-09-01 - 2022-12-08
MWF 12:00 - 12:50 (T 1-090)

Winter Term 2023 (1820)

PHIL 367 - Introduction to Philosophy of Mathematics

★ 3 (fi 6)(EITHER, 3-0-0)

Overview of approaches to the foundations of mathematics and of philosophical issues concerning the nature of mathematical objects, mathematical theories and the special status of mathematics among the sciences and other areas of knowledge.

LECTURE B1 (47796)

2023-01-05 - 2023-04-12
MWF 14:00 - 14:50 (T 1-105)



PHIL 421 - Modal Logic

★ 3 (fi 6)(EITHER, 3-0-0)

Standard modal systems in sentential and predicate logic including possible world semantics and completeness proofs. Tense logic and epistemic logic may be considered. Prerequisite: PHIL 220 or consent of Department.

LECTURE B1 (47801)

2023-01-05 - 2023-04-12
MWF 12:00 - 12:50 (CAB 373)



PHIL 522 - Topics in Logic

★ 3 (fi 6)(EITHER, 3-0-0)

LECTURE B1 (47802)

2023-01-05 - 2023-04-12
MWF 12:00 - 12:50 (CAB 373)