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:
Date & Venue
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.