普通逻辑学 第一讲 引论.ppt

普通逻辑,教材及参考书,教材吴家国.普通逻辑，上海人民出版社，2005年。参考书陈波.逻辑学是什么，北京大学出版社，2002.赵总宽.逻辑学百年，北京出版社，1999.周礼全.逻辑：正确思维和成功交际的理论彭漪涟.趣味逻辑学，中国青年出版社，1981.,第一讲引论,一、逻辑是什么二、逻辑学的历史发展三、普通逻辑研究的对象四、逻辑与语言五、逻辑的功能与作用,“逻辑”是什么,1.1逻辑的词源：“逻各斯”(logos)1.1.1亚里士多德：用“逻各斯”指议论和论证；用“分析”或“分析学”指他关于推理的理论。1.1.2斯多葛学派：用“逻各斯”指论辩术和修辞学。,1.1.3逍遥学派和古罗马西塞罗：用论辩术（dialectica）表示包括逻辑和修辞的科学。1.1.4欧洲中世纪的逻辑学家有时候用“logica”,有时候用“dialectica”表示逻辑。1.1.5近代，西方才通用“logic”或“logique”等表示逻辑这门科学。,1.2“逻辑”的主要含义(1)客观事物的规律;(2)某种理论、观点;(3)思维的规律、规则;(4)逻辑学或逻辑知识.,1.3“logic”在中国的翻译李之藻名理探；1896年辩学启蒙；严复1905年穆勒名学“logic”的中译名还有论理学、理则学等。严复是把它音译为“逻辑”的第一人。,逻辑的历史发展,2.1中国古代逻辑的产生2.2古代印度逻辑的产生2.3古希腊逻辑的诞生和发展2.4古典形式逻辑的现代发展,2.1中国古代逻辑“名辩学”的产生,2.1.1辩学的经典墨经：经上、下，经说上、下，大取、小取共六篇。研究了何谓“辩”：“辩者，争彼也，辩胜，当也。”讨论了“名”、“辞”、“说”等思维形式。2.1.2名学的经典荀子正名。,墨经之小取，是中国古典逻辑的,名家代表人物,纲要，比较集中完整地讨论了逻辑的基本内容。墨经是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。,墨子,2.2印度古代逻辑“因明学”的产生,古印度宗教发达，派别林立，盛行论辩之风。如果“雅辞赡美、妙辩敏捷”则“驭乘宝象，导从如林”；如果“辞锋挫锐，理寡而辞繁”则“面涂污泥，弃之荒野。”2.2.1正理经：宗、因、喻、合、结五支。2.2.2因明学，即佛教逻辑。基本经典是公元6世纪陈那著因明正理门论、其弟子商羯罗主的注解性著作因明入正理论。把五支改为“宗、因、喻”三支，与三段论推理形式基本一致。2.2.3因明的含义：“因”表示推理的根据，而“明”指理论或学说。“因明”就是关于推理的学说。,2.3古典逻辑的产生和发展,亚里士多德：三段论为核心的词项逻辑。斯多葛学派：命题逻辑中世纪及文艺复兴：语言的指称、词项的性质、推论学说,培根：16世纪归纳逻辑，三表法17世纪的波尔罗亚尔逻辑：概念论、命题论、推理论和方法论四部分内容,康德：首次提出逻辑是关于一般思维之单纯形式的科学。揭示了思维的辩证矛盾。穆勒：19世纪的“穆勒五法”,黑格尔批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。,古典形式逻辑的现代发展,1、莱布尼茨：思维演算、人工语言2、布尔：逻辑代数3、皮尔斯：关系逻辑4、弗雷格：形式化语言取代日常语言；建立了历史上第一个严格的谓词演算系统,提出通用语言和推理是计算的思想而成为现代逻辑的先驱。,罗素建立了命题和谓词的四个演算，数理逻辑正式建立。,证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题。,N.RescherTopicsinPhilosophicalLogic逻辑分支一览表,A.基础逻辑1传统逻辑2经典现代逻辑3非经典现代逻辑,B.元逻辑1逻辑语法学2逻辑语义学3逻辑语用学a自然语言逻辑b修辞学分析c语境蕴涵d非形式谬误理论e逻辑的非古典应用4逻辑语言学a结构理论b意义理论C有效性理论,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构造性逻辑（逻辑还原主义等）e本体论逻辑3认识论应用a问（答）逻辑b认知逻辑（相信、知道）c假设逻辑（反事实的假设推理）d信息和信息过程的逻辑e归纳逻辑（确证逻辑概率逻辑）,二、普通逻辑的研究对象,1、逻辑研究对象的不同看法恩格斯：逻辑是关于思维过程本身的规律的学说。美国哲学百科全书：逻辑研究各种推理的有效性。英国哲学辞典：逻辑的中心议题是有效的推理、它的系统化及相关概念的研究。,金岳霖：以思维形式及其规律为主要研究对象的科学，同时涉及简单的逻辑方法。人民大学哲学系：研究思维的形式结构及其规律的科学。王路：研究推理的有效性、研究必然地得出。诸葛殷同：逻辑是主要研究推理形式和证明形式的科学。,2、普通逻辑的研究对象,普通逻辑的主要研究对象是思维的形式结构及其规律。普通逻辑研究的核心内容是有效的推理。“普通逻辑”并不是一个逻辑分支。,3、逻辑形式,概念的逻辑形式：复合概念有逻辑结构。譬如，“非党员”、“青年教师”、“哲人科学家”等。命题的逻辑形式：（1）具有不同内容的不同命题有同样的逻辑结构；（2）同样的命题可能有不同的逻辑结构。譬如，“天不变，道不变”。“父在母先亡。”,推理的逻辑形式（有效性）所有真理都是经得起实践检验的所有迷信邪说都不是真理所以，所有迷信邪说都不是经得起实践检验的推理形式为：所有M都是P所有S都不是M所以，所有的S都不是P。,所有人都是要死的所有狗都不是人所以，所有狗都不是要死的。所有哲学家都是要吃饭的所有文盲都不是哲学家所以，所有文盲都不是要吃饭的。,该推理形式有这样两个解释：,三、逻辑与语言,1、逻辑和语言有着密不可分的关系2、自然语言和人工语言3、对象语言和元语言,四