讲座1：现代逻辑导论

《讲座1：现代逻辑导论》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、语义网的逻辑基础LogicalFoundationoftheSemanticWeb主讲：黄智生ZhishengHuangVrijeUniversityAmsterdam，TheNetherlandshuang@cs.vu.nl助教：胡伟WeiHuSoutheastUniversitywhu@seu.edu.cnChina20091万维网与逻辑WWWandLogics一个急遽发展的全新领域一个历史沧桑的永恒话题一个激动人心的技术时代一个充满挑战的科学问题China20092教学方法论思考MethodologicalStudiesofTeaching跨越文化障碍突破思维局限把握核心

2、思想了解技术概况China20093课程时间表ScheduleChina20094CSWS09导课TutorialsofCSWS098月29日星期六09:00-12:00导课1：IntroductiontotheSemanticWeb（IvanHerman）14:00-15:30导课2：SemanticWebRuleLanguages(JeffZ.Pan)16:00-17:30导课3：计算基于描述逻辑的蕴涵逻辑辩解(漆桂林)China20095思考题与练习题简单的问题一般的练习可作为课程设计的问题可作为一篇研究论文的问题可作为博士论文的问题可作为一篇足以震撼整个学术领域的问题C

3、hina20096思考题与练习题简单的问题一般的练习可作为课程设计的问题可作为一篇研究论文的问题可作为一篇博士论文的问题可作为一篇足以震撼整个学术领域的问题China20097逻辑是什么？经典逻辑现代逻辑的核心思想现在逻辑大观讲座1：现代逻辑导论Lecture1:IntroductiontoModernLogicsChina20098逻辑与科学LogicsandSciences一部人类文明史就是一部人类思想发展史，也就是一部基于逻辑分析的科学思维的发展史。基于逻辑的分析方法已经成为现代科学的基石，贯串着科学领域的方方面面。它不仅是所有自然科学领域的方法论基础，也是所有社会科学领

4、域的方法论基础。China20099避免对逻辑的一个常见误解AvoidingaPervasiveMisunderstandingonLogics逻辑理论实际上是一个规范性的（normative）理论，而不是一个描述性的（descriptive）理论，也就是说，它并不是来描述人类究竟是采用何种形式来推理的，而是来研究人类应如何更有效地进行推理的。China200910逻辑与文化LogicsandCulture为什么我们中国人不擅长搞数理逻辑？为什么中国学者常常把逻辑搞成具有中国特色的逻辑研究？为什么我们中国人错过了科学革命？为什么我们缺乏真正意义的科学大师？为什么我们没有很多开创

5、性的理论工作？为什么我们的许多民间科学家所创立的理论体系得不到国际承认？China200911东西方思维方式的差异DifferencesbetweenEasternandWesternWaysofThinking综合的对分析的（SyntheticvsAnalytic）整体论对还原论（HolismvsReductionism)模糊的对明晰的（FuzzyvsCrisp）实用的对描述的（PragmaticvsDescriptive)动态的对静态的（DynamicvsStatic)China200912分析性思维的基本法则（定义优先原则）避免在基本定义上的误解，先要把基本定义说清楚；（

6、公理约定原则）基本公理是一种约定，而不必证明；（逻辑推论原则）只要同意了基本定义和基本公理，结论从逻辑推理中自然获得；（公理自明原则）：由于公理是一种约定，故要尽可能地自明；（最少公理原则）：由于公理是容易引起争议的，要尽可能地少。China200913人类文明发展之旅现代科学文明是如何产生的？逻辑分析方法在其中起了什么样的作用？过去成功的方法现在还适用吗？我们如何走出思维局限？China200914形式逻辑的起源逻辑，推理与论辩亚里士多德逻辑体系真与假三段论排中率为什么是二值逻辑而不是多值逻辑？为什么现代文明起源于古希腊文明？逻辑推理与人类文明China200915古希腊文明

7、与逻辑苏格拉底Socrates（469BC–399BC）柏拉图Plato（428BC–348BC）亚里士多德Aristotle(384BC–322BC)欧几里德Euclid（325BC–265BC)AristotleChina200916逻辑与法制社会为什么是二值逻辑而不是多值逻辑？为什么现代文明起源于古希腊文明？中国古代逻辑学发展春秋战国时期名家的代表性人物：惠施的法家思想，公孙龙China200917现代科学与逻辑思辩方法斯宾诺莎（1632-1677）（荷）：伦理学笛卡尔（1596-16