9th Workshop on Connexive Logics, 08-09 09.2024, University of Lodz
(16/18 Kopcińskiego St., Łódź, Poland)
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
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), based on papers presented during the third workshop,
Studia Logica (2024), based on presentations at the Trends in Logic XXI
conference "Frontiers of connexive 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 workshop aims at discussing directions for future research in
connexive
logics.
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-González UNAM, Mexico City
Andrzej Indrzejczak, UŁ, Łódź
Tomasz Jarmużek, 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
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 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 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 the 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
Nicolaus Copernicus University in Toruń
with the support from the European Research Council.
For any inquiries, please write at jarmuzek[at]umk[dot]pl.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b0105c38-4a72-43e5-850c-9f547c5098d0%40ruhr-uni-bochum.de.
