Call for submissions for a special issue on connexive logics

GUEST EDITORS:

Hitoshi Omori (Kyoto University)
Heinrich Wansing (Ruhr University Bochum)

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 E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). Available at: http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/

Recently, connexive logics have received new attention. This special issue, which is based on the third workshop on connexive logic, is meant to present current work on connexive logic and to stimulate future research. 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;
– Applications of connexive logics.

SUBMISSION DETAILS:
Manuscripts should be suitable for blind reviewing. The use of Latex is not necessary but only an option. Thus we welcome submissions in any format. Submissions should be sent to all the editors as a pdf file to

hitoshiomori@gmail.com and Heinrich.Wansing@rub.de

by December 31, 2017. For further information, please contact one of the guest editors.

Polish Logic and Logical Philosophy Nicolaus Copercicus University Faculty of Humanities Department of Logic NCU Graphic Designer Copyright