The Elimination of Direct Self-reference

被引:1
作者
Zeng, Qianli [1 ]
Hsiung, Ming [1 ]
机构
[1] South China Normal Univ, Sch Philosophy & Social Dev, Guangzhou 510631, Peoples R China
基金
中国国家社会科学基金;
关键词
Boolean paradox; Revision period; Revision sequence; Self-reference; Truth; REFERENCE GRAPHS; SEMANTICS; TRUTH;
D O I
10.1007/s11225-023-10060-7
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:1037 / 1055
页数:19
相关论文
共 23 条
[11]   NAIVE SEMANTICS AND THE LIAR PARADOX [J].
HERZBERGER, HG .
JOURNAL OF PHILOSOPHY, 1982, 79 (09) :479-497
[12]  
Hsiung M., 2009, STUD LOGICA, V91, P239, DOI [10.1007/s11225-009-9174-5, DOI 10.1007/S11225-009-9174-5]
[13]   Unwinding Modal Paradoxes on Digraphs [J].
Hsiung, Ming .
JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (02) :319-362
[14]   What paradoxes depend on [J].
Hsiung, Ming .
SYNTHESE, 2020, 197 (02) :887-913
[15]   Boolean Paradoxes and Revision Periods [J].
Hsiung, Ming .
STUDIA LOGICA, 2017, 105 (05) :881-914
[16]   Equiparadoxicality of Yablo's Paradox and the Liar [J].
Hsiung, Ming .
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (01) :23-31
[17]   What truth depends on [J].
Leitgeb, H .
JOURNAL OF PHILOSOPHICAL LOGIC, 2005, 34 (02) :155-192
[18]   Dangerous Reference Graphs and Semantic Paradoxes [J].
Rabern, Landon ;
Rabern, Brian ;
Macauley, Matthew .
JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (05) :727-765
[19]   SOLUTIONS OF IRREFLEXIVE RELATIONS [J].
RICHARDSON, M .
ANNALS OF MATHEMATICS, 1953, 58 (03) :573-590
[20]   The elimination of self-reference: Generalized Yablo-series and the theory of truth [J].
Schlenker, P. .
JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (03) :251-307