6th Workshop on Connexive Logics [POSTPONEMENT AND CHANGE OF VENUE]

Luis Estrada González loisayaxsegrob at gmail.com
Mon Jul 13 23:11:27 EDT 2020


***Apologies for cross-posting***

6th Workshop on Connexive Logics

Due to the Covid-19 pandemic, the sixth workshop on connexive logics will
be postponed and the venue will be changed. Now it will be held in Bochum
on December 3 and 4, 2020. Modified submission and notification deadlines,
as well as other details, can be found below.


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,
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.


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 logics, conditional logics or non-normal modal
logics;

- Empirical studies on the scope of connexivity.

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

Hitoshi[dot]Omori[at]rub[dot]de

heinrich[dot]wansing[at]rub[dot]de

loisayaxsegrob[at]gmail[dot]com

Deadline for submission: August 31, 2020.

Notification of decision: September 30, 2020.


Organizers

The workshop is organized by

Hitoshi Omori (RUB), Heinrich Wansing (RUB) and Luis Estrada-González (UNAM)

with the generous support from 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 Hitoshi[dot]Omori[at]rub[dot]de or
loisayaxsegrob[at]gmail[dot]com.


-- 
Luis Estrada-González | https://unam.academia.edu/LuisEstradaGonzález

Interested in my research? See two of my latest works published:

"Knot is not that nasty (but it is hardier than tonk)"
<https://link.springer.com/article/10.1007/s11229-019-02498-x> (with Ellie
Ramírez-Cámara), *Synthese*.

"A Nelsonian response to 'the most embarrassing of all twelfth-century
arguments'
<https://www.tandfonline.com/doi/full/10.1080/01445340.2019.1656992>" (with
Ellie Ramírez-Cámara), *History and Philosophy and Logic*.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200713/a3376f70/attachment-0001.html>


More information about the FOM mailing list