April 2021

The website and call for papers for Non-Classical Modal and Predicate Logics, Bochum, November 23-November 26, 2021 has gone online.

Heinrich Wansing has been granted an ERC 2020 Advanced Grant for a project on Contradictory Logics: A Radical Challenge to Logical Orthodoxy

see https://forschung.ruhr-uni-bochum.de/en/inconsistent-logics

https://erc.europa.eu/sites/default/files/document/file/erc-2020-adg-results-sh.pdf

https://erc.europa.eu/sites/default/files/document/file/erc-2020-adg-statistics.pdf

There were the following talks in the Loigc and Epistemology colloquium:

  • April 15: Evgeny Borisov (Tomsk), "A Logic for Cross-world Predication"

  • April 22: Davide Fazio (Cagliari), "On Paraconsistent Belief Revision from an algebraic perspective"

  • April 29: Satoru Niki (Bochum), "Revisiting justification semantics for intuitionistic logic"

Heinrich Wansing joined the program commitee of the Twelfth Smirnov Readings in Logic to be held on 24-26 June 2021.

March 2021

Heinrich Wansing joined the program commitee of LOGICA 2021, http://logika.flu.cas.cz/logica.

February 2021

There were the following talks in the Loigc and Epistemology colloquium:

  • February 4: Allard Tamminga (Greifswald) "Expressivity Results for Deontic Logics of Collective Agency"

  • February 11: Grigory Olkhovikov (Bochum) "Lindström Theorems in Modal and Non-Classical Logics"

January 2021

There were the following talks in the Loigc and Epistemology colloquium:

  • January 7: Graham Priest (CUNY & Melbourne & Bochum) "Reflections on Orlov" 

  • January 14: Hitoshi Omori (Bochum) "An alternative semantics for infectious logics"

  • January 21: Lisa Michajlova (Bochum) "Combining Logic & Probability - A Probabilistic Argumentation Framework"

  • January 28:  Daniel Skurt (Bochum) "Neighbourhood semantics for FDE-based modal logics"

The inclusion of a quote from Rudolf Carnap notwithstanding, the following video is among things that make me not celebrate the "World Logic Day": https://www.youtube.com/watch?v=uJJZLQsukZY