Bulletin of Symbolic Logic 23 (4):442-492 (2017)

Thomas Schindler
University of Amsterdam
We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs.
Keywords Graph theory  Yablo’s paradox  Liar paradox  Reference structure   Reference graphs  Semantic dependence
Categories (categorize this paper)
DOI 10.1017/bsl.2017.37
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,581
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradox Without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251.
Notes on Naive Semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
What Truth Depends On.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
Paradoxes of Grounding in Semantics.Hans Herzberger - 1970 - Journal of Philosophy 67 (6):145-167.

View all 19 references / Add more references

Citations of this work BETA

What Paradoxes Depend On.Ming Hsiung - 2018 - Synthese:1-27.
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
Formal Representations of Dependence and Groundedness.Edoardo Rivello - 2020 - Review of Symbolic Logic 13 (1):105-140.
Notes on Leitgeb’s What Truth Depends on.Edoardo Rivello - 2020 - Studia Logica 108 (6):1235-1262.

View all 7 citations / Add more citations

Similar books and articles

An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Definability and the Structure of Logical Paradoxes.Haixia Zhong - 2012 - Australasian Journal of Philosophy 90 (4):779 - 788.
Dangerous Reference Graphs and Semantic Paradoxes.Landon Rabern, Brian Rabern & Matthew Macauley - 2013 - Journal of Philosophical Logic 42 (5):727-765.
Model-Theoretic Semantics and Revenge Paradoxes.Lorenzo Rossi - 2019 - Philosophical Studies 176 (4):1035-1054.
Type-Free Truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
John Mair on Semantic Paradoxes.Miroslav Hanke - 2013 - Studia Neoaristotelica 10 (1):50-87.


Added to PP index

Total views
59 ( #184,886 of 2,461,451 )

Recent downloads (6 months)
4 ( #178,452 of 2,461,451 )

How can I increase my downloads?


My notes