逻辑讲义第一章

普通逻辑LOGIC授课教师：郭颂山东财经大学文学与新闻传播学院E-mail:[e-mail]第一章绪论◇逻辑与逻辑学◇逻辑的起源◇逻辑的发展一逻辑与逻辑学1.现代汉语中“逻辑”的共时含义——在不同语境中具有多种含义（1）指（某种）理论、观点（2）指客观事物的发展规律（3）指人类主观思维的规律（4）指（作为一门学科的）逻辑科学例：（1）在有些人看来，占领别国领土而杀人是为解放这个国家的人民不得不付出的代价，被占领国家的人民的反抗而杀人倒是一种恐怖主义，这真是奇怪的逻辑。（2）捣乱，失败，再捣乱，再失败，直至灭亡，这就是反动派的逻辑。（3）你在辩论中没有战胜对手，不是因为你所表述的观点逻辑性不强，而是因为你的口齿不清楚。（4）文化工作者要学点逻辑。2.逻辑学的研究对象1）思维形式、思维规律、（一些）思维方法2）思维：人类用以认知世界的理性工具①思维作为一个符号信息系统具有两种功能：——传递信息的工具（语言）——在系统自身中进行信息处理与交换的规则（逻辑）②思维的特征：概括性、间接性、与语言密不可分3.逻辑科学·形式逻辑·普通逻辑1）逻辑科学：①传统逻辑②数学逻辑（数理逻辑）③辩证逻辑2）形式逻辑：①传统逻辑中的演绎部分②及其现代形式数学逻辑（mathematicallogic）3）普通逻辑：①传统演绎逻辑②部分数学逻辑基础知识③简单归纳逻辑4.逻辑学的作用逻辑本身并不直接解决任何现实问题任何理性的思维与表述都离不开逻辑1）逻辑的认识作用例：经验定律性知识的形成①认识部分事物的某种属性，并判断是否可以推广到事物全体。②运用归纳法形成普遍性认识。③区分普遍性认识是偶然性或必然性概括。④对概括运用理论进行演绎性解释。2）逻辑的表述作用：证明与反驳例1：命题“所有葡萄树都是落叶的”论式：所有阔叶植物都是落叶的并且所有葡萄树都是阔叶植物则所有葡萄树都是落叶的例2：诡辩命题“犬可以为羊”论式：羊为四足兽犬为四足兽故犬可以为羊5.如何学好逻辑学（1）要理解逻辑学的特点，抓住形式结构这个核心，处处从形式的角度思考问题。例：①“所有的名词都能作主语。”②“所有的商品都具有使用价值。”③“所有的生物都要进行新陈代谢。”——形式“所有S都是P”形式语言写作“SAP”或“（x）（F（x）→E（x））”要区分逻辑变项与逻辑常项（2）要掌握各个部分的基本概念，要深入地思考这些概念的含义，作用，同其它概念、内容的联系。（3）需要对主要的逻辑规则作记忆，要理解这些基本的逻辑知识。（4）要掌握逻辑的方法，逻辑的方法总是与逻辑的应用联系的最密切，因此要在应用中、在实践中学习。二逻辑的起源1.“逻辑”（logic）的词源：希腊文（1）希腊文“λόγος”（逻格斯）：“规律”、“思想”、“理性”、“言辞”、“语句”等含义（2）西塞罗（BC106—BC43）最早曾使用“λογιχο”指论辩术（3）亚历山大（3世纪）最早使用“λογιχο”指逻辑（4）近代对“逻辑”一词的翻译：“逻辑此翻译名学，其名始于希腊，为逻格斯一根之转，逻格斯一名兼二义，在心之意，出口之词皆以此名。引而伸之，则为论为学，……，本学之逻格斯是学为一切法之法，一切学之学，可以知其学之精深广义矣，姑以名学译之。……，名学，思议之学、之术也”——严复《穆勒名学》2.逻辑在人类历史上的一般起源——讲道理“讲道理”的含义：人与人之间的某一方，通过一个由符号表达的过程，使对方依据他们所在的那个社会、文化环境的约定，自主地形成一个命题态度。讲道理的不同方式：可信服的、非可信服的；简明的、繁复的；形式化的、非形式化的……3.逻辑在古希腊的起源（1）古希腊的历史环境（2）“辩证法”的出现与发展①智者学派（BC5-BC4世纪）的诡辩术②赫拉克利特（BC530-BC470）的“辩证法”：关于矛盾本体，运用矛盾表述方式③柏拉图（BC427-BC347）的“辩证法”：分类方法、概念定义法、矛盾二分法（3）亚里士多德（BC384-BC322）“工具论”的确立著作《工具论》：《范畴篇》《解释篇》《分析前篇》《分析后篇》《论辩篇》《诡辩篇》内容：①范畴：实体、数量、性质、关系、活动、遭受、地点、时间、姿态、状况②命题：真或假的句子：简单、复合，肯定、否定，单称、全称，模态③三段论例：如果所有阔叶植物都是落叶的，并且所有葡萄树都是阔叶植物，则所有葡萄树都是落叶的（《分析后篇》98b5-10）图式：如果所有B是A，并且所有C是B，则所有C是A④模态三段论例子：所有B必然是A，所有C是B，则，所有C必然是A⑤证明亚氏认为：当我们知道了一个事实的真正原因并且知道了这个事实本身是必然的以后，才算是有了关于这一事实的科学知识。在这里前提必须是真的。⑥思维的基本规律矛盾律：“在同一时间与同一方面，同一事物不能既具有又不具有某一属性。”（《形而上学》1005b18-21）“两个互相矛盾的命题不能同时都是真的。”（《形而上学》1011b13-14）排中律：“如果对于任何事物，我们必须或者肯定它，或者否定它，那么，肯定与否定就不可能都是假的。”（《形而上学》1005b18-21）⑦归纳法：简单枚举法（《论辩篇》）与完全归纳法（《分析前篇》）“显然我们必须通过归纳来得知原始前提，因为由感知生成共相的方法就是归纳的。”（《分析后篇》100b3-5）“逻辑起源于亚里士多德，在他的手里，这是一门已经被完成的科学。”——康德（4）古希腊时期工具论的发展①麦加拉—斯多葛学派（BC3世纪）；芝诺（BC336-BC264）发展了复合命题的逻辑理论：假言、选言、联言②伊壁鸠鲁学派：伊壁鸠鲁（BC341-BC270）《准则学》：研究真命题的构成和真的标准问题③欧几里德（BC330-BC275）《几何原本》4.逻辑在古代中国的起源（1）百家争鸣的历史时期——名实关系的讨论（2）儒家的“正名”观念（3）名家公孙龙子（约BC325-BC250）的思想①著作：《白马篇》《指物论》《通变论》《坚白论》《名实论》《迹府》②论题：“白马非马”“马者，所以名形也；白者，所以名色也。名形者非名色也。故曰：白马非马。求马，黄黑马皆可致。求白马，黄黑马不可致。……”（4）墨家的逻辑思想①著作：《墨辩》：《经上》《经下》《经说上》《经说下》《大取》《小取》②意义：确定了我国历史上第一个较为完整的形式逻辑体系5.逻辑在古印度的起源与发展（1）印度逻辑的源头：正理①背景：婆罗门教婆罗门六派哲学（2世纪）《弥曼差经》弥曼差派《奥义书》吠檀多派《数论经》数论派《瑜伽经》瑜伽派《胜论经》胜论派《正理经》正理派②《正理经》十六句义(十六谛)(一)量。指对事物的认识，有现量(知觉)、比量(推理)、声量(类比)、譬喻量(证言)四种。(二)所量。指认识的对象，有我、身、根、境、觉、意、作业、烦恼、彼有、果、苦、解脱十二种。(三)疑。指疑惑，对事物的性质尚未认清时的心理状态。(四)用。指对疑惑的消解，即认识的目的。(五)喻。指实例。(六)悉檀。指宗义，学派或个人的学说主张。(七)支分。指五支作法，即由宗(论题)、因(理由)、喻(例证)、合(应用)、结(结论)五个方面组成的推理形式。(八)思择。指归谬法推理，即通过指明假设的反题的悖谬而显示正题的正确。(九)决。指对事物性质的判定。(十)论议。指依据逻辑规则对论题展开的讨论。(十一)纷义。指为坚守自说所作的诡辩。(十二)坏义。指只在驳倒对方的立论而自己并不立论的辩论。(十三)似因。指似是而非的理由，有不定、相违、问题相似、所立相似、过时等五种。(十四)难难。指故意曲解对方的言论，再作驳难。(十五)诤论。指用错误的理由推出错误的结论去反对和破坏辩论中的敌方。(十六)堕负。指导致辩论失败的种种情况。（2）“因明”的出现①背景：佛教②含义：“因”：确立一个论题的理由与原因；“明”：知识、学科五明：声明、工巧明、医方明、因明、内明三逻辑的发展1.传统演绎逻辑的发展中世纪时期（5—15世纪）逻辑学的缓慢发展亚里士多德三段论成为证明上帝存在的工具彼得·阿伯拉尔（1079-1142）、罗伯特·阿伯拉尔（1193-1280）、威廉·奥卡姆（？-1349）等命题的范畴词、意义，实质指代（相当于语词的提及）和形式指代（相当于语词的被使用），推理关系，命题逻辑推理及其规律的发现等2.归纳逻辑1）奠基人弗朗西斯·培根（1561-1626）《学术的伟大复兴·新工具论》（1620）“现在流行的逻辑与其说是帮助人们寻求真理，不如说是把植根于一般人观念中的错误固定下来。”“三段论是由命题组成的，命题是由字组成的，而字是观念的符号。所以如果观念本身是混乱的并且是由事实就地抽象出来的，则在其上层建筑中不可能有确定性。我们唯一的希望在于真正的归纳。”2）约翰·斯图亚特·穆勒（1806-1873）古典归纳逻辑的完成者代表作《逻辑体系》（1843）①内容：名与命题、推理、归纳、归纳的方法、谬误、道德科学的逻辑②穆勒五法：契合法、差异法、契合差异并用法、剩余法、共变法3.数学逻辑1）数学逻辑产生的背景：16世纪后数学的发展；霍布斯、笛卡儿将数学引入哲学的思想2）数学逻辑的发展历程①创始人：莱布尼茨（1646-1716）初步设想了数学逻辑的基本思想，即“思维演算”（calculusratiociator）：将推理归结为某种演算“让我们来算一下！”②布尔（1815-1864）逻辑代数；弗雷格（1848-1925）真正的数学逻辑理论③罗素（1872-1970）怀特海（1861-1947）《数学原理》标志着数学逻辑体系的确立④哥德尔（1906-1978）1930年提出不完全性定理，标志着数学逻辑的基础理论即“一阶逻辑”的基本理论问题全部解决。3）数学逻辑的主要内容：①逻辑演算②证明论③公理集合论④递归论⑤模型论4）数学逻辑区别于传统逻辑的特点①将思维、推理归结为一种类似数学的演算②建立符号语言（人工语言）来代替自然语言表达逻辑规律③公理化的整体性研究方法④引入数学的方法、理论与知识：初等数论、集合论等4.辩证逻辑1）黑格尔（1770-1831）思辨逻辑：形式—本体客观逻辑：本体论主观逻辑：形式逻辑与认识论2）马克思辩证逻辑3）辩证逻辑在当代的发展