After two workshops on connexive logics in Istanbul (June 2015) and Raesfeld Castle (June 2016), a third workshop on connexive logics will take place in Kyoto (Japan) as part of “Kyoto Philosophical Logic Workshop III”, 7th of September 2017.

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

This workshop is meant to present current work on connexive logic and to stimulate future research.

Keynote speakers

• Norihiro Kamide (Teikyo University, Japan)
• Andreas Kapsner (LMU Munich, Germany)

Organisers

The workshop is organised by Hitoshi Omori, (Kyoto University, Japan) and Heinrich Wansing (Ruhr University of Bochum, Germany).

Call for abstracts

Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:

• Historical considerations of the notion of connexivity
• Arguments for or against connexive logics
• Examinations of systems of connexive logics
• non-explosiveness of logical consequence

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

hitoshiomori[at]gmail[dot]com and heinrich[dot]wansing[at]rub[dot]de.

Deadline for submission: June 30th 2017.

Notification of acceptance: July 7th 2017.

Program

The workshop is organized as a part of Kyoto Philosophical Logic Workshop III and will take place on September 7, 2017.

11:00--12:00 Norihiro Kamide "Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality" [abstract]

12:00--13:00 Tomasz Jarmużek "Connexive logics defined by relating semantics and tableau approach" [abstract]

13:00--14:30 Lunch

14:30--15:00 Sara Ipakchi "A justification for Aristotle Thesis AT on the basis of LNC" [abstract]

15:00--16:00 Wolfgang Lenzen "Is connexive logic based on a gross misunderstanding? A Leibnitian approach" [abstract]

16:00--16:15 Coffee break

16:15--17:15 Heinrich Wansing "Connexive Logic and Chellas-Segerberg Semantics" [abstract]

17:15--18:15 Andreas Kapsner "What is Connexivity? Lessons from Constructive and Conditional Logics" [abstract]

19:00-- Dinner