形式逻辑基本知识讲稿

《形式逻辑基本知识讲稿》由会员分享，可在线阅读，更多相关《形式逻辑基本知识讲稿（163页珍藏版）》请在金锄头文库上搜索。

1、 形式逻辑主讲：黄斐华sjtu_ 形式逻辑主讲：黄斐华sjtu_目 录第一章 绪论 第二章 词项与概念 第三章 简单命题及其推理（上） 第四章 简单命题及其推理 ( 下 ) 第五章 复合命题及其推理（上） 第六章 复合命题及其推理（下） 第七章 模态命题及其推理 第八章 归纳推理和类比推理 第九章 形式逻辑的基本规律 第十章 论证证明与反驳第一章 绪论“逻辑”最早可追溯到希腊词（逻各斯 ），后英译为logos、其复数形式是logic。原为 多义词一般的规律和原则；说明、解释、论证 ；理性、推理、抽象理论；尺度、关系、比率； 价值等等。古罗马的西塞罗正式使用“逻辑”一 词表示包括逻辑学和修辞学的

2、科学。中国古代学者们将相同的科学称为“名辩之学 ”。古印度学者，特别是佛学将其称为“因明学” 。一、逻辑学的发展简况1. 西方古希腊时期：亚里士多德，工具论，古典或传统的形 式逻辑；麦加拉-斯多葛学派奠定了命题逻辑的基础。欧洲中世纪经院逻辑学家们创立了推论的学说。文艺复兴 时期的波尔-罗亚尔修道院发表了逻辑或思维的艺术一书 ，将古典的演绎逻辑体系化；17世纪开始，由于实验自然科学的兴起，归纳方法的研究 被引入逻辑学：培根、惠威尔、穆勒，新工具、逻辑体 系，建立了古典或传统的归纳逻辑；17世纪末，莱布尼茨提出了逻辑数学化的思想，论组合 术建立一种用符号表意的普遍语言及思维演算的设想，成为 数理逻

3、辑的先驱。19至20世纪初，布尔代数的创立将设想变为现实，再经德 摩根、弗雷格的努力，罗素与怀德海合著的数学原理出版 标志着现代形式逻辑-数理逻辑成为一门独立的科学。 西 方 逻 辑西方逻辑 学创始人。 工具论 6 篇奠定了逻 辑的基础。主 要贡献是对三 段论的系统研 究。斯多葛学派于三段论之外，研究 了命题逻辑。提出理 想语言 和推理 是计算 的思想 而成为 现代逻 辑的先 驱。批判了形式 逻辑，研究 了辩证思维 ，构造了辩 证逻辑的体 系。新工具 针对亚 氏的演绎 逻辑而提 出归纳和 诉诸自然 和经验。 三表法。揭示了思维的辩 证矛盾。证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论

4、的形 式系统一致，则它是 不完全的；这种系统 的一致性在本系统中 不能证明，更不能用 有穷方法证明。他的 这些工作正面或反面 地，或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于5080年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。 把概率作为 一个逻辑概 念来处理，

5、 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不具有演绎必然性的归纳推理的 基础，关于逻辑概率的理论就 是归纳逻辑。它可给出假说的 相对于给定证据的确认度严格的因果陈 述只是概率陈 述的极限情况 ，科学中尤其 是量子力学中 的因果概念， 并不一定要求 概率接近1。 于 一切科学陈述均是概率陈述 ，科学的逻辑是取值为区间0 1上的全部实数的概率逻辑19世纪上半叶，德国哲学家康德纯粹理性批判，先验逻辑； 黑格尔逻辑学，辩证逻辑；马克思资本论，关于资本范畴的 辩证逻辑体系；列宁，哲学笔记，确立了辩证逻辑的基本理论和 原则；毛泽东论持久战，提供了辩证逻辑的又一范例。20世纪30年代，哥德尔

6、不完全性定理、塔尔斯基形式语言真理论、 图灵机及其应用理论三个划时代的成果，为现代逻辑学的蓬勃发展 奠定了基础。由此逻辑学发展进入黄金时代。现代逻辑学已从单一学科逐步发展成为理论严密、分支众多、应 用广泛的学科群，择其要者有数理逻辑、哲学逻辑、自然语言逻辑、 概率逻辑、人工智能逻辑、量子逻辑、价值逻辑以及逻辑学与计算 机科学、认知科学的交叉研究。联合国教科文组织把逻辑学与数学、天文学和天体物理学、地球科 学和空间科学、物理学、化学、生命科学并列为七大基础学科；大英百科全书将逻辑学列为众学科之首。逻辑的类型Susan Haack Philosophy of Logics 列出的逻辑的范围Trad

7、itional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、祈使、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑 N.Rescher Topics in Philosophical Logic 逻辑分支一览表A.基础逻辑 1传统逻辑 2经典现代逻辑 3非经典现代逻辑B.元逻辑1逻辑语法学 2逻辑语义学 3逻辑语用学a逻辑语言论和自然语言逻辑 b修辞学分析 c语境蕴涵d非形式谬误理论 e逻辑的非古典应用 4逻辑语言学a结构理论（

8、形态学） b意义理论 C有效性理论N.Rescher Topics in Philosophical Logic 逻辑分支一览表C.数学发展方面 1算术 2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论D.科学发展方面 1物理应用 a量子论逻辑 b物理或因果模态理论 2生物应用 a伍杰方式的发展 b控制论逻辑 3社会科学应用 a规范逻辑 b价值逻辑 c法律应用E.哲学发展方面 1伦理应用a行为逻辑 b义务逻辑 c命令（祈使）逻辑d优先逻辑和选择逻辑（效益、价值、对策和决策的 逻辑问题） 2形而上学的逻辑应用a存在性逻辑 b时序逻辑（时态、变化、过程逻辑）c部分与整体逻辑 d本体

9、学e构造性逻辑（逻辑还原主义等）f（唯名论与唯实论之争意义下的）本体论逻辑 3认识论应用a问（答）逻辑 b认识论逻辑（相信、知道、相干 ）c假设逻辑（反事实的假设推理）d信息和信息过程的逻辑 e归纳逻辑 4归纳逻辑a证实和确证的逻辑 b概率逻辑2、中国先秦时期:惠施、公孙龙、墨翟和后期墨家、荀况、韩非等 学者都研究过逻辑问题。其中，墨经对传统形式逻辑的所 有理论问题都进行了阐述:“以名举实，以辞抒意，以说出故 ”;荀子提出“类、故、理”辩证逻辑推理体系。但往后二千 多年中湮没了，没有对中华民族的思维水平的提高起任何作用 。明代:李之藻翻绎了葡萄牙人的逻辑学讲义-名理探。晚清:王国维、严复翻译了

10、辩学启蒙、穆勒名学等 。近代一开始，中国译者按先秦传统理解logic，将其译为“ 名学” 、“辩学” 、“理则学” 、“论理学”等等。严复 是将其译为“逻辑”的第一人。20世纪30年代，金岳霖先生师从罗素后归国后，编写了 逻辑作为大学教材。65年，金岳霖带领学生们编写了大学文 科逻辑学教材形式逻辑，但直至1979年才正式出版。名家代表人物墨经 之小取，是 中国古典逻辑的一个纲要， 比较集中完整地讨论了逻辑 的基本内容。墨经是墨家 创始人墨翟思想的发展。后 期墨家在逻辑理论方面作出 了重要贡献。他们对“故” 、“理”、“类”古代逻辑 的三个基本范畴下了明确的 定义，并对“名”、“辞” 、“说”作

11、了深入研究。论 述了“辟”（比喻）、“侔 ”（附比）、“援”（类比 ）、“推”（间接的归纳与 演绎）四种形式的推理(见 后期墨家逻辑)。这些思想 ，在中国古代逻辑史上占有 重要地位。印度因明 从古代论辩术发展而来。先 是五支论式，后发展为三支论式（宗、因、 喻）。在分析正确论证和推理的同时，十分 注重论证的“过”和反驳的“过”。因明于 唐代传入我国并得到发展。墨 子先秦名辩 名学和辩学的合称。主要指先秦诸子关于名和辩的逻辑 思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一 个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说二、逻辑学的研究对象和性质1.逻辑学是以人们思维形式的结构及

12、其基本规律 为研究对象的科学。(1)思维思维有广义和狭义两种理解。逻辑学研究的是狭义的思维，即理性思维。(2)思维形式思维也有内容与形式之分。所谓思维形式即思 维内容的组成和表达方式:概念、判断、推理。(3)思维形式的结构:思维形式组成要素的联系方式 ，各种具体思维形式中所隐含的最一般的、共同的东 西。例如：所有的金属都是导电的。 所有的人都是会死的。 所有的犯罪行为都是有害社会的。所有的S是P再如：只有年满18岁，才有选举权。该合同只有您亲自签字，才能生效。只有p，才q又如： 所有的金属都是导电的，水银是金属；所以，水银也是导电的。 所有的人都是会死的，苏格拉底是人；所以，苏格拉底会死。所有

13、的M是P所有的S是M 所有的S是P思维的形式结构有两个组成部分一是逻辑常项， 如“所有的是” ；一是逻辑变项，如s、p、q、m。逻辑常项决定思维的形式结构的类型2.形式逻辑的性质 (1)工具性:逻辑可比喻为“思维的语法” ；思维的逻辑形式的 正确性，乃是获得真实或可靠的结论的必要条件。(2)全人类性:思维的逻辑结构是各民族、各地域、各阶层的语言 、思想表述的“深层结构” ，是不同民族、地域、国 家的人们之间的文化思想能够交流的根基。三、学习逻辑学的意义1.有助于提高我们的推理能力，从已知去探 求未知；2.有助于提高我们的表达能力，准确地表 达思想和严密地论证思想；3.有助于提高我们的识别能力，

14、识别谬误 ，揭露诡辩。爱因斯坦的逻辑题:土耳其商人的帽子有一个土耳其商人，想雇佣一个十分聪明的经商助手，有两 人前来应聘。为测试两人中谁更聪明，将两个应聘者带进无窗 的黑房间。他打开电灯后说:“这张桌子上有两顶红色的、三顶 黑色的帽子。我关灯后，将它们的位置弄乱，然后每人摸一顶 戴在头上。余下两顶帽子，我把它们藏起来。开灯后，请你们 尽快说出自己头上戴的帽子是什么颜色。”操作完成后，他把灯打开。此时，两个应聘者看到土耳其商 人头上戴的是一顶红帽子。两人开始无法回答。过一会儿，其 中一个人便喊道:“我戴的是黑帽子。”请问这个人猜对了吗？为什么？请解一道逻辑方面的选择题:有甲、乙、丙、丁、戊五个人

15、，每个人头上戴一顶白帽子或者 黑帽子，每个人只能看见别人头上帽子的颜色，而看不见自已头 上帽子的颜色。并且，一个人戴白帽子当且仅当他说真话，戴黑 帽子当且仅当他说假话。已知:甲说，我看见三顶白帽子一顶黑帽子；乙说，我看见四顶黑帽子；丙说，我看见一顶白帽子三顶黑帽子；戊说，我看见四顶白帽子；根据上述题干，下列陈述都是假的，除了:A.甲和丙都戴白帽子；B.乙和丙都戴黑帽子；C.戊戴白帽子，但丁戴黑帽子；D.丙戴黑帽子，但甲戴白帽子；E.丙和丁都戴白帽子第二章 词项与概念词项是思维的逻辑形式的最基本单位，是构成 命题的要素。词项所表达的都是人们常说的概念。一、概念与词项的概述1. 什么是概念？概念是反映思维对象的特性或本质的思维形式。2. 概念、语词和词项概念和语词既有着密切联系，任何一个概念都要借 助语词来表达。用来表达概念的语词在逻辑学中叫做词 项；但又有区别，概念、语词、词项分别是认识论、语 言学、逻辑学所研究的对象。并非所有的语词都是词项；同一概念可以用不同的 语词或词项来表达；一个语词也可以表达不同的概念。3. 对概念的逻辑要求概念要明确、用词要恰当。明确它的内涵与外延。二、概念的内涵和外延(词项的含义和所指)任何