形式逻辑基本知识讲授提纲

《形式逻辑基本知识讲授提纲》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、形式逻辑基本知识讲授提纲第一章思维的形式结构一、形式逻辑的研究对象和性质研究对象：思维形式的逻辑结构、基本规律和方法。逻辑思维是人们运用概念进行判断，进而实现推理和论证的过程。思维形式的逻辑结构包括词项（概念）和命题（判断）的形式结构、推理和论证的形式结构等。例：Ds=DpA、B、C┅┅(词项的形式结构)所有S是P如果p，那么q。（命题的形式结构）所有M是P如果p，那么q所有S是Mp所以，所有S是P所以q（推理的形式结构）思维基本规律：同一律、矛盾律、排中律和充足理由律。一些简单的逻辑方法：下定义、划分和探求因果联系方法等。学科性质：形式化学科:逻辑学研究是抽象掉与推理无关的思维对象的具

2、体内容，只保留刻画思维中某些最一般关系，并将其形式化从而揭示或表述人类最一般思维推理过程和规律。关于外延学科:逻辑学的主要内容是关于逻辑常项的含义和用法的说明，而逻辑常项具有鲜明的外延性。工具性学科:逻辑学家的主要工作是创立某种符号系统为逻辑思维建立精确的理论模型，推演其中的逻辑算子可在有限步骤内计算出命题的真值和两个命题的真值关系（是否等值、矛盾、或有蕴涵关系）。希望人们把潜在的推理能力变为自觉的思维行动，让它成为遵循逻辑规则的简单的可操作性的机械过程。例1∶所有的猕猴桃都是香蕉，猴子是猕猴桃，所以，猴子是香蕉。如果题干为真，下面哪个选项一定是真的？A.香蕉长在白云上，猴子吃香蕉，所以

3、，猴子跟着白云飘。B.猴子是猕猴桃、猴子是香蕉，所以，所有的猕猴桃都是香蕉。C.香蕉是猴子，猴子跑在白云上，所以，香蕉追着白云跑。D.老虎追猴子，猴子追香蕉，所以，老虎追猴子和香蕉。E.猴子不是香蕉，但猴子确实是猕猴桃、所以，“所有的猕猴桃都是香蕉，并且天上白云飘”这句话是假的。【解题分析】正确答案∶E.本题的题干和选项的内容都极其荒谬，但并不妨碍我们做正确的逻辑推理。题干的推理是“p并且q→r”，其等价命题“非r→非p或非q”。因此由“猴子不是香蕉，但猴子确实是猕猴桃”(r并且q)可推出“所有的猕猴桃都是香蕉”(p)是假的，从而可知“所有的猕猴桃都是香蕉，并且天上白云飘”(p并且s)这

4、句话是假的。二、命题（判断）及其种类、结构判断是对事物情况有所断定的一种思维形式。表达判断的逻辑语句称为命题。任何命题都对事物有所肯定或有所否定，都或真或假。即命题是具有真假的语句。真与假就是一个命题的值，通称为逻辑值(或合称真值)。真与假成了区别一个语句是否是命题的基本特征。一般只有陈述句和反诘疑问句才能作为命题。注意；区分事实真与逻辑真的区别！例如∶形式逻辑基本知识讲授提纲第一章思维的形式结构一、形式逻辑的研究对象和性质研究对象：思维形式的逻辑结构、基本规律和方法。逻辑思维是人们运用概念进行判断，进而实现推理和论证的过程。思维形式的逻辑结构包括词项（概念）和命题（判断）的形式结构、推

5、理和论证的形式结构等。例：Ds=DpA、B、C┅┅(词项的形式结构)所有S是P如果p，那么q。（命题的形式结构）所有M是P如果p，那么q所有S是Mp所以，所有S是P所以q（推理的形式结构）思维基本规律：同一律、矛盾律、排中律和充足理由律。一些简单的逻辑方法：下定义、划分和探求因果联系方法等。学科性质：形式化学科:逻辑学研究是抽象掉与推理无关的思维对象的具体内容，只保留刻画思维中某些最一般关系，并将其形式化从而揭示或表述人类最一般思维推理过程和规律。关于外延学科:逻辑学的主要内容是关于逻辑常项的含义和用法的说明，而逻辑常项具有鲜明的外延性。工具性学科:逻辑学家的主要工作是创立某种符号系统为

6、逻辑思维建立精确的理论模型，推演其中的逻辑算子可在有限步骤内计算出命题的真值和两个命题的真值关系（是否等值、矛盾、或有蕴涵关系）。希望人们把潜在的推理能力变为自觉的思维行动，让它成为遵循逻辑规则的简单的可操作性的机械过程。例1∶所有的猕猴桃都是香蕉，猴子是猕猴桃，所以，猴子是香蕉。如果题干为真，下面哪个选项一定是真的？A.香蕉长在白云上，猴子吃香蕉，所以，猴子跟着白云飘。B.猴子是猕猴桃、猴子是香蕉，所以，所有的猕猴桃都是香蕉。C.香蕉是猴子，猴子跑在白云上，所以，香蕉追着白云跑。D.老虎追猴子，猴子追香蕉，所以，老虎追猴子和香蕉。E.猴子不是香蕉，但猴子确实是猕猴桃、所以，“所有的猕猴

7、桃都是香蕉，并且天上白云飘”这句话是假的。【解题分析】正确答案∶E.本题的题干和选项的内容都极其荒谬，但并不妨碍我们做正确的逻辑推理。题干的推理是“p并且q→r”，其等价命题“非r→非p或非q”。因此由“猴子不是香蕉，但猴子确实是猕猴桃”(r并且q)可推出“所有的猕猴桃都是香蕉”(p)是假的，从而可知“所有的猕猴桃都是香蕉，并且天上白云飘”(p并且s)这句话是假的。二、命题（判断）及其种类、结构判断是对事物情况有所断定的一种思维形式