3 - 5 December 2020, 6th Workshop on Connexive Logics, Bochum (Germany)
6th Workshop on Connexive Logics
After five workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017), and Bochum (October 2018 and November 2019), a sixth workshop on connexive logics will take place in Bochum (Germany) on December 3 and 4, 2020.
Originally this workshop was to be held in Puebla (Mexico) from August 31st to September 2nd, 2020, and co-located with the Second Bilateral Meeting UNAM-UniCa on Analytic Philosophy happening in Mexico City on August 27th and 28th, 2020. The workshop was postponed and the venue changed due to the Covid-19 pandemic,
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)
Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Since then, systems of connexive logic have been motivated by considerations on a content connection between the antecedent and consequent of valid implications, 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”, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/logic-connexive/.
There is also a special issue on connexive logics in the IfCoLog Journal of Logics and their Applications based on papers presented during the first workshop. Another special issue, published in Logic and Logical Philosophy, is based on papers presented during the third workshop.
As interests in topics related to connexive logics are growing, the sixth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics.
Keynote speakers (in alphabetical order)
- Tomasz Jarmużek (Toruń)
- Francesco Paoli (Cagliari)
- Yale Weiss (New York, TBC)
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 of connexive logics;
- Empirical studies on the scope of connexivity.
Submissions of extended abstracts (up to five pages) should be sent as a pdf file at non.logic.IIF at gmail.com.
Deadline for submission: August 31, 2020.
Notification of decision: September 30, 2020.
The workshop is organized by
Luis Estrada-González (UNAM)
Claudia Lucía Tanús-Pimentel (UNAM)
Roberto Casales-García (UPAEP)
José Martín Castro-Manzano (UPAEP)
with the generous support from UPAEP, the PAPIIT project IN403719 “Intensionality all the way down. A new plan for logical relevance” and UNAM’s PAEP funds through the Graduate Program in Philosophy of Science. For any inquiries, please write at non.logic.IIF at gmail.com.