Abstract
We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones.
Similar content being viewed by others
References
Belnap N. (1982) Gupta’s rule of revision theory of truth. The Journal of Philosophical Logic 11: 103–116
Bochvar, D. A. (1981). On a three-valued logical calculus and its applications to the analysis of paradoxes of the classical extended calculus. History and Philosophy of Logic, 2, 87–112. (Translation of the Russian original from 1939)
Cook R. (2004) Patterns of paradox. The Journal of Symbolic Logic 69(3): 767–774
Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56, 1–49. (Publication of the ideas present since 1979).
Feferman, S. (2007). Axioms for determinateness and truth. http://math.stanford.edu/~feferman/papers.html.
Gaifman, H. (1988). Operational pointer semantics: Solution to self-referential puzzles. In M. Vardi (Ed.), Theoretical aspects of reasoning about knowledge (pp. 43–59). Morgan Kauffman.
Gaifman H. (1992) Pointers to truth. The Journal of Philosophy 89(5): 223–261
Gaifman, H. (2000). Pointers to propositions. In A. Chapuis & A. Gupta (Eds.), Circularity, definition and truth (pp. 79–121). Indian Council of Philosophical Research, New Delhi, India.
Goldstein L. (1992) ‘This statement is not true’ is not true. Analysis 52(1): 143–153
Gupta A. (1982) Truth and paradox. The Journal of Philosophical Logic 11: 1–60
Gupta A. (1984) Truth and paradox. In: Martin R. (eds) Recent essays on truth and the liar paradox. Oxford University Press, Oxford, pp 175–236
Gupta A., Belnap N. (1993) The revision theory of truth. MIT Press, Cambridge
Herzberger H.G. (1982) Naive semantics and the liar paradox. The Journal of Philosophy 79: 479–497
Kripke S. (1975) Outline of a theory of truth. The Journal of Philosophy 72(19): 690–716
Levchenkov V.S. (2000) Boolean equations with many unknowns. Computational Mathematics and Modeling 11(2): 143–153
Rudeanu S. (1974) Boolean functions and equations. North-Holland, Amsterdam
Skala H. (1969) The general solution of an arbitrary boolean equation. The American Mathematical Monthly 74(9): 1074–1077
Wen L. (2001) Semantic paradoxes as equations. Mathematical Intelligencer 23(1): 43–48
Yablo S. (1993) Paradox without self-reference. Analysis 53(4): 251–252
Yablo S. (2004) Circularity and paradox. In: Pedersen S.A., Bolander T., Hendricks V.E. (eds) Self-reference. CSLI Publications, Stanford, CA
Author information
Authors and Affiliations
Corresponding author
Additional information
Sjur Dyrkolbotn deserves thanks for discussions concerning several aspects presented in this article.
Anonymous referees provided valuable comments and drew our attention to pointer structures of which we were not aware when writing the first version of this article.
Rights and permissions
About this article
Cite this article
Walicki, M. Reference, paradoxes and truth. Synthese 171, 195–226 (2009). https://doi.org/10.1007/s11229-008-9392-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9392-9