[FOM] Call for abstracts for 2nd Workshop on Connexive Logics

[Hitoshi Omori]

*Apologies for cross posting*

2nd Workshop on Connexive Logics

After a first workshop on connexive logics at the Fifth World Conference on
Universal Logic in Istanbul, June 2015,
https://sites.google.com/site/connexivelogic/events/unilog2015, a second
workshop on connexive logics will take place as as part of “Logic in Bochum
2”, 28th of June 2016, Raesfeld Castle (Germany).

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

Recently, connexive logics have received new attention. This workshop is
meant to present current work on connexive logic and to stimulate future
research.

Keynote speaker:
Claudio Pizzi (University of Siena)

Organisers:
The workshop is organised by Hitoshi Omori, (Kyoto University, Japan) and
Heinrich Wansing (Ruhr University of Bochum, Germany).

Call for abstracts:

Any papers related to connexive logics are welcome. Topics of interest
include (but are not limited to) the following:

- Historical considerations of the notion of connexivity
- Arguments for or against connexive logics
- Examinations of systems of connexive logics
- non-explosiveness of logical consequence

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

hitoshiomori at gmail.com and heinrich.wansing at rub.de.

Deadline for submission: April 1st 2016.
Notification of acceptance: April 30th 2016.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160121/549726d6/attachment.html>