计算机科学 ›› 2023, Vol. 50 ›› Issue (6A): 211100070-5.doi: 10.11896/jsjkx.211100070
段天龙
DUAN Tianlong
摘要: 使用对角线方法不仅能得到数理逻辑的基本定理,也能导致逻辑悖论。通过对达米特的不定可扩展性概念及其与对角线方法的关联的考查,指出:1)西蒙斯没有将不定可扩展性概念与对角线方法关联起来,所以其关于对角线论证不同类型的划分只是表面的;2)汤姆逊对角线引理并没有刻画出对角线方法的实质;3)对某概念可以使用对角线方法当且仅当该概念是不定可扩展的;4)使用对角线方法可以发现不定可扩展性概念,从而为刻画自然语言的动态语义模型提供思路。
中图分类号:
[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. |
|