[Alta-Logic] Peripatetic seminar this Wednesday

[Richard Zach]

Since our website seems to be down, here is the title and abstract for today's talk. The talk is in ICT 616 at 11am (in 20 minutes).

Speaker: Mo Rios Flores
Title: Counterfactual Logics via Comparative Possibility
Abstract: In 1973, David Lewis published a landmark text developing a theory of counterfactual logics. The primary goal of the text was in providing a logical framework where one could reason about sentences of the form: "if P were true, then Q would be true". Such sentences were handled with a new connective and the majority of his text explores the semantics and behavior of this new connective. More general semantics and other connectives were introduced as well and briefly discussed, including a comparative possibility relation. It isn't until the last chapter of his book that Lewis actually described the syntax for the logics, a reformulation of the semantics, soundness and completeness theorems, and a list of axioms, among other things. This final chapter is unusual for many reasons, the logic and semantics rely on the comparative possibility relation instead of the counterfactual relation and all of the proofs and definitions are written in extremely terse prose. Moreover, this chapter discusses a large family of logics as well as their related modal logics.
In this talk we'll first go over the sort of counterfactual logic and semantics that Lewis is primarily interested in. Then we'll discuss the semantics and logic in terms of the comparative possibility relation. Finally, we'll give an overview of how the soundness and completeness proofs work and where the difficulties lie.
________________________________
From: alta-logic-l <alta-logic-l-bounces at mailman.ucalgary.ca> on behalf of Florian Schwarz <florian.schwarz at ucalgary.ca>
Sent: September 12, 2023 10:39
To: alta-logic-l at mailman.ucalgary.ca <alta-logic-l at mailman.ucalgary.ca>
Subject: [Alta-Logic] Peripatetic seminar this Wednesday


Dear all,

Tomorrow, Wednesday September 13th 2023 at 11:00 am, we have the great pleasure to hear from Mohamar Rios Flores in the peripatetic seminar:

Title: Counterfactual Logics via Comparative Possibility

Abstract: https://logic.ucalgary.ca/


The talk will be in ICT 616.



Looking forward to seeing you there!


All the Best,

Florian Schwarz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20230913/06b0bb71/attachment.html>