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 Puebla (Mexico) from August 31st to September 2nd, 2020 Bochum from December 3rd to 4th, 2020. The workshop will be collocated with the Second Bilateral Meeting UNAM-UniCa on Analytic Philosophy happening in Mexico City on August 27th and 28th, 2020 the Logic in Bochum VI, planned on December 5th.
Description
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.
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ń)
Christopher Martin (Auckland) [Cancelled, unfortunately, due to COVID-19]
Francesco Paoli (Cagliari)
Yale Weiss (New York)
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[dot]logic[dot]IIF[at]gmail[dot]com
Hitoshi[dot]Omori[at]rub[dot]de and heinrich[dot]wansing[at]rub[dot]de and loisayaxsegrob[at]gmail[dot]com
Deadline for submission: July 15, 2020. August 31, 2020.
Notification of decision: July 31, 2020. September 30, 2020.
Venue
The workshop is planned in a hybrid format. The workshop will take place completely online via Zoom.
(Physical venue) Jahrhunderthalle, Bochum.
(Online) Via Zoom. Please contact Hitoshi for the details.
Accepted Papers (in alphabetical order)
Guido Gherardi & Eugenio Orlandelli "Super-strict implications and connexivity"
Daniil Kozhemiachenko "Connexive logic for strict falsification"
Wolfgang Lenzen "The Four Stoics’ Conceptions of Conditionals"
Ricardo Arturo Nicolás Francisco "Relating semantics for totally connexive and hyper-connexive logics"
Niki Pfeifer & Giuseppe Sanfilippo "Connexivity in coherence-based probability logic"
Eric Raidl, Andrea Iacona & Vincenzo Crupi "The Logic of the Evidential Conditional"
Elisángela Ramírez-Cámara "Relating semantics for NL"
Elisángela Ramírez-Cámara "Humble connexivity and scientific confirmation"
Program (Central European Time)
December 3
Chair: Heinrich Wansing
13:00--14:00 Francesco Paoli "An untold story: The primacy of connexive logic" [abstract]
14:10--14:55 Guido Gherardi & Eugenio Orlandelli "Super-strict implications and connexivity" [abstract]
14:55--15:15 Coffee/tea break
Chair: Sara Ayhan
15:15--16:00 Wolfgang Lenzen "The Four Stoics’ Conceptions of Conditionals" [abstract]
16:10--16:55 Elisángela Ramírez-Cámara "Humble connexivity and scientific confirmation" [abstract]
16:55--17:15 Coffee/tea break
Char: Hitoshi Omori
17:15--18:15 Yale Weiss "Pure Theories of Connexive Implication" [abstract]
December 4
Chair: Fabio De Martin Polo
13:00--13:45 Niki Pfeifer & Giuseppe Sanfilippo "Connexivity in coherence-based probability logic" [abstract]
13:55--14:40 Eric Raidl, Andrea Iacona & Vincenzo Crupi "The Logic of the Evidential Conditional" [abstract]
14:40--15:00 Coffee/tea break
Chair: Daniel Skurt
15:00--15:45 Daniil Kozhemiachenko "Connexive logic for strict falsification" [abstract]
15:55--16:40 Ricardo Arturo Nicolás Francisco "Relating semantics for totally connexive and hyper-connexive logics" [abstract]
16:40--17:00 Coffee/tea break
Chair: Luis Estrada-González
17:00--17:45 Elisángela Ramírez-Cámara "Relating semantics for NL" [abstract]
17:55--18:55 Tomasz Jarmużek "Boolean connexive logics: relating semantics and axiomatizations" [abstract]
Collocated events
Second Bilateral Meeting UNAM-UniCa on Analytic Philosophy, August 27--28, 2020, Mexico City.
Logic in Bochum VI, December 5, 2020.
Organisers
The workshop is organized by Luis Estrada-González (UNAM), Claudia Lucía Tanús-Pimentel (UNAM), Roberto Casales-García (UPAEP) and José Martín Castro-Manzano (UPAEP), Hitoshi Omori (RUB) and Heinrich Wansing (RUB), 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 the Ruhr-Universität Bochum, a Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation, funded by the German Ministry for Education and Research, and the PAPIIT project IN403719. For any inquiries, please write at non[dot]logic[dot]IIF[at]gmail[dot]com Hitoshi[dot]Omori[at]rub[dot]de or loisayaxsegrob[at]gmail[dot]com.