作品介绍

算术真与悖论


作者:熊明     整理日期:2021-11-18 20:09:58

本书内容分为三个部分:算术、真和悖论。**部分\算术\部分主要阐述形式真理论在二十世纪三十年代的成果,包括了哥德尔不接近性定理中与真理论密切相关的技术思想和方法,重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。这一部分为后续理论提供了技术与思想两方面的准备。第二部分\真\部分除阐述了塔斯基的语言层次理论之外,主要阐述六十年代直到*近逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论,包括里普、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。这一部分侧重于真在形式语言中的可定义性问题的探究。第三部分\悖论\部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。总体说来,**部分是全书的基础,而第二、三部分则是全书的主体,内容上各有侧重。我们希望提供这种构架把形式真理论的基本理论与*新成果进行融会贯通,既全面系统地阐述形式真理论的核心理论,又深入研究领域的腹地开拓新问题为形式真理论的发展指明新的研究课题和研究方向。熊明,1973年生,云南昭通人,先后就读于北京大学哲学系、中山大学数学系,获哲学学士、硕士学位、理学博士学位。麻省理工学院语言学与哲学系访问学者。现为华南师范大学政治与行政学院教授、博士生导师。主要研究方向为真理论与数学基础,出版专著一部、教材一部,在靠前靠前学术期刊上发表论文二十余篇。代表作品有论文“AnIntuitionistic Characterization of Classical Logic”(Journal of Philosophical Logic,2008)、“Tarski’S Theoremand Liar-like Paradoxes”(Logic Journal of the IGPL,2014)和专著《塔斯基定理与真理论悖论》。成果获金岳霖学术奖、洪谦哲学奖、广东省哲学社会科学奖、中国逻辑学会科研奖等多个奖项。

八字精批2025运势命中贵人八字合婚



闂傚倸鍊风粈渚€宕ョ€n喗鍎戠憸鐗堝笒绾惧潡鏌熺紒妯洪嚋闁兼澘娼¢弻锝呂旈埀顒勬偋韫囨稑鐓濋柡鍥ュ灪閻撱儵鏌¢崘銊﹀缁绢厼鐖奸弻锝夋偄閸濄儳鐤勯梺鍝勮閸婃繈骞栬ぐ鎺濇晝闁靛浚婢€閸犲﹦绱撻崒娆戝妽妞ゃ劌鎳橀獮濠呯疀閹绢偆绱板銈呯箰閻楀棗螞濮椻偓閺屾洟宕煎┑鍥х獩濡炪倧瀵岄崳锝夊蓟閿濆鍋愰柛娆忣槹閹瑩姊洪幖鐐茬仼鐎殿喖澧庣划瀣吋婢跺﹤宓嗛梺缁樻閵嗏偓闁衡偓閹惰姤鈷戦柡鍌樺劜濞呭懘鏌涢悤浣镐喊閽樼喖鏌涢妷顔煎闁绘挻鐟╅幃褰掑炊椤忓嫮姣㈢紓浣哄У婢瑰棝骞夐幖浣哥骇闁圭ǹ楠搁弳鍫㈢磽娴e壊鍎忔い锕備憾閸┾偓妞ゆ帒锕︾粔鐢告煕濞嗗繘顎楀畝锝呮健閸ㄥ墽鎼炬担鐑樺殌妤楊亙鍗冲畷姗€顢旈崱鏇犵濠电姷鏁搁崕鎴犵礊閸℃稑闂柨婵嗩槸缁犳氨鈧箍鍎遍ˇ浼村疾閹间焦鐓ラ柣鏇炲€圭€氾拷
闂傚倸鍊烽懗鑸电仚缂備胶绮〃鍛村煝瀹ュ鍗抽柕蹇曞У閻庮剟姊虹紒妯哄闁圭⒈鍋嗙划鍫ュ磼濞戞牔绨婚梺纭呮彧缁插墽娑甸崼鏇熺厾缂佸娉曠粔娲煛鐏炲墽鈽夐柍璇叉唉缁犳盯寮撮悤浣告暬闂傚倷绶氶埀顒傚仜閼活垱鏅堕婊呯<妞ゆ棁鍋愰悞鍝モ偓瑙勬礃濡炶棄鐣烽崡鐐╂婵炲棗鏈€垫牗淇婇悙顏勨偓銈夊磻閹烘鍌ㄩ柛蹇撳悑閸欏繑绻涢幋鐑嗙劯婵炴垯鍨洪弲鏌ユ煕閳╁啰鎳勯柛鐘崇洴濮婃椽鏌呴悙鑼跺濠⒀囩畺閺岀喖宕欓妶鍡楊伓,濠电姷鏁搁崑鐐哄垂鐠轰綍娑㈠箣閻樺吀绗夐梺鐟扮摠缁诲秹宕甸弴銏$厱婵犻潧瀚崝娆撴煟閹烘埊韬柡灞剧洴閸╁嫰宕橀鍛珮闂備浇鍋愭灙闁绘牕銈稿濠氭偄绾拌鲸鏅╅梺鍛婄箓鐎氼剟鈥栭崼銉︹拺闁硅偐鍋涙俊濂告倵濞戞帗娅囩紒顔碱儏椤撳吋寰勫Ο缁樻珖闂備焦瀵х换鍌毼涘▎鎴斿亾濮樿櫕鐝紒缁樼洴楠炲鎮欓幖顓燁棝闂佽崵濮甸崝妤呭窗閺嶎厼鏄ラ柍褜鍓氶妵鍕箳閹搭垱鏁鹃柣搴㈢啲閹凤拷
闂傚倸鍊风粈渚€宕ョ€n喗鍎戠憸鐗堝笒绾惧潡鏌熷▓鍨灓缂佺姵妫冮弻娑樷槈閸楃偞鐏嶆繝娈垮枟缁捇寮婚敃鈧灒濞撴凹鍨辩瑧缂傚倷鐒﹂弻銊︽櫠閻e本顫曢柟鎹愵嚙绾惧吋淇婇妶鍕妽闁绘繃妫冮弻锝嗘償閿涘嫪绮甸梺鎸庢磸閸ㄥ綊顢氶敐澶婂瀭妞ゆ劑鍨荤粣鐐寸節閻㈤潧孝閻庢凹鍙冮敐鐐差潩閼哥鎷哄┑鐐跺蔼椤曆囧几濞嗘垹纾奸棅顒佸絻閳ь剚顨呭嵄闁归偊鍏橀弨浠嬫倵閿濆簼娴风悮婵嬫⒑鐠囪尙绠抽柛瀣⊕閺呭爼鎳為妷褏褰炬繝銏e煐閸旀牠鎮″▎鎰闁割偅绻勬禒銏犆瑰⿰鍛槐闁哄矉缍佸浠嬪Ω瑜忛悡澶愭倵鐟欏嫭绀冩い銊ワ躬楠炴牞銇愰幒婵囨櫇闂佹寧绻傚Λ娆撴偩婵傚憡鈷掑ù锝囨嚀椤曟粎绱掔€n偄鐏撮柟宕囧枛椤㈡稑袙椤撶喐銇濈€殿喕绮欐俊鎼佸Ψ瑜忛悰顕€鏌f惔锛勭暛闁稿孩澹嗛幏瀣蓟閵夈儳锛涢梺鍦亾閺嬪ジ宕奸鍫熺厱闁绘﹢娼ч。濂告偨椤栨せ鍋撳畷鍥ㄦ闂侀潧绻嗛幊鍥磻閹剧粯鏅查幖瀛樼箘閺佹牕鈹戦垾鍐茬骇婵炶尙鍠栧濠氭晲婢舵ɑ鏅╅梺鍝勫濞存岸宕ぐ鎺撯拺闂侇偆鍋涢懟顖涙櫠椤栨粎纾奸悹鍥ㄥ絻閳ь剚鎮傞幃楣冩偨缁嬪灝鑰垮┑鐐村灦宀e潡鎮¢幋婵愭富闁靛牆妫涙晶顒勬嚕閵堝鐓曢悗锝庡亝瀹曞矂鏌℃担瑙勫磳闁轰焦鎹囬弫鎾绘晸閿燂拷

上一本:戴震集雕菰集严复集 下一本:思之路--李楠明哲学论文选集

作家文集