How to Build Basic Logic on the Foundation of Mathematical Categories and Language

Completed
Friday, March 12th, 2021
11:00AM  PT
12:00PM MT
1:00PM CT
2:00PM ET
PRESENTED BY: Paul Dawkins


Along with the classical connection between geometry and proving, geometry has long been understood as a context for learning logic. However, modern instruction in logic has moved primarily toward teaching logic apart from any particular mathematical context or content. In a series of experiments, I have been exploring how to help undergraduates reinvent basic logic (truth-conditions for connectives, negation, and quantification) by reflecting on how we use mathematical language in context. I will share some insights about what aspects of logic as traditionally taught are particularly problematic to students. I propose that we can alleviate many of these issues by teaching logic using mathematical categories and statements rather than abstract syntax (p’s, q’s, T’s, and F’s). This alternative approach not only renders logic more accessible to students’ existing ways of reasoning, it also brings it closer to the content we teach in geometry courses. Building on these insights about student reasoning, I will present an outline for how to teach logic in context that could be productively used in geometry courses for teachers.


Registration:
Registration is closed
Duration:
60 minutes
Format:
Online seminar via Zoom web meeting software with questions and discussion. Detailed instructions for joining the seminar will be emailed to registered participants.

Presenter(s):
Paul Dawkins
Presenter bio not available.

Leave a Reply