[PEIRCE-L] LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky

[jean-yves beziau]

This coming Wednesday, May 11 at 4pm CET,
we will have the next session of the Logica Universalis Webinar with a talk
by
Alexei Muravitsky
Louisiana Scholars’ College, Northwestern State University, USA
https://my.nsula.edu/my/mobile/faculty/facprofile.php?fid=alexeim
Title: "On Nonmonotonic Consequence Relations''
Abstract: We discuss nonmonotonic reasoning in terms of consequence
relations and corresponding operators. Based on the matrix consequence that
gives the monotonic case, we define a restricted matrix consequence that
illustrates the nonmonotonic case. The latter is a generalization of the
relation of logical friendliness introduced by D. Makinson. We prove that
any restricted single matrix consequence, although it may be nonmonotonic,
is always weakly monotonic and, in the case of a finite matrix, the
restricted matrix consequence is very strongly finitary. Further, by
modifying the definition of logical friendliness relation formulated
specifically in a proof-theoretic manner, we show a possibility of
obtaining other reflexive nonmonotonic consequence relations, for which a
limited result towards finitariness is proved. This leads to numerous
questions about nonmonotonic consequence relations in the segment between
the monotonic consequence relation based on intuitionistic propositional
logic and logical friendliness.
https://link.springer.com/article/10.1007/s11787-021-00275-4

Everybody is welcome to join:
https://www.springer.com/journal/11787/updates/20065848

Jean-Yves Beziau
Organizer of LUW and President of LUA
http://www.logica-universalis.org/LUAD
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON 
PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . 
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu 
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the 
body.  More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP;  moderated by Gary Richmond;  and 
co-managed by him and Ben Udell.

[PEIRCE-L] Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12

[FRANCISCO MARIANO]

Dear Colleague,



You are invited to participate in the next session of the Logic and
Religion Webinar Series which will be held on May 12, 2022, at 4:00 pm CET
with the topic:



Studying Ontological Arguments with Computers

*Speaker*: Christoph Benzmueller
 (University
of Bamberg & FU Berlin)

*Chair*:  Andrea Vestrucci
 (Graduate
Theological Union, USA)



Please register in advance!

*https://www.logicandreligion.com/webinars
*



Abstract: Several emendations of Gödel's modal ontological argument have
been proposed persevering the intended conclusion of God's necessary
existence while avoiding the problem of modal collapse, which expresses
that there are no contingent truths (everything is determined, there is no
free will). In this webinar, we summarize recent computer-supported
verification studies on some of these modern variants of the ontological
argument. Our purpose is to provide further evidence that the interaction
with computer technology can not only enable the formal assessment of
ontological arguments but can, in fact, help to sharpen our conceptual
understanding of the notions and concepts involved.





With best wishes,

Francisco de Assis Mariano

The University of Missouri-Columbia

LARA Secretary
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON 
PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . 
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu 
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the 
body.  More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP;  moderated by Gary Richmond;  and 
co-managed by him and Ben Udell.