[FOM] Call for submissions for a special issue on connexive logics

[Hitoshi Omori]

*Apologies for cross posting*

Call for submissions for a special issue on connexive logics

JOURNAL: IfCoLog Journal of Logics and their Application
(http://www.collegepublications.co.uk/journals/ifcolog/)

GUEST EDITORS:
Thomas Ferguson (City University of New York)
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
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.

We are also delighted to announce that the special issue will include the
following two previously unpublished papers by forerunners of modern
connexive logics.
-- Richard B. Angell, ``Connexive Implication, Modal Logic, and Subjunctive
Conditionals''.
-- Richard Routley and Hugh Montgomery, ``Models for Connexive Logics''.

SUBMISSION DETAILS:

Papers, suitable for blind reviewing, must be up to twenty pages. The style
file of the journal is available here
<https://dl.dropboxusercontent.com/u/36267271/ifcolog.cls> (check also this
<https://www.dropbox.com/s/wq6apdkrhrti4kl/GuideForAuthors.pdf?dl=0> guide
for authors), but 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

tferguson at gradcenter.cuny.edu , hitoshiomori at gmail.com and
Heinrich.Wansing at rub.de

by October 15, 2015. For further information, please contact one of the
guest editors.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150807/7e606670/attachment.html>