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 条
[1]   A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES [J].
Beringer, Timo ;
Schindler, Thomas .
BULLETIN OF SYMBOLIC LOGIC, 2017, 23 (04) :442-492
[2]  
Beringer T, 2016, LOGICA YEARB, P1
[3]   Expressive power of digraph solvability [J].
Bezem, Marc ;
Grabmayer, Clemens ;
Walicki, Michal .
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (03) :200-213
[4]  
Chen Z.B, 2019, J S CHINA NORMAL U S, V4, P183
[5]   Patterns of paradox [J].
Cook, RT .
JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) :767-774
[6]   Propositional discourse logic [J].
Dyrkolbotn, Sjur ;
Walicki, Michal .
SYNTHESE, 2014, 191 (05) :863-899
[7]   TRUTH AND PARADOX [J].
GUPTA, A .
JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (01) :1-60
[8]  
Gupta A., 1993, REVISION THEORY TRUT, DOI DOI 10.7551/MITPRESS/5938.001.0001
[9]   Possible-worlds semantics for modal notions conceived as predicates [J].
Halbach, V ;
Leitgeb, H ;
Welch, P .
JOURNAL OF PHILOSOPHICAL LOGIC, 2003, 32 (02) :179-223
[10]   NOTES ON NAIVE SEMANTICS [J].
HERZBERGER, HG .
JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (01) :61-102