Logic List Mailing Archive

4th Workshop on Connexive Logics

19-21 Oct 2018
Bochum, Germany

4th Workshop on Connexive Logics

After three workshops on connexive logics in Istanbul (June 2015), Raesfeld
Castle (June 2016) and Kyoto (September 2017), a fourth workshop on
connexive logics will take place in Bochum (Germany) as part of ?Logic in
Bochum IV? from 19th to 21st of October, 2018.

Description:

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 (Fall 2014 Edition).
http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/.

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. The entire issue is available at:

http://www.collegepublications.co.uk/journals/ifcolog/?00007

There is another special issue in preparation based on papers presented
during the third workshop.

As we are observing some growing interests in topics related to connexive
logics, the fourth workshop aims at discussing directions for future
research in connexive logics. Moreover, we will have a special session on
contra-classical logics, namely a broad family of nonclassical logics,
including connexive logics, that are orthogonal to classical logic.

Keynote speakers (in alphabetical order):

John Cantwell
Paul Egré
Luis Estrada-González
Nissim Francez
Andreas Kapsner
Wolfgang Lenzen
Francesco Paoli
Niki Pfeifer
Claudio Pizzi

Organisers:
The workshop is organised by Hitoshi Omori (Japan Advanced Institute of
Science and Technology, Japan) and Heinrich Wansing (Ruhr University of
Bochum, Germany).

Call for abstracts:

Any papers related to connexive logics, as well as contra-classical logics,
are welcome. Topics of interest include (but are not limited to) the
following:

- Historical considerations of the notion of connexivity;
- Discussions on the notion of connexive logics;
- Examinations of various systems of connexive logics and contra-classical
logics;
- Relations between connexive logics and other nonclassical logics, such as
conditional logics;
- Philosophical implications of connexive logics and contra-classical
logics;
- Discussions on the relation between Experimental philosophy and
connexivity.

Submissions of extended abstracts (up to five pages) should be sent to both
organizers as a pdf file at

hitoshiomori@gmail.com and heinrich.wansing@rub.de.

Deadline for submission: July 15, 2018.
Notification of acceptance: July 31, 2018.
--
[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