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 will find, later in the summer, course descriptions for the courses I will teach in 2023/24 linked from the same page.)

Visuals and audio-visuals (from some conferences that took place in "Covid-time"):

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 05/02/2023.]

.

.

.

.

.

.

.

.

.

.

.

.

.

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.)

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 365 - Philosophy of Computing

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

---

PHIL 422 - Topics in Advanced Symbolic Logic

Prerequisite: PHIL 220 or consent of Department.

---

PHIL 522 - Topics in Logic

---

Browse more courses taught by Katalin Bimbo