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
- Diderik Batens (Ghent)
- AnneMarie Borg (Utrecht)
- Colin Caret (Utrecht)
- Pablo Cobreros (Navara)
- Paul Egré (Paris)
- Luis Estrada González (Mexico City)
- Elena Ficara (Paderborn)
- Andreas Kapsner (Munich)
- João Marcos (Natal)
- Joke Meheus (Ghent)
- Sergei P. Odintsov (Novosibirsk)
- Takuro Onishi (Kyoto)
- Graham Priest (New York & Melbourne)
- Gerhard Schurz (Düsseldorf)
- Yaroslav Shramko (Kryvyi Rih)
- Christian Straßer (Bochum)
- Peter Verdée (Louvain-la-Neuve)
- Heinrich Wansing (Bochum)
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
- A Workshop on FDE-based Modal Logics, November 28, 2019.
- 5th Workshop on Connexive Logics, November 29, 2019.
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.