After a first workshop on connexive logics at the Fifth World Conference on Universal Logic in Istanbul, June 2015, a second workshop on connexive logics will take place as as part of “Logic in Bochum 2”, 28th of June 2016, Raesfeld Castle (Germany).

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 ofconnexive 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/.

Recently, connexive logics have received new attention. This workshop is meant to present current work on connexive logic and to stimulate future research.

The keynote speaker for the workshop is Claudio Pizzi (University of Siena).