After four workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017), and Bochum (October 2018), a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019. The workshop will be collocated with a workshop The Logic of Paradox, after 40 years, planned for 25--27 November, 2019 and A Workshop on FDE-based Modal Logics, planned for 28 November 2019.
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
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:
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 of Logic and Logical Philosophy based on papers presented during the third workshop. The entire issue is available at: https://apcz.umk.pl/czasopisma/index.php/LLP/issue/view/1613/showToc
As we are observing some growing interests in topics related to connexive logics, the fifth 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:
Submissions of extended abstracts (up to five pages) should be sent to both organizers as a pdf file at
Hitoshi[dot]Omori[at]rub[dot]de and heinrich[dot]wansing[at]rub[dot]de.
Deadline for submission: October 15, 2019.
Notification of acceptance: October 31, 2019.
Accepted Papers (in alphabetical order)
Program
09:00--10:00 Andrea Iacona "The Evidential Conditional" [abstract]
10:00--11:00 Vincenzo Crupi "Three ways of being non-material" [abstract]
11:00--11:30 Coffee break
11:30--12:10 Paolo Maffezioli "Labelled Connexive Logic" [abstract]
12:10--12:50 Mateusz Klonowski "Axiomatization of Boolean-connexive logics and some of their modal extensions" [abstract]
12:50--14:00 Lunch
14:00--14:40 Alex Belikov "Dummett’s Truth Theory and Connexive Logic" [abstract]
14:40--15:20 Robert van Rooij "Causal Connexions: From generics and conditionals to modal syllogisms" [abstract]
15:20--16:20 Spencer Johnston "Connexive Principles after a 'Classical Turn' in Medieval Logic" [abstract]
16:20--16:45 Coffee break
16:45--17:45 Marko Malink "Peripatetic Connexive Logic" (Joint work with Anubav Vasudevan) [abstract]
Collocated events
Organisers
The workshop is organised by Hitoshi Omori (Ruhr University of Bochum, Germany) and Heinrich Wansing (Ruhr University of Bochum, Germany). For any inquiries, please write to Hitoshi at: Hitoshi [dot] Omori [at] rub [dot] de.