7th Workshop on Connexive Logics

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)