4th Workshop on Connexive Logics

After three workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016) and Kyoto (September 2017), a fourth workshop on connexive logics will take place in Bochum (Germany) as part of “Logic in Bochum IV” from 19th to 21st of October, 2018.

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)

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 (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/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. The entire issue is available at: http://www.collegepublications.co.uk/journals/ifcolog/?00007

There is another special issue in preparation based on papers presented during the third workshop.

As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

Keynote speakers (in alphabetical order)

Organisers

The workshop is organised by Hitoshi Omori (Japan Advanced Institute of Science and Technology, Japan) and Heinrich Wansing (Ruhr University of Bochum, Germany).

Call for abstracts

Any papers related to connexive logics, as well as contra-classical logics, are welcome. Topics of interest include (but are not limited to) the following:

- Historical considerations of the notion of connexivity;

- Discussions on the notion of connexive logics;

- Examinations of various systems of connexive logics and contra-classical logics;

- Relations between connexive logics and other nonclassical logics, such as conditional logics;

- Philosophical implications of connexive logics and contra-classical logics;

- Discussions on the relation between Experimental philosophy and connexivity.

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

hitoshiomori[at]gmail[dot]com and heinrich[dot]wansing[at]rub[dot]de.

Deadline for submission: July 15, 2018.

Notification of acceptance: July 31, 2018.

Accepted Papers (in alphabetical order)

  • Vincenzo Crupi: A probabilistic route to connexivity: Evidential conditionals
  • Luis Estrada-González and Elisángela Ramírez-Cámara: Connexive extensions of LP
  • Thomas M. Ferguson: Why an Authentic Constructivism Should Be (Proscriptively) Connexive
  • Andrea Iacona: Strictness vs Connexivity
  • Tomasz Jarmużek and Jacek Malinowski: Modal Boolean connexive logics defined by relating semantics and tableau approach
  • Matthias Unterhuber: Convergence Results for Probabilistic Logics and Connexive Principles

Program

October 19

09:00-10:00 Claudio Pizzi: Counterfactuals in the Framework of the Logic of Consequential Implication [abstract]

10:00-11:00 Niki Pfeifer: Connexive principles under uncertainty [abstract]

11:00-11:30 Coffee break

11:30-12:15 Matthias Unterhuber: Convergence Results for Probabilistic Logics and Connexive Principles [abstract]

12:15-13:00 Andrea Iacona: Strictness vs Connexivity [abstract]

13:00-14:30 Lunch

14:30-15:30 Andreas Kapsner: Connexive Logic and Pragmatics [abstract]

15:30-16:30 Wolfgang Lenzen: A Critical Examination of the Historical Origins of Connexive Logic [abstract]

16:30-17:00 Coffee break

17:00-17:45 Thomas M. Ferguson: Why an Authentic Constructivism Should Be (Proscriptively) Connexive [abstract]

19:30- Workshop Dinner

===========

October 20

09:00-10:00 Luis Estrada-González: A foundation for contra-classical logics [abstract]

10:00-11:00 Francesco Paoli: Algebraic Analysis of Demodalised Analytic Implication [abstract]

11:00-11:30 Coffee break

11:30-12:15 Luis Estrada-González and Elisángela Ramírez-Cámara: Connexive extensions of LP [abstract]

12:15-13:00 Tomasz Jarmużek and Jacek Malinowski: Modal Boolean connexive logics defined by relating semantics and tableau approach [abstract]

13:00-14:30 Lunch

14:30-15:30 Nissim Francez: Reconsidering Negation as Cancellation [abstract]

15:30-16:30 John Cantwell: What if nothing follows from a contradiction? [abstract]

16:30-17:00 Coffee break

17:00-18:00 Paul Egré: From Many-Valued Consequence to Many-Valued Connectives [abstract]

===========