### Logic List Mailing Archive

## Workshop on Connexive Logics

**25-30 Jun 2015**

Istanbul, Turkey

Workshop on Connexive Logics
at the Fifth World Conference on Universal Logic
(http://www.uni-log.org/start5.html)
25-30 June 2015, University of Istanbul
Description:
??odern 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
??ristotle's Theses: ~(~A?A), ~(A?~A)
Boethius' Theses: (A?B)?~(A?~B), (A?~B)?~(A?B)
??ystems 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:
??. 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.
??. 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/.
??ecently, connexive logics have received new attention. This workshop is
meant to present current work on connexive logic and to stimulate future
research.
Keynote speaker:
Storrs McCall, McGill University, Canada
Organisers:
The workshop is hosted by Universal Logic 2015 and organised by Hitoshi
Omori, (City University of New York, USA) and Heinrich Wansing (Ruhr
University of Bochum, Germany).
Call for abstracts:
??ny 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 existing systems of connexive logics
* non-explosiveness of logical consequence
??ubmissions 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.
??eadline for submission: December 1st 2014.
Notification of acceptance: December 31st 2014.