Nordic Online Logic Seminar: next talk on March 28 by Juliette Kennedy

[Graham Leigh]

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

See the announcement for the next talk below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .

Val Goranko and Graham Leigh
NOL seminar organisers
--------------------------------------
Nordic Online Logic Seminar

Next talk: Monday, March 28, 16.00-17.30 CEST (UTC+2), on Zoom (details are provided to the seminar subscribers)

Title: Reading syntax off semantics

Speaker: Juliette Kennedy, Associate professor at the Department of Mathematics and Statistics, University of Helsinki

Abstract:
The practice of foundations of mathematics is built around a firm distinction between syntax and semantics. But how stable is this distinction, and is it always the case that semantically presented mathematical objects in the form e.g. of a model class might give rise to a "natural logic"? In this talk I will investigate different scenarios from set and model theory in which an investigation of the notion of an implicit or internal logic or syntax becomes possible. Time permitting we will also discuss the question whether logics without a syntax can be considered logics at all.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220321/9ec83750/attachment.html>