Katalin Bimbo
Contact
Professor, Faculty of Arts - Philosophy Dept
- bimbo@ualberta.ca
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. (You may also find course descriptions for the courses I teach in the 2025/26 academic year linked from the same page.)
Visuals (from two conferences that took place during the pandemic) and a link to a book that was published soon afterward:
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.]
The talks are related to a paper in the book titled Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn that I edited in 2022.
[Updated on 03/19/2025.]
.
.
.
.
.
.
.
.
.
.
.
.
.
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 120 - Symbolic Logic I
A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.
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.
PHIL 325 - Risk, Choice, and Rationality
A study of the formal theory of rationality including probability and induction, and elementary decision theory, with attention to the paradoxes of choice.
PHIL 422 - Topics in Advanced Symbolic Logic
Prerequisite: PHIL 220 or consent of Department.
PHIL 446 - Early Analytic Philosophy
Prerequisite: At least 6 units in PHIL, 3 units of which must be at the 200 level, or consent of Department.
PHIL 522 - Topics in Logic
PHIL 547 - Topics in 20th Century Philosophy