The Logic of Paradox, after 40 years

Aim

There are a number of systems of paraconsistent logic in the literature since the modern birth of paraconsistent logic in 1948, but not all systems have been equally important. One of the most important, as well as famous, systems is the three-valued logic known as the Logic of Paradox (or LP). The logic itself was already introduced by Asenjo in the 60s, but it was Priest who systematically developed various theories based on LP and used them to defend the view known as dialetheism. As this year marks 40 years since the publication of "The Logic of Paradox", the aim of this workshop is to celebrate the 40th anniversary of LP by discussing some related topics, very broadly construed, such as:

  • arguments for/against LP and/or dialetheism;
  • comparison of LP with closely related systems such as FDE and K3;
  • possible ways to expand LP and some reasons why we need that;
  • some applications of LP-related systems to areas that have not been considered.

Date & Venue

  • Date: November 25--27, 2019.
  • Venue: Blue Square, Ruhr University Bochum. [map]

Speakers

Program

November 25

09:30--10:30 Diderik Batens "LP and Dialetheism, a bewildering love story" [abstract]

10:30--11:30 Andreas Kapsner "The Scandal of the Middle Value, Part II" [abstract]

11:30--12:00 Coffee break

12:00--13:00 Gerhard Schurz "Universal Translatability: An Optimality-Based Justification of (Classical) Logic" [abstract]

13:00--14:15 Lunch

14:15--15:15 Peter Verdée "Truth maker semantics for the non-transitive relevance logic based on LP (and an exercise in connexive logic)" [abstract]

15:15--16:15 Pablo Cobreros "(I can't get no) Antisatisfaction" [abstract]

16:15--16:45 Coffee break

16:45--17:45 Paul Egré "Half-truths and the Liar" [abstract]

===

November 26

09:30--10:30 Graham Priest "Gödel's Theorem and LP"

10:30--11:30 AnneMarie Borg "Relevance in Structured Argumentation" [abstract]

11:30--12:00 Coffee break

12:00--13:00 Yaroslav Shramko "Hilbert-style axiomatizations of first-degree entailment and a family of its extensions (including LP)" [abstract]

13:00--14:15 Lunch

14:15--15:15 Luis Estrada González "An adorable variant of LP" [abstract]

15:15--16:15 Hitoshi Omori "Notes on conditionals for dialetheic theories"

16:15--16:45 Coffee break

16:45--17:45 João Marcos "Let gluts and gaps prevail!" [abstract]

===

November 27

09:30--10:30 Heinrich Wansing "Substructural negations re-displayed" [abstract]

10:30--11:30 Takuro Onishi "Making sense of the LP negation as negative modality" [abstract]

11:30--12:00 Coffee break

12:00--13:00 Christian Straßer & Sanderson Molick "A quantitative approach to inconsistency-adaptive logics" [abstract]

13:00--14:15 Lunch

14:15--15:15 Colin Caret "Identity for LP-based Metaphysics" [abstract]

15:15--16:15 Elena Ficara "LP and Hegel's Dialectics" [abstract]

16:15--16:45 Coffee break

16:45--17:45 Graham Priest "TBA"

Collocated events

Acknowledgment

This workshop is 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.