Computer Science ›› 2023, Vol. 50 ›› Issue (6A): 211100070-5.doi: 10.11896/jsjkx.211100070

• Artificial Intelligence • Previous Articles     Next Articles

Study on Diagonal Method Based on Indefinite Extensibility Concept

DUAN Tianlong   

  1. Department of Philosophy,Nanjing University,Nanjing 210023,China
  • Online:2023-06-10 Published:2023-06-12
  • About author:DUAN Tianlong,born in 1992,Ph.D.His main research interests include mathematical logic and formal epistemology.

Abstract: Using diagonal method yields not only basic theorems for mathematical logic,but also leads to logical paradoxes.By exa-mining the concept of indefinite extensibility and its association with the diagonal method,this paper points out that:1)since Simmons does not associate the concept of indefinite extensibility with the diagonal method,its division of “diagonal argument types” is only superficial;2)Thomson diagonal lemma does not depict the essence of diagonal method; 3) diagonal method can be used for a concept if and only if the concept is indefinite extensibility;4)the use of diagonal method can help us to find the concept of indefinite extensibility and provide ideas for describing the dynamic semantic model of natural language.

Key words: Diagonal method, Paradox, Indefinite extensibility, Natural language

CLC Number: 

  • TP301
[1]WU MH,WANG Y J,YANG Y C,et al.Generation Mechanism and Interpretations of Paradoxes[J].Journal of Computer Science,2018,45(6):69-71.
[2]EWALD W.From Kant to Hilbert:A Source Book in the Foundations of Mathematics Volume II[M].Oxford University Press,1996.
[3]PRIEST G.Beyond the Limits of Thought[M].Oxford University Press,2002.
[4]KLEMENT K C.Russell,His Paradoxes,and Cantor’s Theorem:Part I[J].Philosophy Compass,2010,5(1):16-28.
[5]SIMMONS K.The Diagonal Argument and The Liar[J].Journal of Philosophical Logic,1990,19(3):277-303.
[6]SIMMONS K.Universality and the liar:an essay on truth and the diagonal argument[J].Cambridge University Press,1993.
[7]THOMSON J F.On Some Paradoxes[M]//Analytical Philosophy.London:Blackwell,1962.
[8]DUMMETT M.The Seas of Language[M].Oxford University Press,1993.
[9]RUMFITT I.The Boundary Stones of Thought:An Essay in thePhilosophy of Logic[M].Oxford University Press,2015.
[10]PRIEST G.Indefinite Extensibility-Dialetheic Style[J].StudiaLogica,2013,101(6):1263-1275.
[11]RUSSELL B.On some difficulties in the theory of transfinite numbers and order types[J].Proceedings of the London Mathematical Society,1906,4(14):29-53.
[12]LINNEBO Ø.Dummett on Indefinite Extensibility[J].Philoso-phical Issues,2018,28 (1):196-220.
[13]ZHANG J J.Diagonal Method,Diagonal Argument and Paradox Research[J].Journal of Studies in Dialectics of Nature,1997(12).
[14]MACKIE J K.Truth,Probability and Paradox[M].OxfordUniversity Press,1973.
[15]MAGUOLO D,VALENTINI S.An intuitionistic version ofCantor’s theorem[J].Mathematical Logic Quarterly,1996,42(1):446-448.
[16]LUNA L, TAYLOR W.Cantor’s Proof in the Full Defifinable Universe[J].Australasian Journal of Logic,2010,9:10-25.
[17]DUMMETT M.Reply to P.M.Sullivan[M]//Auxier R E,Hahn L E,eds.,The Philosophy of Michael Dummett,Open Court.2007.
[18]DUMMETT M.The philosophical significance of Gödel’s theo-rem[C]//Ratio.Duckworth,1963:186-214.
[1] ZHANG Yian, YANG Ying, REN Gang, WANG Gang. Study on Multimodal Online Reviews Helpfulness Prediction Based on Attention Mechanism [J]. Computer Science, 2023, 50(8): 37-44.
[2] ZHOU Ziyi, XIONG Hailing. Image Captioning Optimization Strategy Based on Deep Learning [J]. Computer Science, 2023, 50(8): 99-110.
[3] LIANG Mingxuan, WANG Shi, ZHU Junwu, LI Yang, GAO Xiang, JIAO Zhixiang. Survey of Knowledge-enhanced Natural Language Generation Research [J]. Computer Science, 2023, 50(6A): 220200120-8.
[4] WANG Tao, GUO Wushi, DENG Jian, CHEN Liang. Building Natural Language Interfaces for Distributed SCADA Systems Using Semantic Parsing [J]. Computer Science, 2023, 50(6A): 220300141-9.
[5] WEI Tao, LI Zhihua, WANG Changjie, CHENG Shunhang. Cybersecurity Threat Intelligence Mining Algorithm for Open Source Heterogeneous Data [J]. Computer Science, 2023, 50(6): 330-337.
[6] WANG Lin, MENG Zuqiang, YANG Lina. Chinese Sentiment Analysis Based on CNN-BiLSTM Model of Multi-level and Multi-scale Feature Extraction [J]. Computer Science, 2023, 50(5): 248-254.
[7] ZHEN Tiange, SONG Mingyang, JING Liping. Incorporating Multi-granularity Extractive Features for Keyphrase Generation [J]. Computer Science, 2023, 50(4): 181-187.
[8] MA Tinghuai, SUN Shengjie, RONG Huan, QIAN Minfeng. Knowledge Graph-to-Text Model Based on Dynamic Memory and Two-layer Reconstruction Reinforcement [J]. Computer Science, 2023, 50(3): 12-22.
[9] SUN Kaili, LUO Xudong , Michael Y.LUO. Survey of Applications of Pretrained Language Models [J]. Computer Science, 2023, 50(1): 176-184.
[10] ZHENG Cheng, MEI Liang, ZHAO Yiyan, ZHANG Suhang. Text Classification Method Based on Bidirectional Attention and Gated Graph Convolutional Networks [J]. Computer Science, 2023, 50(1): 221-228.
[11] YAN Jia-dan, JIA Cai-yan. Text Classification Method Based on Information Fusion of Dual-graph Neural Network [J]. Computer Science, 2022, 49(8): 230-236.
[12] HOU Yu-tao, ABULIZI Abudukelimu, ABUDUKELIMU Halidanmu. Advances in Chinese Pre-training Models [J]. Computer Science, 2022, 49(7): 148-163.
[13] LI Xiao-wei, SHU Hui, GUANG Yan, ZHAI Yi, YANG Zi-ji. Survey of the Application of Natural Language Processing for Resume Analysis [J]. Computer Science, 2022, 49(6A): 66-73.
[14] ZHANG Hu, BAI Ping. Graph Convolutional Networks with Long-distance Words Dependency in Sentences for Short Text Classification [J]. Computer Science, 2022, 49(2): 279-284.
[15] ZHU Yi-na, CAO Yang, ZHONG Jing-yue, ZHENG Yong-zhi. Survey on Event Extraction Technology [J]. Computer Science, 2022, 49(12): 264-273.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!