Dear all,
Tomorrow we will have our next LIRa session. Here are the zoom details:
https://uva-live.zoom.us/j/99889363903?pwd=V1hMQ3pvaVdDMURUZ2Z1c085RGtadz09 Meeting ID: 998 8936 3903 Password: 741643
You can find the details of the talk below and the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/
Speaker: Adam Bjorndahl
Date and Time: Thursday, June 4th 2020, 16:30-18:00, Amsterdam time.
Venue: online.
Title: Almost-logic
Abstract.
In standard possible worlds style semantics for modal logics, a model consists in a set of worlds W together with some additional structure (e.g., a relation, a topology, a (set of) function(s), etc.). And a formula is defined to be valid in such a model if it is true at each and every world in W. In this talk, we consider the idea of relaxing this definition of validity: instead of requiring truth at all worlds in W, what happens if we only ask for truth at “almost all” worlds? Of course, this depends on just what we mean by “almost all”. Natural closure conditions on the corresponding notion of “almost-validity” yield some constraints, but of course do not determine a unique definition of “almost all”. On the other hand, well-known topological and measure-theoretic notions of “large” sets (and, dually, “negligible” sets) provide appealing candidates for making this notion precise; each determines a corresponding class of “almost-valid” formulas, with some surprising and familiar axiomatizations to explore.
Hope to see you there!
The LIRa team