Embedded Files
Since the first workshop on connexive logics in Istanbul in June 2015, eight workshops (in Raesfeld Castle, Kyoto, Bochum, Bochum, Bochum (three times, not a mistake), Mexico City, Turin and Lodz) and one conference (Trends in Logic XXI) in Bochum (again!) took place. This year, the 10th workshop on connexive logics will take place in Sendai (Japan) as part of a “Week of Logic”, on the 27th and 28th of November 2025.
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 (in Polish notation)
Aristotle's Theses: NCNpp, NCpNp
Boethius' Theses: CCpqNCpNq, CCpNqNCpq
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 E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
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) and an edited volume "60 Years of Connexive Logic" (2025) 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. Interests in topics related to connexive logics are growing, and this tenth workshop is meant to present current work on connexive logic and to stimulate future research.
Keynote speakers
Sara Ayhan (Bochum)
Nils Kürbis (Bochum)
Satoru Niki (Yokohama)
Graham Priest (NYC, Melbourne, Bochum, Jinan and Sendai)
Organisers
The workshop is organised by Hitoshi Omori, (Tohoku University, Japan) and Takako Nemoto (Tohoku University, Japan).
Call for abstracts
Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following:
Philosophical considerations of the notion of connexivity;
Arguments for or against connexive logics;
Examinations of systems of connexive logics;
non-explosiveness of logical consequence;
Empirical studies on the scope of connexivity.
Submissions of abstracts (up to two pages) should be sent to both organizers as a pdf file at:
hitoshiomori[at]gmail[dot]com and nemototakako[at]tohoku[dot]ac[dot]jp
Deadline for submission: October 12th 2025.
Notification of acceptance: October 20th 2025.
Date & Venue
Date: November 27--28, 2025.
Venue
Program
November 27
10:00-11:00 Nils Kürbis "tba"
11:00-11:20 Break
11:20-12:20 Shuhei Shimamura "Coherence and Connexivity"
12:20-13:30 Lunch
13:30-14:30 Florian Marion "On Wyman’s Theory of the Meaninglessness of Contradictions: Cancellation View of Negation and Reductio ad Absurdum"
14:30-14:50 Break
14:50-15:50 Satoru Niki "tba"
November 28
10:00-11:00 Sara Ayhan "Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics"
11:00-11:20 Break
11:20-12:20 Daniel Skurt "Solving a New Paradox of Deontic Logic (and a dozen other paradoxes) with RNmatrices for MC-based Modal Logics"
12:20-13:30 Lunch
13:30-14:30 Heinrich Wansing "tba"
14:30-14:50 Break
14:50-15:50 Graham Priest "Cooper's Logic of Ordinary Discourse"
Acknowledgment
This workshop is partially supported by Japan Society for the Promotion of Science (JSPS) through grant 24K21344.
Page updated
Google Sites
Report abuse