The second workshop on non-trivial negation inconsistent logics is going to be held at Ruhr University Bochum, September 12-13, 2025. The aim is to present results of the ConLog-ERC Advanced Grant Project: Contradictory Logics - A Radical Challenge to Logical Orthodoxy and to discuss some of the following topics:
Non-trivial negation inconsistent
relevance logics,
connexive logics,
logics of logical bilattices,
logics in which double negation is understood as some other negation,
modal logics,
higher-order logics,
Abelian logics,
Philosophical considerations of contradictory logics, especially in philosophy of science and the philosophy of logic,
Experiments related to the endorsement of contradictory logics,
Historical considerations of contradictory logics.
Sara Ayhan
[RUB]
Maria Beatrice Buonaguidi
[King's College London]
Paul Egré
[École normale supérieure, Paris]
Luis Estrada González
[National Autonomous University of Mexico]
Satoru Niki
[Kanagawa University]
Grigory Olkhovikov [RUB]
Hitoshi Omori
[Tohoku University]
Graham Priest
[City University of New York, University of Melbourne, RUB, Tohoku University]
Yaroslav Shramko [Kryvyi Rih State Pedagogical University]
Heinrich Wansing [RUB,Tohoku University]
The workshop is organized by the group around Heinrich Wansing working in the ERC Advanced Grant Project ConLog: Contradictory Logics - A Radical Challenge to Logical Orthodoxy :
Heinrich Wansing, Sara Ayhan, Edoardo Canonica, Robin Martinot, Grigory Olkhovikov, Daniel Skurt
For any questions or inquiries please send a mail to:
ebru.tekin-m9c@ruhr-uni-bochum.de
Registration opening:
Registration closing:
Conference:
July 1, 2025
August 29, 2025 (for on-site participation)
September 11, 2025 (for online participation)
September 12-13, 2025
GABF 04/516, RUB, Universitätsstraße 150 44801 Bochum
Most talks will be presented on-site in Bochum. Participation at the conference will be made possible in a hybrid format, though.
Funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant agreement ERC-2020-ADG, 101018280, ConLog.