试论逻辑语言的展.pdfVIP

中文摘要 逻辑手昌语言有蕾十分密切的关系，逻辑学与其他科学不同，它有着自己专门一 套表述的语言符毒。亚里士多德是逻辑学的创始人，从他开始，对逻辑学的研究所 使用的语吉是半形式化语言，即在自然语言的基础上增加了一些特殊的符号。17世 纪德国著名哲学家、逻辑学家菜布尼茨使亚里士多德逻辑开始了“新生”，他认为要 建立一种通用的语言，通过这种语言使哲学家争论的问题变成数学计算。这里，他 最早提出了敛理逻辑的两个基本思想：构造形式语言和建立演算。19世纪中叶，英 国数学家布尔创建了逻辑代数，初步实现了莱布尼茨的设想。稍后的德国著名逻辑 学家、哲学家弗雷格在《概念文字》中建立了一种形式语言，并通过这种形式语言 国逻辑学家罗素和怀特海的《数学原理》出版，改进了弗雷格的表述方式，并发展 和完善了数理逻辑的演算系统。之后，美籍逻辑学家歌德尔一阶谓词演算的完备性 定理，这标志着现代逻辑基础部分的完成。 本文依循西方逻辑史的演进来研究逻辑语言从半形式化语言到形式化语言的发 展。目前，逻辑学界和语言学界尚没有以西方逻辑史为主线研究逻辑形式语言形成 和发展的专著，只有若干篇研究逻辑语言的论文。鉴于此，我便想涉足该研究领域， 大胆尝试，从逻辑所使用的自然语言、半形式化语言及形式化语言的视角剖析逻辑 学的发展，尽可能把逻辑语言的发展脉络梳理清晰，并进行深入分析和研究。 关键词：逻辑；半形式化语言；形式化语言 Abstract related in f打asithasitsown meallsof is so L09icclosely wi血language linguistic thefounderof touseakiIldoffomal ideas．As started communicatillg Logic，Aristotle anat【lral some with whichwasd甜ved丹om adding s逸nals laⅡgl】age languageby 17m and Gott衔ed centll珥GeⅡnan logician specialmeaning．111Ⅱ1e philosopher WilhelmLeibniz anew1ifetome usedAristotle．He brou曲t logicallanguageby thatitwas toest曲lishacommon soastomeasure believed necessary logica¨anguage debateswitllmamematics．Hefonvardtwobasicideasofma也ematical logical put 109ic tocons仃uctfonIlal aIldfblllldcalcuIus．h1themid-19th 1anguage mathematicianBoolefoundeda Leibniz’s in Geo唱e