Logic List Mailing Archive

CfP: 9th Workshop on Connexive Logics, 8-9 September, Łódź (Poland)

9th Workshop on Connexive Logics,  08-09 09.2024, University of Lodz
(16/18 Kopciskiego St., d, Poland)
web-page: https://easychair.org/smart-program/NCL'24/WCL.html

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 be
en motivated by considerations on a content connection between the antecede
nt and consequent of valid implications, as well as by applications that ra
nge from Aristotle's syllogistic to Categorial Grammar and the study of cau
sal implications.

Surveys of connexive logic can be found in:

- S. McCall, "A history of connexivity", in D.M. Gabbay et al. (eds.), Hand
book of the History of Logic. Volume 11. Logic: A History of its Central Co
ncepts, Amsterdam, Elsevier, 2012, pp. 415-449.

- H. Wansing, "Connexive logic", in E. N. Zalta (ed.), The Stanford Encyclo
pedia of Philosophy, plato.stanford.edu

There are also special issues on connexive logic in the IfCoLog Journal of 
Logics and their Applications (2016), based on papers presented during the 
first workshop on connexive logic, Logic and Logical Philosophy (2019), bas
ed on papers presented during the third workshop, Studia Logica (2024), bas
ed on presentations at the Trends in Logic XXI conference "Frontiers of con
nexive logic", and Logic Journal of the IGPL (forthcoming), based on papers
 from the seventh workshop on connexive logic.

As interests in topics related to connexive logics are growing, the ninth w
orkshop aims at discussing directions for future research in connexive logi
cs.

Keynote speakers:

Mateusz Klonowski, NCU, Toru
Jacek Malinowski, IFiS PAN, Warsaw
Satoru Niki, RUB, Bochum
Grigory Olkhovikov, RUB, Bochum
Francesco Paoli, UC, Cagliari.

PC members:

Luis Estrada-Gonzlez UNAM, Mexico City
Andrzej Indrzejczak, U, d
Tomasz Jarmuek, NCU, Toru
Davide Fazio,  UT, Teramo
Andreas Kapsner, MCMP, Munchen
Hitoshi Omori, TU, Sendai
Heinrich Wansing, RUB, Bochum.

Call for abstracts:

Any papers related to connexive logics are welcome. Topics of interest incl
ude (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 modal logics;

- Empirical studies on the scope of connexivity.

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

jarmuzek[at]umk[dot]pl
hitoshiomori[at]gmail[dot]com
heinrich[dot]wansing[at]rub[dot]de

Deadline for submission: June 15, 2024.
Notification of decision: June 30, 2024.

This year, the WCL follows the NCL conference. Details on the website: 

https://easychair.org/cfp/NCL24

We encourage you to participate in both events.

Fee: 100 euros (the fee for participation in NCL+WCL is 200 euros) After th
e WCL9 we are planning a special issue of Bulletin of the Section of Logic 
(https://czasopisma.uni.lodz.pl/bulletin/index).

Organizers

The workshop is organized by University of Lodz in collaboration with Nicol
aus Copernicus University in Toru with the support from the European Res
earch Council. For any inquiries, please write at jarmuzek[at]umk[dot]pl.


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php