Connexive Logics

Workshop organized by

Hitoshi Omori
(City University of New York, USA)

and

Heinrich Wansing
(University of Bochum, Germany)

You can download here the poster

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). Forthcoming 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.

Call for papers

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 existing 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@gmail.com  and Heinrich.Wansing@rub.de

Deadline for submission: December 1st 2014.

Notification of acceptance: December 31st 2014.

 

 

 

 

 

 

 

Keynote Speaker

 

Storrs McCall
McGill University, Canada
Connexive Logic based on an Incompatibility Operator

June 26, 2015

Contributing Speakers

Thomas Macaulay Ferguson, City University of New York, USA,  On Arithmetic Formulated Connexively

Hitoshi Omori, City University of New York, USA, A Simple Connexive Extension of the Basic Relevant Logic BD

Valeria de Paiva, Nuance Communciation, USA   Connexive Logic and Textual Entailment

Matthias Unterhuber, University of Bern, Switzerland,   The Strange Status of The Principle of Conditional Non-Contradiction

Heinrich Wansing, University of Bochum, Germany, Natural Deduction for Bi-connexive Logic