Logic List Mailing Archive

CfPart: Trends in Logic XXI, Bochum (Germany) and virtual

6-8 Dec 2021

---------------------------------------------------------------------------
---------------------------------------------
                                      CALL FOR PARTICIPATION

---------------------------------------------------------------------------
---------------------------------------------
               Trends in Logic XXI, Frontiers of connexive logic

               December 6-8, 2021, Bochum, Germany (hybrid format)

               https://sites.google.com/view/trendsinlogicxxi/home
---------------------------------------------------------------------------
---------------------------------------------

The 21st Trends in Logic international conference will be held at Ruhr 

University Bochum, Germany, from December 6-December 8, 2021 under the 

title ?Frontiers of connexive logic?. Modern connexive logic started in 

the 1960s with seminal papers by Richard B. Angell and Storrs McCall. 

Connexive logics are orthogonal to classical logic insofar as they 

validate certain non-theorems of classical logic, namely

Aristotle's Theses: ~(~A => A), ~(A => ~A)
Boethius' Theses: (A => B)=> ~(A => ~B), (A => ~B) => ~(A => B)

Systems of connexive logic have been motivated by considerations on a 

content connection between the antecedent and succedent of valid 

implications and by applications that range from Aristotle's syllogistic 

to Categorial Grammar and the study of causal implications. Surveys of 

connexive logic can be found in:

S. McCall, "A History of Connexivity", in D.M. Gabbay et al. (eds.), 

Handbook of the History of Logic. Volume 11. Logic: A History of its 

Central Concepts, Amsterdam, Elsevier, 2012, pp. 415-449.

H. Wansing, "Connexive Logic", in Edward N. Zalta (ed.), The Stanford 

Encyclopedia of Philosophy (Spring 2020 Edition).

---------------------------------------------------------------------------
---------------------------------------------

Full program is available on https://sites.google.com/view/trendsinlogicxxi
/program

Invited Speakers

? Paul Egr (Paris)
? Andrea Iacona (Turin)
? Marko Malink (New York)
? Jacek Malinowski (Warsaw)
? Edwin Mares (Wellington)
? George Metcalfe (Bern)
? Sergei P. Odintsov (Novosibirsk)
? Francesco Paoli (Cagliari)
? Niki Pfeifer (Regensburg)
? Claudio Pizzi (Siena)
? Hans Rott (Regensburg)

Registration

Registration to Trends in Logic XXI is free, although it is mandatory to 

register for the conference. To register, please complete the registration 

form at https://sites.google.com/view/trendsinlogicxxi/registration

The registration deadline for on-site participation is Nov. 19.
The registration deadline for online participation is Dec. 3.

PC/OC Chairs

? Hitoshi Omori (RUB, Germany)
? Heinrich Wansing (RUB, Germany)

Contact

For general questions, please send emails to
trendsinlogicxxi [at] rub [dot] de


---------------------------------------------------------
This email has been sent via Studia Logica address list;
see also http://www.StudiaLogica.org and
http://www.StudiaLogica.org/call.for.papers.html

We acknowledge the use of the following mailing list:
Algebra Universalis researchers
Logicians in Japan: logic-ml@fos.kuis.kyoto-u.ac.jp
Logicians in China and Singapore
Polish Association for Logic and Philosophy of Science
---------------------------------------------------------
Best Regards
Krzysztof Pszczola       (www.StudiaLogica.org webmaster)
---------------------------------------------------------

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and
 Hamburg, and the ILLC at the Universiteit van Amsterdam