Teaching

Current teaching

National Taiwan University

• PHL1008 Elementary Logic F 2024
• PHL2813 Logical Methods in Artificial Intelligence F 2024

Past teaching

National Taiwan University

• PHL1008 Elementary Logic F 2023
• PHL4089 Intermediate Logic Sp 2023, Sp 2024
• LIS3042 Technology and Humanities (team taught) Sp 2024
• PHL3822 Proof Theory Sp 2023
• PHL3817 Philosophy of Language F 2022
• PHL2811 Ethics of Artificial Intelligence Sp 2022
• PHL2812 Non-Classical Logics Sp 2022 F 2023
• PHL2810 Modal Logic F 2021, F 2022
• PHL7576 Philosophical Logic (Graduate) F 2021
• PHL7590 Philosophy of Language (Graduate) Sp 2024
• Independent study: Naming and Necessity (Graduate) Sp 2023

University of Melbourne

• PHIL20030 Meaning, Possibility & Paradox (Redone as Logical Methods, team taught) 2019
• UNIB10002 Logic: Language and Information 2016, 2017, 2018
• PHIL20030 Meaning, Possibility & Paradox (guest lecturer) 2015, 2016, 2017, 2018
• PHIL30043 Power and Limits of Logic (guest lecturer) 2016, 2018

Victoria, University of Wellington

• PHIL209: Classical Chinese Philosophy (summer intensive class) 2017, 2019

Summer schools

• NASSLLI2018 (with Greg Restall)
• Day 1 Foundations
• Day 2 Substructural logics
• Day 3 Proof theory for modal logics
• Day 4 Quantifiers and identity
• Day 5 Meaning and models
• NASSLLI2016 material
• ANU Logic Summer School (with Agata Ciabattoni)
• NASSLLI2016 (with Greg Restall)
• NASSLLI2016 material

Auburn University

• PHIL1020: Introduction to Ethics
• PHIL1017: Honors Logic
• PHIL3110: Symbolic Logic

University of Pittsburgh (as instructor)

• PHIL0080: Introduction to Philosophical Problems
• PHIL1590: Non-Classical and Modal Logics
• PHIL0500: Introduction to Logic
• PHIL1420: Philosophy of Language