形式逻辑基础知识提纲.docVIP

形式逻辑基本知识讲授提纲 第一章 思维的形式结构 形式逻辑的研究对象和性质 研究对象：思维形式的逻辑结构、基本规律和方法。 逻辑思维是人们运用概念进行判断，进而实现推理和论证的过程。思维形式的逻辑结构包括词项（概念）和命题（判断）的形式结构、推理和论证的形式结构等。 例：Ds=Dp A、B、C┅┅ (词项的形式结构) 所有S是P 如果p，那么q。 （命题的形式结构） 所有M是P 如果p，那么q 所有S是M p 所以，所有S是P 所以q （推理的形式结构） 思维基本规律：同一律、矛盾律、排中律和充足理由律。 一些简单的逻辑方法：下定义、划分和探求因果联系方法等。 学科性质： 形式化学科: 逻辑学研究是抽象掉与推理无关的思维对象的具体内容，只保留刻画思维中某些最一般关系，并将其形式化从而揭示或表述人类最一般思维推理过程和规律。 关于外延学科: 逻辑学的主要内容是关于逻辑常项的含义和用法的说明，而逻辑常项具有鲜明的外延性。 工具性学科: 逻辑学家的主要工作是创立某种符号系统为逻辑思维建立精确的理论模型，推演其中的逻辑算子可在有限步骤内计算出命题的真值和两个命题的真值关系（是否等值、矛盾、或有蕴涵关系）。希望人们把潜在的推理能力变为自觉的思维行动，让它成为遵循逻辑规则的简单的可操作性的机械过程。 例1∶所有的猕猴桃都是香蕉，猴子是猕猴桃，所以，猴子是香蕉。 如果题干为真，下面哪个选项一定是真的？ 香蕉长在白云上，猴子吃香蕉，所以，猴子跟着白云飘。 猴子是猕猴桃、猴子是香蕉，所以，所有的猕猴桃都是香蕉。 香蕉是猴子，猴子跑在白云上，所以，香蕉追着白云跑。 老虎追猴子，猴子追香蕉，所以，老虎追猴子和香蕉。 猴子不是香蕉，但猴子确实是猕猴桃、所以，“所有的猕猴桃都是香蕉，并且天上白云飘” 这句话是假的。 【解题分析】正确答案∶E. 本题的题干和选项的内容都极其荒谬，但并不妨碍我们做正确的逻辑推理。题干的推理是“p并且q→r”， 其等价命题“非r→非p或非q”。 因此由“猴子不是香蕉，但猴子确实是猕猴桃”(r并且q) 可推出“所有的猕猴桃都是香蕉”(p)是假的，从而可知“ 所有的猕猴桃都是香蕉，并且天上白云飘”(p并且s) 这句话是假的。 命题（判断）及其种类、结构 判断是对事物情况有所断定的一种思维形式。表达判断的逻辑语句称为命题。 任何命题都对事物有所肯定或有所否定，都或真或假。即命题是具有真假的语句。真与假就是一个命题的值，通称为逻辑值(或合称真值)。真与假成了区别一个语句是否是命题的基本特征。一般只有陈述句和反诘疑问句才能作为命题。 注意；区分事实真与逻辑真的区别！ 例如∶(1)上海是中国最大的城市。 (2)上海是中国最大的城市，或者(并且)上海不是中国最大的城市。 例(1) 的真假的确定是一个事实问题、经验问题，即事实真与事实假。 例(2) 的真假的确定仅仅依靠逻辑形式结构的分析就可以确定，即逻辑真与逻辑假。 命题的分类及各种类型的命题的逻辑结构： ■简单命题： ①性质（直言）命题： 所有S是（不是）P 有S是（不是）P ②关系命题： aRb ■复合命题： ①联言命题： p而且q ②选言命题： p或者q ； p要么q ③假言命题：充分条件假言命题： 如果p那么q 必要条件假言命题： 只有p才q 充要条件假言命题； p当且仅当q ④负命题： 并非p ■模态命题 ①必然命题： S必然是（不是）P ②可能命题： S可能是（不是）P 推理及其种类 推理：从一个或几个已知的判断出发推出另一个新的判断的思维形式。 例(1)如果人口的增长是社会发展的主要决定力量，那么较高的人口密度一定会产生出 较高形式的社会制度。 ①? 可是事实上较高的人口密度并不产生出较高形式的社会制度。 ② 所以，人口增长不