Sessão Brasileira do LUW - 19 de maio - A Bunch of Diagrammatic Methods for Syllogistic / Frank Sautter

[jean-yves beziau]

Quarta feira dia 19 de Maio às 11h horário de Brasília  vamos ter uma sessão brasileira do LUW - Logica Universalis Webinar

https://www.springer.com/journal/11787/updates/18988758

Frank Sautter  vai apresentar

 "A Bunch of Diagrammatic Methods for Syllogistic"

https://link.springer.com/article/10.1007/s11787-019-00220-6

This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group are discussed. Finally, a comparison between the Dual of Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods.  

Chair: Itala D’Ottaviano
Member of the Editorial Board of LU

Associate Organization: Brazilian Logic Society
presented by its president, Cezar Mortari  

[jean-yves beziau]

Speaker: Andrzej Indrzejczak,  presenting his book  "Seqents and Trees"

Chair: Peter Schroeder-Heister, Member of the Editorial Board of Studies in Universal Logic

Associate Organization: Polish Association for Logic and Philosophy of Science, presented by Marcin Miłkowski

Registrate here to attend this Logica Universalis Webinar  session:  

https://www.springer.com/journal/11787/updates/18988758

Description of the book  Sequents and Trees, 

"This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results.  The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained.  Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation.  Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.
After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications.  The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics."

Andrzej Indrzejczak, 

Sequents and Trees

Studies in Universal Logic, Birkhäuser, ,Basel, 2021

https://www.springer.com/gp/book/9783030571443