aboutlogic cover art

aboutlogic

aboutlogic

By: Deniz Sarikaya Thorsten Altenkirch
Listen for free

About this listen

 We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises. Mathematics Philosophy Science Social Sciences
Episodes
  • aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

    aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
    Feb 11 2026
    We’re joined by Steve Awodey, one of the founders of Homotopy Type Theory. In this episode, we talk about the relationship between philosophy and mathematics, the main ideas behind geometric thinking and logic, and how all of this connects to computer science. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
    Show More Show Less
    52 mins
  • aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics

    aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
    Jan 28 2026
    Today we’re joined by Graham Priest from New York, a philosopher who also studied mathematics and is well known for many things. In particular, we will talk about contradictory logics – logics where we can work with a contradiction without being able to prove everything. We’ll also discuss non-standard topics, including non-standard arithmetic and non-standard set theory, and how all of this is philosophically motivated. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
    Show More Show Less
    46 mins
  • aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse

    aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
    Jan 14 2026
    This weeks interview with Deniz Sarikaya touches on topics like: Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate
    Show More Show Less
    29 mins
No reviews yet
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.