,*,*,陈波：,逻辑学导论,，中国人民大学出版社。,逻辑学,，中国人民大学哲学系逻辑教研室编，中国人民大学出版社。,1,陈波：逻辑学导论，中国人民大学出版社。1,“西方科学的发展是以两个伟大成就为基础的，那就是：希腊哲学家发明形式逻辑体系（在欧几里德几何学中），以及通过系统的实验发现有可能找出因果联系（在文艺复兴时期）”。,爱因斯坦,2,“西方科学的发展是以两个伟大成就为基础的，那就是：希腊哲学家,导 论：逻辑学是什么？,2011,年,3,月,3,日,3,导 论：逻辑学是什么？2011年3月3日3,所有的天鹅都是白的。,太阳每天都从东方升起。,是金子总会发光的。,单身汉都是幸福的。,这是一只粉笔。,单身汉是未婚的男子。,1+1=2,。,过年你回家了吗？,北京的交通什么时候能不再拥挤？,4,所有的天鹅都是白的。4,黄药师是黄蓉的父亲。,黄蓉是黄药师的女儿。,这个表中只有两句话是真的。,5,黄药师是黄蓉的父亲。5,一 “逻辑”的词源学考察,（一）古希腊,命题，说明，解释，论证等。,一般的规律、原理和规则。,理性、推理、推理能力，区别于经验和直觉。,尺度，关系，比例，比率等。,价值，分量。,6,一 “逻辑”的词源学考察（一）古希腊6,（二）现代,汉语,“,名学,”,、,“,辩学,”,、,“,名,辩学,”,、“理则学”、“论理学”、“形名之学”、“明理”等。,7,（二）现代汉语7,二 逻辑学的研究对象,（一）思维的内容和形式,思维（狭义）：概念,判断,推理,思维的内容，是指思维的对象。,思维的形式：人类反映对象的特有的理性形式。,8,二 逻辑学的研究对象（一）思维的内容和形式8,9,9,（二）思维的逻辑形式,思维形式的结构（逻辑形式）,严格的说，形式逻辑是一门撇开思维内容专门研究思维形式的科学。,10,（二）思维的逻辑形式10,“这种关于一般知性或理性的必然法则的科学，或者说,这是一样的，,这种关于一般思维的单纯形式的科学,，我们称之为逻辑。”,康德,逻辑学讲义,11,“这种关于一般知性或理性的必然法则的科学，或者说这是一样,所有的玫瑰花都是带刺的。,一切商品都是有价值的。,纳威人都是在树上居住的。,知识都是后天学来的。,12,所有的玫瑰花都是带刺的。12,如果天下雨，则地湿，所以，如果地不湿，则天未下雨。,如果他是凶手，那么他必有作案时间，所以，如果他没有作案时间，那么他就不是凶手。,13,如果天下雨，则地湿，所以，如果地不湿，则天未下雨。13,（三）思维逻辑形式的规律,基本规律：同一律、矛盾律、排中律和充足理由律。,特殊规律：,14,（三）思维逻辑形式的规律14,（四）简单的逻辑方法,定义法,划分法,欧拉图解法,真值表方法,15,（四）简单的逻辑方法15,三 逻辑学的产生和发展,（一）逻辑学的三大发源地,古希腊的形式逻辑：亚里士多德、斯多亚派,中国先秦的名辨学：名、辞、说、辨。,古印度逻辑：正理论和因明学。,16,三 逻辑学的产生和发展（一）逻辑学的三大发源地16,（二）西方逻辑学的历史演进,逻辑学之父：亚里士多德,归纳逻辑：培根,穆勒,赖辛巴哈、卡尔纳普,辩证逻辑：康德,黑格尔,马克思、恩格斯,数理逻辑：莱布尼茨,德,摩根、乔治,布尔、弗雷格、罗素、怀特海、歌德尔、克里普克,17,（二）西方逻辑学的历史演进17,（三）现代逻辑的主要特点,把推理归结为一种与数学类似的计算或演算,以符号语言代替自然语言,严格区分逻辑和心理,引入公理化方法,18,（三）现代逻辑的主要特点18,四 作用和意义,19,四 作用和意义19,第一章：逻辑学的基本概念,第二章：命题逻辑,第三章：词项逻辑,第四章：谓词逻辑,第五章：归纳逻辑,第六章：逻辑方法,20,第一章：逻辑学的基本概念20,