AAL 2021

The Australasian Association for Logic will hold its annual conference online via Zoom from Wednesday, June 23 to Friday, June 25, 2021. It will be hosted by the University of Queensland and the University of Melbourne.

There will be three keynote speakers: Xavier Caicedo (Los Andes), Catarina Dutilh Novaes (VU Amsterdam) and Katalin Bimbó (Edmonton).

We invite submission of abstracts in any area of logic, broadly construed. To submit, send an anonymized short abstract (at most 2 pages) and title to australasianassoclogic2021@gmail.com with the subject “AAL 2021”. The soft deadline for submissions is Saturday, May 15. Submissions will be accepted for consideration until the hard deadline of Saturday, May 22. Decisions will be sent out in early June. We would like to encourage submissions from members of groups that are underrepresented in logic.

Session times will be 40 minutes. The scheduling will be done according to Melbourne local time (AEST). Find your local time.

The conference website is https://blogs.unimelb.edu.au/logic/aal-2021/.

Please email australasianassoclogic2021@gmail.com if you have any questions.

Local organizers: Guillermo Badia (Queensland) and Shawn Standefer (Melbourne).



Katalin Bimbó, TBA

Xavier Caicedo, TBA

Catarina Dutilh Novaes, “The Dialogical Roots of Deduction”

Abstract: In this talk, I offer a précis of my recently published book The Dialogical Roots of Deduction (CUP, 2020). The book offers an account of the concept and practices of deduction by bringing together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. I draw on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. The account also highlights the deeply human and in fact social nature of deduction, as embedded in actual human practices.