The Elimination of Direct Self-reference

Studia Logica 111 (6):1037-1055 (2023)
  Copy   BIBTEX

Abstract

This paper provides a procedure which, from any Boolean system of sentences, outputs another Boolean system called the ‘_m_-cycle unwinding’ of the original Boolean system for any positive integer _m_. We prove that for all \(m>1\), this procedure eliminates the direct self-reference in that the _m_-cycle unwinding of any Boolean system must be indirectly self-referential. More importantly, this procedure can preserve the primary periods of Boolean paradoxes: whenever _m_ is relatively prime to all primary periods of a Boolean paradox, this paradox and its _m_-cycle unwinding have the same primary periods. In this way, we can produce an indirectly self-referential Boolean paradox with the same periodic characteristics as a known Boolean paradox.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.
Logic, Language, and Information.L. T. F. Gamut - 1999 - Studia Logica 63 (2):269-272.
Corrigenda: Semantics for von Wright's Latest Deontic Logic.[author unknown] - 1977 - Studia Logica 36 (3):240-240.

Analytics

Added to PP
2023-08-03

Downloads
29 (#550,902)

6 months
23 (#119,673)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Vagueness and Contradiction.Roy Sorensen - 2005 - Philosophy and Phenomenological Research 71 (3):695-703.
Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
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.
Patterns of paradox.Roy T. Cook - 2004 - Journal of Symbolic Logic 69 (3):767-774.

View all 20 references / Add more references