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. The deadline for submission is extended to: August 31, 2022. For further information, please contact both guest editors at Hitoshi[dot]Omori[at]rub[dot]de and Heinrich[dot]Wansing[at]rub[dot]de.

Call for abstracts for the seventh workshop on connexive logic

After six workshops on connexive logics held in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017), Bochum (October 2018 and November 2019) and Zoom (December 2020), and a conference Trends in Logic devoted to the subject (Bochum and Zoom, December 2021), the seventh workshop on connexive logics will take place in Mexico City from October 26th to 28th, 2022.

Description

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication, among them

• ~(~A -> A)

• ~((A -> B)&(~A -> B))

• (A -> B) -> ~(A -> ~B)

• ~(A -> ~A)

• ~((A -> B)&(A -> ~B))

• ~ (A -> B) -> (A -> ~B)

Connexive principles were discussed again in the contemporary era by Hugh MacColl at the dawn of 19th century and by Everett J. Nelson in the 1930s; they gained a new momentum in the 1960s with seminal papers by Richard B. Angell and Storrs McCall and their relevantist interlocutors, and then they received new attention in the 21st century thanks to works by Claudio Pizzi and Heinrich Wansing, among others. Since then, systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, as well as 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 <https://plato.stanford.edu/entries/logic-connexive/>”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.

There is a special issue on connexive logics in the *IfCoLog Journal of Logics and their Applications* <http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00007> based on papers presented during the first workshop. Another special issue, published in Logic and Logical Philosophy <https://apcz.umk.pl/LLP/issue/view/1613>, is based on papers presented during the third workshop. One more special issue, this time in Studia Logica<https://www.springer.com/journal/11225/updates/20061914>, is being prepared after Trends in Logic XXI.

As interests in topics related to connexive logics are growing, the seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

Keynote speakers (in alphabetical order)

• Tomasz Jarmużek (Toruń)

• Andreas Kapsner (Munich)

• Elisángela Ramírez-Cámara (Mexico City)

• Sara L. Uckelman (Durham, TBC)

• Heinrich Wansing (Bochum)

Call for abstracts

Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:

• Philosophical and historical considerations of the notion of connexivity;

• Examinations of various systems of connexive logics;

• Relations between connexive logics and other non-classical logics, such as relevance or conditional logics;

• Philosophical implications and applications of connexive logics;

• Connexive-like principles for binary connectives other than implication;

• Empirical studies on the scope of connexivity.

Submissions of extended abstracts (up to two pages) should be sent as a pdf file at

non[dot]logic[dot]IIF[at]gmail[dot]com

• Deadline for submission: August 1, 2022.

• Notification of decision: September 1, 2022.

Venue

The workshop will take place at UNAM’s Institute for Philosophical Research.

Accepted Papers (in alphabetical order)

TBA

Program

TBA

Organisers

The workshop is organized by Fernando Cano-Jorge (Universidad Panamericana) and Luis Estrada-González (UNAM), with generous support from the PAPIIT project IG400422, the Institute for Philosophical Research and UNAM’s PAEP funds. For any inquiries, please write at non[dot]logic[dot]IIF[at]gmail[dot]com.

Programme committee

• Luis Estrada-González (Mexico City)

• Thomas M. Ferguson (Amsterdam)

• Nissim Francez (Haifa)

• Mateusz Klonowski (Toruń)

• Wolfgang Lenzen (Osnabruck)

• Hitoshi Omori (Bochum)

• Claudio Pizzi (Siena)