Logic List Mailing Archive

CfP special issue of Stud. Log. on "Frontiers of connexive logic", Deadline: 30 Jun 2022

Call for submissions for a special issue "Frontiers of connexive logic"
Journal: Studia Logica (https://www.springer.com/journal/11225)

Guest editors: Hitoshi Omori (Ruhr University Bochum) and 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), and
• 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 (Spring 2020 Edition). Available at:
https://plato.stanford.edu/entries/logic-connexive/.

Recently, connexive logics have received new attention. Following the
conference Trends in Logic XXI, ”Frontiers of connexive logic” (see
https://sites.google.com/view/trendsinlogicxxi/), this special issue is
meant to present current work on connexive logic to stimulate future
research. Any papers related to connexive logics are welcome. Topics of
interest include (but are not limited to) the following:

• Discussions on the notion of connexive logics;
• Examinations of various systems of connexive logics;
• Relations between connexive logics and other nonclassical logics, such
as conditional logics;
• Philosophical implications of connexive logics;
• Discussions on the relation between Experimental philosophy and
connexivity.

Moreover, we will have a special section on other contra-classical
logics, and thus any papers
related to contra-classical logics, other than connexive logics, are
welcome. Topics of interest
include (but are not limited to) the following:

• Discussions on the notion of contra-classicality;
• Examinations of various systems of contra-classical logics;
• Relations between contra-classical logics and other nonclassical logics;
• Philosophical implications of contra-classical logics.

Submission details:
Submissions of papers, following the general rules of Studia Logica (see
http://www.studialogica.org/authorsinfo.html), should be submitted via
the Editorial Manager system (www.editorialmanager.com/stud ) by
selecting the article type "S.I. : Frontiers of Connexive Logic". The
deadline for submission is: June 30, 2022. For further information,
please contact both guest editors at Hitoshi.Omori@rub.de and
Heinrich.Wansing@rub.de.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam