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 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)

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.