29 Nov 2019
Bochum, Germany
5th Workshop on Connexive Logics After four workshops on connexive logics in Istanbul (June 2015), Raesfeld Castle (June 2016), Kyoto (September 2017) and Bochum (October 2018), a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019. The workshop will be collocated with a workshop on the Logic of Paradox, from the 25th to 27th, and a workshop on FDE-based modal logic on the 28th. 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 Aristotle's Theses: ~(~A => A), ~(A => ~A) Boethius' Theses: (A => B)=> ~(A => ~B), (A => ~B) => ~(A => B) 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 Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/. There is also a special issue on connexive logics in the IfCoLog Journal of Logics and their Applications based on papers presented during the first workshop. The entire issue is available at: http://www.collegepublications.co.uk/journals/ifcolog/?00007 There is another special issue of Logic and Logical Philosophy in preparation based on papers presented during the third workshop. As we are observing some growing interests in topics related to connexive logics, the fifth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics. Keynote speakers (in alphabetical order): Vincenzo Crupi Andrea Iacona Spencer Johnston Marko Malink Organisers: The workshop is organised by Hitoshi Omori (Ruhr University Bochum, Germany) and Heinrich Wansing (Ruhr University Bochum, Germany). Call for abstracts: Any papers related to connexive logics are welcome. Topics of interest include (but are not limited to) the following: - Historical considerations of the notion of connexivity; - Discussions on the notion of connexive logics; - Examinations of various systems of connexive logics; - Relations between connexive logics and other nonclassical logics, such as conditional logics; - Philosophical implications of connexive logics; - Discussions on the relation between Experimental philosophy and connexivity. Submissions of extended abstracts (up to five pages) should be sent to both organizers as a pdf file at Hitoshi.Omori@rub.de and heinrich.wansing@rub.de. Deadline for submission: October 15, 2019. Notification of acceptance: October 31, 2019. -- [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