普通逻辑学第一讲 概 述课件.ppt

《普通逻辑学第一讲 概 述课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1、“逻辑”是什么1.1逻辑的词源：词源上可追溯到希腊词“逻各斯”(logos，复数logoi)1.1.1亚里士多德：用“逻各斯”指议论和论证；但用“分析”或“分析学”指他关于推理的理论。1.1.2斯多葛学派：用“逻各斯”指论辩术和修辞学。1.1.3逍遥学派和古罗马西塞罗：用论辩术（dialectica）表示包括逻辑和修辞的科学。1.1.4欧洲中世纪的逻辑学家有时候用“logica”,有时候用“dialectica”表示逻辑。1.1.5近代，西方才通用“logic”或“logique”等表示逻辑这门科学。1.2“逻辑”的主要含义有:(1)客观事物的规律;(2)某种理论、观

2、点;(3)思维的规律、规则;(4)逻辑学或逻辑知识.1.3“logic”在中国的翻译：李之藻《名理探》；1896年《辩学启蒙》；严复1905年《穆勒名学》。“logic”的中译名还有论理学、理则学等。严复是把它音译为“逻辑”的第一人。1.4“逻辑”在中文中的主要含义1.4.1客观事物的一般规律1.4.2某种理论或对某问题的观点、看法1.4.3思维的规律或法则1.4.4作为一门学问的逻辑学2、逻辑的历史发展2.1中国古代逻辑的产生2.2古代印度逻辑的产生2.3古希腊逻辑的诞生和发展2.4古典形式逻辑的现代发展2.1中国古代逻辑“名辩学”的产生2.1.1辩学的经典－－《墨经》

3、：《经》上、下，《经说》上、下，《大取》、《小取》共六篇研究了何谓“辩”：“辩者，争彼也，辩胜，当也。”讨论了“名”、“辞”、“说”等思维形式2.1.2名学的经典《荀子·正名》2.2印度古代逻辑“因明学”的产生古印度宗教发达，派别林立，盛行论辩之风。如果“雅辞赡美、妙辩敏捷”则“驭乘宝象，导从如林”；如果“辞锋挫锐，理寡而辞繁”则“面涂污泥，弃之荒野。”2.2.1《正理经》：宗、因、喻、合、结五支。2.2.2因明学，即佛教逻辑。基本经典是公元6世纪陈那著《因明正理门论》、其弟子商羯罗主的注解性著作《因明入正理论》。把五支改为“宗、因、喻”三支，与三段论推理形式基本一致。2

4、.2.3因明的含义：“因”表示推理的根据，而“明”指理论或学说。“因明”就是关于推理的学说。2.3古典逻辑的产生和发展亚里士多德：以三段论为核心的词项逻辑斯多葛学派：命题逻辑中世纪及文艺复兴：语言的指称、词项的性质、推论学说培根：16世纪归纳逻辑，三表法17世纪的《波尔·罗亚尔逻辑》：概念论、命题论、推理论和方法论四部分内容康德：首次提出逻辑是关于一般思维之单纯形式的科学。穆勒：19世纪的“穆勒五法”古典形式逻辑的现代发展1、莱布尼茨：思维演算、人工语言2、布尔：逻辑代数3、皮尔斯：关系逻辑4、弗雷格：形式化语言取代日常语言；建立了历史上第一个严格的谓词演算系统5、罗素：

5、建立了四个演算系统（命题、谓词、类、关系），标志着数理逻辑的正式诞生6、哥德尔：对逻辑系统自身的一致性和完备性研究7、集合论、模型论、证明论、递归论的诞生现代逻辑体系一、基本逻辑1．标准逻辑：命题逻辑、量词逻辑（谓词逻辑、关系逻辑）、数学逻辑（模型论、集合论、递归论、证明论）2．非标准逻辑：多值逻辑、模态逻辑、模糊逻辑、直觉主义逻辑和相干逻辑。二、元逻辑1．逻辑语法学2．逻辑语义学3．逻辑语用学三、应用逻辑1．认知逻辑2．问题逻辑3．规范逻辑4．时态逻辑5．量子逻辑6．电路分析逻辑二、普通逻辑的研究对象1、国内外关于逻辑研究对象的不同看法恩格斯：逻辑是关于思维过程本身的规

6、律的学说美国《哲学百科全书》：逻辑研究各种推理的有效性英国《哲学辞典》：逻辑的中心议题是有效的推理、它的系统化及相关概念的研究金岳霖：以思维形式及其规律为主要研究对象的科学，同时涉及简单的逻辑方法人民大学哲学系：研究思维的形式结构及其规律的科学王路：研究推理的有效性、研究必然地得出诸葛殷同：逻辑是主要研究推理形式和证明形式的科学2、普通逻辑的研究对象普通逻辑的主要研究对象是思维的形式结构及其规律。普通逻辑研究的核心内容是有效的推理“普通逻辑”并不是一个逻辑分支3、逻辑形式概念的逻辑形式：复合概念有逻辑结构。譬如，“非党员”、“青年教师”、“哲人科学家”等命题的逻辑形式：（

7、1）具有不同内容的不同命题有同样的逻辑结构；（2）同样的命题形式可能有不同的逻辑结构。譬如，“天不变，道不变。”推理的逻辑形式：逻辑主要研究思维的逻辑形式简要之，逻辑主要研究思维的逻辑形式及其规律。具有不同内容的概念、判断、推理等思维形式可能有着一定的共同的结构。这些结构由构成这种结构形式的要素及其相互关系构成。逻辑主要研究这些构成要素之间的形式关系。譬如，（pq）这种结构形式，就是一种逻辑形式，它由p和q及表达它们俩者之间“充分条件”这种关系的“”构成。逻辑学就要研究p是q的“充分条件”这种情况下，p和q之间的真假联系。