逻辑学复习提要-暨南大学.pdfVIP

1. 引论 1.1 逻辑学是什么 1.1.1 逻辑学研究的对象 1.1.2 逻辑学简史 亚里士多德在西方被称为“逻辑之父” 。 德国哲学家莱布尼茨（Leibniz，1646—1716），被称为数理逻辑的奠基人。 德国数学家和逻辑学家弗雷格（G.Frege，1848—1925）被誉为“现代逻辑之 父” 。 1.2 逻辑学的本质 1.2.1 逻辑形式 1.2.2 演绎推理与归纳推理 演绎推理（deductive reasoning ） 归纳推理（inductive reasoning ） 1.3 命题分析和逻辑类型 1.3.1 复合命题和命题逻辑 1.3.2 直言命题和词项逻辑 1.3.3 谓词逻辑 1.4 逻辑的作用 3.直言命题逻辑 3.1 直言命题概述 3.1.1 直言命题的构成 3.1.2 质和量，以及直言命题的类型 命题 名称 命题形式 所有艺术家都是人 A 所有S都是P 所有艺术家都不是人 E 所有S都不是P 有些艺术家是人 I 有些S是P 有些艺术家不是人 O 有些S不是P 3.1.3 直言命题的标准形式与非标准形式 3.1.4 周延（distribution） 把这四条结论用于A、E、I、O四种命题，得到下表： 命题类型 主项 谓项 SAP 周延 不周延 SEP 周延 周延 SIP 不周延 不周延 SOP 不周延 周延 思考和练习：指出下列命题中主项和谓项的周延情况 所有共产党员都是履行过入党手续的。 有的小学教师是大学毕业的。 所有主张意识决定存在的哲学家都不是唯物主义哲学家。 有的共青团员不是大学生。 有的教师是书法家。 凡海豚都是善游水的动物。 3.1.5 直言命题的图解法 3.1.5.1 文恩图解法(Venn Diagrams) 3.1.5.2 欧拉图解(Euler Diagrams) 3.1.6 存在的含义：假设观点与存在观点 3.2 对当关系论证 3.2.1 对当方阵（Square of Opposition） SAP 反对关系 SEP SIP 下反对关系 SOP （1）矛盾关系(Contradictories) （2）反对关系(Contraries) （3）下反对关系(Subcontrries) （4）差等关系（Subalternation）（蕴含关系） 思考与练习：指出下列各组命题之间的对当关系，并判断真假。 在某次税务检查后，四个工商