Katalin Bimbo

Professor, Faculty of Arts - Philosophy Dept

Contact

Professor, Faculty of Arts - Philosophy Dept
Email
bimbo@ualberta.ca
Phone
(780) 492-3307
Address
Assiniboia Hall
9137 116 St NW
EdmontonAB
T6G 2E7

Overview

About

This is my directory page. To read about my research and to see my selected publications (with links), please go to my webpage. I am on sabbatical in the 2021/22 academic year and I will not be teaching.


Visuals and audio-visuals (from some conferences):

Logic Colloquium 2021 slides

AAL 2021 keynote slides, abstract, talk [The beginning of the talk is missing; the recording starts in the middle of a sentence.]



[Updated on 04/03/2022.]

.

.

.

.

.

.

.

.

.

.

.

.

.

The courses below are automatically pulled from a U of A site. (I do not have control over the content of the blurbs in the University Calendar, or on the aforementioned site, or whether there is any blurb at all.)


Courses

PHIL 220 - Symbolic Logic II

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.

Fall Term 2022

PHIL 365 - Philosophy of Computing

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

Fall Term 2022

PHIL 367 - Introduction to Philosophy of Mathematics

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.

Winter Term 2023

PHIL 421 - Modal Logic

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.

Winter Term 2023

PHIL 522 - Topics in Logic

Winter Term 2023

Browse more courses taught by Katalin Bimbo