Games and Lindström Theorems - LUW October 26 at 4pm CET -

23 views
Skip to first unread message

jean-yves beziau

unread,
Oct 25, 2022, 12:11:29 PM10/25/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
The next session of the Logica Universalis Webinar (LUW) will be Wednesday October 26 at 4pm CET

Speaker: Cheng Liao 
Title: Games and Lindström Theorems
Abstract: The Ehrenfeucht–Fraïsse game for a logic usually provides an intuitive characterization of its expressive power while in abstract model theory, logics are compared by their expressive powers. In this paper, I explore this connection in detail by proving a general Lindström theorem for logics which have certain types of Ehrenfeucht–Fraïsse games. The results generalize and uniform some known results and may be applied to get new Lindström theorems for logics.

Chair: Janusz Czelakowski
Editorial board LU

Associate Organization:
Institute for Logic, Language and Computation, Amsterdam, The Netherlands
presented by TBA

Everybody is welcome to join
Register here:
Jean-Yves Beziau
Editor-in-Chief Logica Universalis, organizer of LUW



 

jean-yves beziau

unread,
Nov 15, 2022, 1:08:33 AM11/15/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
The next session of the Logica Universalis Webinar will take place November 16 at 4pm CET.

Speaker:  María del Rosario Martínez-Ordaz 
Title: Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
Abstract: Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how we should study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases of inconsistent science; and second, I focus on a peculiar type of formal methodologies for the scrutiny of inconsistent reasoning, the Paraconsistent Alternative Approach (henceforth, PAA) and argue that PAA can enhance a more accurate understanding of sensible reasoning in inconsistent contexts.

Chair: Peter Verdee
Editorial board LU

Associate Organization:
Mexican Academy of Logic
presented by its president Abel Rubén Hernández Ulloa
Reply all
Reply to author
Forward
0 new messages