试论逻辑语言的发展

发布时间：2017-09-30 16:01

  本文关键词：试论逻辑语言的发展

  更多相关文章： 逻辑 半形式化语言 形式化语言

【摘要】： 逻辑和语言有着十分密切的关系,逻辑学与其他科学不同,它有着自己专门一套表述的语言符号。亚里士多德是逻辑学的创始人,从他开始,对逻辑学的研究所使用的语言是半形式化语言,即在自然语言的基础上增加了一些特殊的符号。17世纪德国著名哲学家、逻辑学家莱布尼茨使亚里士多德逻辑开始了“新生”,他认为要建立一种通用的语言,通过这种语言使哲学家争论的问题变成数学计算。这里,他最早提出了数理逻辑的两个基本思想:构造形式语言和建立演算。19世纪中叶,英国数学家布尔创建了逻辑代数,初步实现了莱布尼茨的设想。稍后的德国著名逻辑学家、哲学家弗雷格在《概念文字》中建立了一种形式语言,并通过这种形式语言构造了第一个一阶谓词演算系统,由此实现了莱布尼茨的设想。1910-1913年,英国逻辑学家罗素和怀特海的《数学原理》出版,改进了弗雷格的表述方式,并发展和完善了数理逻辑的演算系统。之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。 本文依循西方逻辑史的演进来研究逻辑语言从半形式化语言到形式化语言的发展。目前,逻辑学界和语言学界尚没有以西方逻辑史为主线研究逻辑形式语言形成和发展的专著,只有若干篇研究逻辑语言的论文。鉴于此,我便想涉足该研究领域,大胆尝试,从逻辑所使用的自然语言、半形式化语言及形式化语言的视角剖析逻辑学的发展,尽可能把逻辑语言的发展脉络梳理清晰,并进行深入分析和研究。
【关键词】：逻辑 半形式化语言 形式化语言
【学位授予单位】：河南大学
【学位级别】：硕士
【学位授予年份】：2006
【分类号】：B812
【目录】：

• 中文摘要3-4
• 英文摘要4-7
• 引言7-8
• 一、亚里士多德对逻辑问题的形式表述8-14
• （一） 第一次使用词项变元8-9
• （二） 三段论的表述9-13
• 1. 亚里士多德对三段论的表述9-10
• 2. 传统逻辑对三段论的表述10-11
• 3. 亚里士多德三段论与传统三段论在表述方面的区别11-12
• 4. 三段论格的表述12-13
• （三） 处理模态逻辑中，第一次使用命题变元13-14
• 二、弗雷格构造的形式化语言14-33
• （一） 莱布尼茨的设想14-16
• （二） 弗雷格的工作16-28
• 1. 弗雷格对形式语言的构造16-26
• 2. 弗雷格的形式化公理系统26-28
• （三） 弗雷格的贡献28-33
• 1. 引入“”符号28-29
• 2. 引入函数和自变元的思想29-33
• 三、一阶逻辑的语言33-64
• （一） 命题逻辑的语言33-50
• 1. 原子命题33-39
• 2. 合取式、析取式和否定式39-44
• 3. 条件句和双条件句44-47
• 4. 一个命题语言L_047-50
• （二） 狭谓词逻辑的语言50-64
• 1. 量化50-53
• 2. 个体词、谓词53-59
• 3. 一个一阶逻辑的语言L_159-64
• 结语64-65
• 注释65-68
• 参考文献68-70

【相似文献】

中国期刊全文数据库 前10条

1 朱建平;;逻辑史的参照系应当是整个人类思想史本身——从康德、黑格尔、胡塞尔被邀约至逻辑史名人堂谈起[J];南京社会科学;2011年09期

2 郑娟;;形容词性同义反复语的语用分析[J];传奇.传记文学选刊(理论研究);2011年01期

3 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期

4 郑娟;;转喻视角下的名词性同义反复话语的分析[J];科技致富向导;2011年20期

5 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期

6 王春辉;;条件句中的“条件”[J];首都师范大学学报(社会科学版);2011年04期

7 廖德明;;先验:知性通向逻辑之路?——康德先验逻辑的逻辑命运与认知出路[J];学术探索;2011年03期

8 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

9 郑娟;;动词性同义反复语的认知转喻理据[J];传奇.传记文学选刊(理论研究);2011年02期

10 牛海龙;;“白马非马”是谁说的[J];咬文嚼字;2011年07期

中国重要会议论文全文数据库 前10条

1 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年

2 ;晏成书教授在京逝世[A];1995年逻辑研究专辑[C];1995年

3 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];第三次金岳霖学术思想研讨会论文集[C];2005年

4 ;冯契教授在沪逝世[A];1995年逻辑研究专辑[C];1995年

5 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年

6 李先q;;名辩学、逻辑学与符号学[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

7 张晓光;;关于逻辑学功能定位的思考:兼谈逻辑学与素质教育[A];法律逻辑与法学教育——第十五届全国法律逻辑学术讨论会论文集[C];2007年

8 彭漪涟;;一位严谨而宽厚的逻辑学家——我所景慕的周礼全先生[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];2005年逻辑研究专辑[C];2005年

10 王启义;;诉诸群众的谬误与社会知识论——兼论知识论在逻辑学的角色[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

中国重要报纸全文数据库 前10条

1 林可济;从西方思路到中国韵味[N];中华读书报;2010年

2 本报记者 贺修平;云大王瑞探究“拉母赛理论”取得实质性突破[N];云南科技报;2009年

3 周山;中国究竟有没有“逻辑”[N];文汇报;2011年

4 黄雪斌;农民逻辑学家的大我人生[N];人民政协报;2001年

5 陈波;逻辑学的2005年[N];光明日报;2006年

6 尼克;王浩和他的朋友们[N];东方早报;2011年

7 中国社会科学院 景天魁;上下贯通虚实相应[N];光明日报;2010年

8 哲学所 涂纪亮;平易近人、循循善诱的金老[N];中国社会科学院院报;2005年

9 冯馨 清华大学新闻与传播学院;从莱布尼茨的梦说起[N];中国图书商报;2005年

10 杨建民;亦哲亦诗的逻辑学家：金岳霖[N];人民日报海外版;2003年

中国博士学位论文全文数据库 前10条

1 张留华;数学、指号学与实用主义[D];华东师范大学;2011年

2 奚颖瑞;从“算术哲学”到“逻辑研究”[D];浙江大学;2010年

3 郭建萍;真与意义的融合与分离之争的逻辑探究[D];山西大学;2012年

4 颜中军;苏珊·哈克逻辑哲学思想研究[D];华东师范大学;2012年

5 吴国宏;蕴涵概念内隐获得与发展的实验研究[D];华东师范大学;2002年

6 周强;当代中国论辩研究的历时及跨文化比较研究[D];福建师范大学;2011年

7 杜国平;“真”的历程[D];中国社会科学院研究生院;2000年

8 王建鲁;《名理探》比较研究[D];西南大学;2010年

9 刘建岭;胡塞尔的现象学心理学研究[D];吉林大学;2010年

10 成军;论词项的概念指向性[D];西南大学;2010年

中国硕士学位论文全文数据库 前10条

1 史t，

本文编号：949080