Logic List Mailing Archive

6th Workshop on Connexive Logics, now: Bochum (Germany), 3-4 Dec 2020 [CHANGE OF VENUE & DATES]

6th Workshop on Connexive Logics

Due to the Covid-19 pandemic, the sixth workshop on connexive logics will 
be postponed and the venue will be changed. Now it will be held in Bochum 
on December 3 and 4, 2020. Modified submission and notification deadlines, 
as well as other details, can be found below.

Description:

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)

Modern connexive logic started in the 1960s with seminal papers by Richard 
B. Angell and Storrs McCall. Since then, systems of connexive logic have 
been motivated by considerations on a content connection between the 
antecedent and consequent of valid implications, as well as 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 E. N. Zalta (ed.), The Stanford 
Encyclopedia of Philosophy, 
plato.stanford.edu/entries/logic-connexive/<https://eur04.safelinks.protection.outlook.com/?url=http%3A%2F%2Fplato.stanford.edu%2Fentries%2Flogic-connexive%2F&data=02%7C01%7CB.Lowe%40uva.nl%7Cec2cbcaee9e44253937c08d8284376ff%7Ca0f1cacd618c4403b94576fb3d6874e5%7C1%7C0%7C637303617516905708&sdata=kL8gFOmycdvKC3opJ4R4WqkaAv%2BiTSU2FYNTGNt%2BQm0%3D&reserved=0>.

There is also a special issue on connexive logics in the IfCoLog Journal 
of Logics and their Applications based on papers presented during the 
first workshop.

Another special issue, published in Logic and Logical Philosophy, is based 
on papers presented during the third workshop.

As interests in topics related to connexive logics are growing, the sixth 
workshop aims at discussing directions for future research in connexive 
logics.



Keynote speakers (in alphabetical order):

- Tomasz Jarmu?ek (Toru?)
- Francesco Paoli (Cagliari)
- Yale Weiss (New York, TBC)



Call for abstracts:

Any papers related to connexive logics are welcome. Topics of interest
include (but are not limited to) the following:
- Philosophical and historical considerations of the notion of connexivity;
- Examinations of various systems of connexive logics;
- Relations between connexive logics and other non-classical logics, such as relevance logics, conditional logics or non-normal modal logics;
- Empirical studies on the scope of connexivity.
Submissions of extended abstracts (up to five pages) should be sent as a pdf file to the three organizers at
Hitoshi[dot]Omori[at]rub[dot]de
heinrich[dot]wansing[at]rub[dot]de
loisayaxsegrob[at]gmail[dot]com
Deadline for submission: August 31, 2020.
Notification of decision: September 30, 2020.

Organizers

The workshop is organized by Hitoshi Omori (RUB), Heinrich Wansing (RUB) 
and Luis Estrada-González (UNAM) with the generous support from the 
Ruhr-Universität Bochum, a Sofja Kovalevskaja Award of the Alexander von 
Humboldt- Foundation, funded by the German Ministry for Education and 
Research, and the PAPIIT project IN403719. For any inquiries, please write 
at Hitoshi[dot]Omori[at]rub[dot]de or loisayaxsegrob[at]gmail[dot]com.
--
[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