Logic List Mailing Archive

7th Workshop on Connexive Logics

26-28 Oct 2022
Mexico City, Mexico


CALL FOR PAPERS (Mexico City, Deadline: 01.08.2022)

7th Workshop on Connexive Logics
 
After six workshops on connexive logics held in Istanbul (June 2015),
Raesfeld Castle (June 2016), Kyoto (September 2017), Bochum (October 2018
and November 2019) and Zoom (December 2020), and a conference Trends in
Logic devoted to the subject (Bochum and Zoom, December 2021), the seventh
workshop on connexive logics will take place in Mexico City from October
26th to 28th, 2022.
 
*Description*
Connexive logics are orthogonal to classical logic insofar as they validate
certain non-theorems of classical logic involving mainly negation and
implication, among them
 
-  ~(~A ->  A)
-  ~((A ->  B)&(~A ->  B))
-  (A ->  B) ->  ~(A ->  ~B)
-  ~(A ->  ~A)
-  ~((A ->  B)&(A ->  ~B))
-  ~ (A ->  B) ->  (A ->  ~B)
 
Connexive principles were discussed again in the contemporary era by Hugh
MacColl at the dawn of 19th century and by Everett J. Nelson in the 1930s;
they gained a new momentum in the 1960s with seminal papers by Richard B.
Angell and Storrs McCall and their relevantist interlocutors, and then they
received new attention in the 21st century thanks to works by Claudio Pizzi
and Heinrich Wansing, among others. Since then, systems of connexive logic
have been motivated by considerations of a content connection between the
antecedent and consequent of valid implications, cancellation-like accounts
of negation, 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
<https://plato.stanford.edu/entries/logic-connexive/>”, in E. N. Zalta
(ed.), The Stanford Encyclopedia of Philosophy.
 
There is a special issue on connexive logics in the *IfCoLog Journal of
Logics and their Applications*
<http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00007>  
based
on papers presented during the first workshop. Another special issue,
published in Logic and Logical Philosophy
<https://apcz.umk.pl/LLP/issue/view/1613>, is based on papers presented
during the third workshop. One more special issue, this time in Studia
Logica<https://www.springer.com/journal/11225/updates/20061914>, is being
prepared after Trends in Logic XXI.
 
As interests in topics related to connexive logics are growing, the seventh
workshop aims at discussing directions for future research in connexive
logics. Special focus will be given to discussions on the nature of
connexivity, the place of connexive logics among non-classical logics, the
historical roots of connexive logics and empirical research on connexivity
and connexive principles.
 
*Keynote speakers (in alphabetical order)*
- Tomasz Jarmużek (Toruń)
- Andreas Kapsner (Munich)
- Elisángela Ramírez-Cámara (Mexico City)
- Sara L. Uckelman (Durham, TBC)
- Heinrich Wansing (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 or conditional logics;
- Philosophical implications and applications of connexive logics;
- Connexive-like principles for binary connectives other than implication;
- Empirical studies on the scope of connexivity.
 
Submissions of extended abstracts (up to two pages) should be sent as a pdf
file at
 
non[dot]logic[dot]IIF[at]gmail[dot]com
 
- Deadline for submission: August 1, 2022.
- Notification of decision: September 1, 2022.
 
*Venue*
The workshop will take place at UNAM’s Institute for Philosophical Research.
 
*Organizers*
The workshop is organized by Fernando Cano-Jorge (Universidad Panamericana)
and Luis Estrada-González (UNAM), with generous support from the PAPIIT
project IG400422, the Institute for Philosophical Research and UNAM’s PAEP
funds. For any inquiries, please write at
non[dot]logic[dot]IIF[at]gmail[dot]com.
 
*Programme committee*
Luis Estrada-González (Mexico City)
Thomas M. Ferguson (Amsterdam)
Nissim Francez (Haifa)
Mateusz Klonowski (Toruń)
Wolfgang Lenzen (Osnabruck)
Hitoshi Omori (Bochum)
Claudio Pizzi (Siena)
 
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam