Loading Events

« Full list of events

  • This event has passed.

Metaphysics and Logic Seminar: Shawn Standefer, Universal Necessity and Deep Classicality

May 21 @ 3:00 pm - 5:00 pm

Event Navigation

Abstract: The universal conception of necessity says that necessary truth is truth in all possible worlds. This idea is well studied in the context of classical possible worlds models, and there its logic is S5. The universal conception of necessity is less well studied in non-classical models, and depending on the logic may differ from that of S5. We will present some preliminary results on universal necessity in frames for intuitionistic logic and for relevant logics. We will then present some general results about universal necessity using algebraic methods. This is joint work with Rohan French.

Details

Date:
May 21
Time:
3:00 pm - 5:00 pm

Venue

Edgecliffe G03 and via MS Teams
Website:
View Venue Website