YABLO'S PARADOX AS A THEOREM OF MODAL LOGIC

YABLO'S PARADOX AS A THEOREM OF MODAL LOGIC

We (further) demystify Yablo's paradox by showing that it can be thought of as the fact that the formula □(p ↔ □¬p) is unsatisfiable in the modal logic KD4 characterised by frames that are strict partial orders without maximal elements. This modal treatment also unifies the two versions of Yabl...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logique et analyse 2016-09 (235), p.265-271
Hauptverfasser: Forster, Thomas, Goré, Rajeev
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We (further) demystify Yablo's paradox by showing that it can be thought of as the fact that the formula □(p ↔ □¬p) is unsatisfiable in the modal logic KD4 characterised by frames that are strict partial orders without maximal elements. This modal treatment also unifies the two versions of Yablo's paradox, the original version and its dual.
ISSN:0024-5836
2295-5836
DOI:10.2143/LEA.235.0.3170108