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...
Gespeichert in:
Veröffentlicht in: | Logique et analyse 2016-09 (235), p.265-271 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!