NACH OBEN

2021

December 2021

The 21st Trends in Logic international conference took place at Ruhr University Bochum from December 6-December 8, 2021 under the title “Frontiers of connexive logic”, see https://sites.google.com/view/trendsinlogicxxi/home.

The conference was organized by Hitoshi Omori and Heinrich Wansing.  Invited lectures were given by:

  • Libor Běhounek (Ostrava) "On the connexivity of fuzzy counterfactuals"

  • Paul Egré (Paris) "Trivalent connexive logics and relevance"

  • Andrea Iacona (Turin) "On the logical form of concessive conditionals"

  • Marko Malink (New York) "The Origins of Conditional Logic: Theophrastus on Hypothetical Syllogisms"

  • Jacek Malinowski (Warsaw) "A Variety of Connexive Logics via Relating Semantics"

  • Edwin Mares (Wellington) "Relevant Semantics for Connexive Logics

  • George Metcalfe (Bern) "Substructural logics with minimally true tautologies"

  • Francesco Paoli (Cagliari) "Intuitionistic logic is a connexive logic"

  • Niki Pfeifer (Regensburg) "Two approaches to validate connexive principles: conditional events and conditional probability"

  • Claudio Pizzi (Siena) "An introduction to Boethian logics"

  • Hans Rott (Regensburg) "Difference-making conditionals and connexivity"

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

  • Dec 2, Corina Strößner (RUB), Default logic and modification
  • Dec 16, Norihiro Kamide (Teikyo University), Expanding the realm of Belnap-Dunn logic: Self-extensional four-valued paradefinite logic, subtrilattice logic, and symmetric paraconsistent quantum logic

November 2021

On November 28 and 29, 2021 the workshop Model Theory of Non-classical Logics: Diversity and its Invariants took place at Ruhr University Bochum, see https://sites.google.com/view/workshopmtnldi/home. The workshop was organized by Grigory Olkhovikov.

Model Theory of Non-classical Logics: Diversity and its Invariants

Speakers:

 

  • Guillermo Badia (University of Queensland)
  • Xavier Caicedo (University of Los Andes)
  • Petr Cintula (Czech Academy of Sciences)
  • Paolo Maffezioli (University of Turin)
  • Carles Noguera (Czech Academy of Sciences)
  • Sergey Drobyshevich (Novosibirsk State University)
  • Grigory Olkhovikov (Ruhr University Bochum)

The third Non-Classical Modal and Predicate Logics conference took place at Ruhr University Bochum from November 23-November 26, 2021, see https://sites.google.com/view/ncmpl2021/home. The invited speakers were:

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

  • Nov 4, Joao Marcos (UFRN) Proof Search on Bilateralist Judgements over Non-Deterministic Semantics
  • Nov 11, Satoru Niki (RUB) Intuitionistic knowledge and disjunction
  • Nov 18, Frederik van de Putte (Rotterdam) The problem of no hands: responsibility voids in collective decisions

October 2021

Heinrich Wansing joined the Program Committee of the Trends in Logic XXII conference "Strong and Weak Kleene logics", Cagliari, 2022.

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

  • Oct 14, Kees van Berkel (TU Vienna), "A proof-theoretic approach to deontic STIT logic and the analysis of ‘Ought-implies-Can’"
  • Oct 21, Andrew Tedder (RZB), "Relevant propositional dynamic logic"
  • Oct 28, Andreas Kapsner (LMU), Connexivity and Explosion

September 2021

Heinrich Wansing chaired the Logic Section of the XXV. Congress of the German Society for Philosophy, September 5th – 9th, 2021, Friedrich-Alexander-Universität Erlangen-Nürnberg, see https://dgphil2020.fau.de/en/programme/sections/

Moreover, he joined the Program Committee of the conference Non-Classical Logics. Theory and Applications 2022, Łódź (Poland).

Sara Ayhan co-organized the conference PHDS IN LOGIC XII,  September 8 - 10, 2021, Freie Universität Berlin (Germany), and virtually.

August 2021

The special issue on negation of  Logical Investigations (Moscow) appeared, see https://logicalinvestigations.ru/issue/view/33?lang=en. It is dedicated to the memory of Prof. J. Michael Dunn and edited by Heinrich Wansing, Grigory Olkhovikov, Hitoshi Omori.

Logical Investigations (Moscow)

The posters for NCMPL 2021 and Trends in Logic XXI were printed:

NCMPL 2021          Trends in Logic XXI

July 2021

On July 12, Christopher Badura very successfully defended his PhD thesis Logic(s) of Imagination. The reviewers were Prof. Franz Berto (St Andrews) and Prof. Heinrich Wansing. Congratulations Christopher!   

The (first) Łódź-Bochum Workshop on Logic took place on July 2nd and 3rd, 2021

Speakers:

Heinrich Wansing joined the Program Committee of the conference Advances in Modal Logic 2022, to be held in Rennes (France).

June 2021

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

  • 10.6 Marcus Rossberg (Connecticut), "An Inferentialist Redundancy Theory of Truth"

  • 17.6 Andrew Tedder (Bochum), "General Neighbourhood Semantics for First Order Relevant Logic"

  • 24.6 Kai Wehmeier (Irvine), "Is Classical Predicate Logic Extensional?"

May 2021

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

  • 6.5 Graham Priest (New York & Melbourne & Bochum), "Substructural Solutions to the Semantic Paradoxes: a Dialetheic Perspective" (Part I)

  • 20.5 Grigory Olkhovikov (Bochum), "A Lindström result for bi-intuitionistic propositional logic"

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 Logic 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 committee of the Twelfth Smirnov Readings in Logic to be held on 24-26 June 2021.

March 2021

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

February 2021

There were the following talks in the Logic 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 Logic 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&t=36s