Logic at GU

Welcome to the webpage of the logic group at the University of Gothenburg. Information about our research and activities can be found through the links to the left. More detailed information is available through the personal pages of group members and our homepage at the University of Gothenburg.

Upcoming seminars

Past talks can be found on the seminar page. Announcements of upcoming seminars and events are distributed via the seminar mailing list.

Nordic Online Logic Seminar

Ana María Mora-Márquez (University of Gothenburg) Medieval Aristotelian Logic is Scientific Method

This presentation aims to show that medieval Aristotelian logic can be generally characterized as scientific method. To be sure, this method includes formal logic as one of its parts, but formal logic is by no means the crucial part. In fact, if, as I intend to show, the main aim of medieval Aristotelian logic is to provide methods for knowledge production and distribution, so its crucial parts are the methods for scientific proof provided in commentaries on Aristotle’s Posterior Analytics and Topics.

(… read full abstract …)

This talk is part of the Nordic Online Logic Seminar Series. Zoom link is shared via the NOL mailing list

Nordic Online Logic Seminar

Ivano Ciardelli (University of Padua) Inquisitive modal logic: an overview

Inquisitive modal logic is a generalization of standard modal logic where the language also contains questions, and modal operators that can be applied to them. In this talk, I will provide an introductory overview of inquisitive modal logic. I will review some motivations for the approach, present some prominent examples of inquisitive modal logics, mention some results about them, and outline directions for future work.

This talk is part of the Nordic Online Logic Seminar Series. Zoom link is shared via the NOL mailing list

Logic Colloquium, 24–28 June, 2024 (University of Gothenburg)