Aims and Scope
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, https://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.
Submissions
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 5 pages) should be sent as a pdf file to the organizers at:
At least one of the authors of an accepted paper must register for and attend the conference for the contribution to be presented.
Important dates
- Extended abstract submission deadline: June 15 2024
- Notification: 30 June 2024.
- Workshop: 8-9 September 2024
Fees
- €100 (workshop only)
- €200 (workshop + conference)
Program Committee
- Luis Estrada-González (National Autonomous University of Mexico, Mexico City, Mexico)
- Andrzej Indrzejczak (University of Lodz, Poland)
- Tomasz Jarmużek (Nicolaus Copernicus University, Toruń, Poland)
- Davide Fazio (University of Teramo, Italy)
- Andreas Kapsner (Munich Center for Mathematical Philosophy, Germany)
- Hitoshi Omori (Tohoku University, Sendai, Japan)
- Heinrich Wansing (Ruhr University Bochum, Germany)
Organisers
The workshop is organized by the University of Lodz in collaboration with Nicolaus Copernicus University in Toruń with the support from the European Research Council.
Invited Speakers
- Mateusz Klonowski (Nicolaus Copernicus University, Toruń, Poland)
- Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland)
- Satoru Niki (Ruhr University Bochum, Germany)
- Grigory Olkhovikov (Ruhr University Bochum, Germany)
- Francesco Paoli (University of Cagliari, Italy)
Contact
For any inquiries, please write to
- Tomasz Jarmużek (jarmuzek@umk.pl).
