A Workshop on Dialetheism and Paraconsistent Logic

Aim

The aim of this workshop is to discuss and exchange new ideas and recent developments related to dialetheism and paraconsistent logic.

Date & Venue

  • Date: September 2--3, 2022.

  • Venue: GA 04/187 (Mercator room), Ruhr University Bochum. (See this map for GA building.)

Speakers

  • Jonas R. Becker Arenhart (Florianopolis)

  • Michael De (Utrecht)

  • Sergey Drobyshevich (Bochum)

  • Andreas Kapsner (Munich)

  • Martin Pleitz (Münster)

  • Graham Priest (New York & Melbourne & Bochum)

  • Heinrich Wansing (Bochum)

  • Zach Weber (Otago)

Program

September 2

10:30--12:00 Zach Weber "On functions, relations, and (inconsistent?) computations"

12:00--13:30 Lunch

13:30--15:00 Sergey Drobyshevich "On Moisil's modal logic" [Joint work with Heinrich Wansing and Sergei Odintsov]

15:15--16:45 Michael De "On the semantics for relevance logic"

17:00--18:30 Heinrich Wansing "Remarks on semantic information and logic"

September 3

10:30--12:00 Jonas R. Becker Arenhart "Change of logic, without change of meaning" [Joint work with Hitoshi Omori]

12:00--13:30 Lunch

13:30--15:00 Martin Pleitz "Make Truths, Not Paradox"

15:15--16:45 Andreas Kapsner "Connexivity, Paraconsistency and Dialetheism"

17:00--18:30 Graham Priest "Some Comments on VDV (Variable Designated Value) Logics"

Acknowledgment

This workshop is generously supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research.

Organizer

The workshop is organized by Hitoshi Omori. For any inquiries, please write to Hitoshi at: Hitoshi [dot] Omori [at] rub [dot] de.