形式逻辑基本知识提纲

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

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

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

3、桃，所以，猴子是香蕉。如果题干为真，下面哪个选项一定是真的？A.香蕉长在白云上，猴子吃香蕉，所以，猴子跟着白云飘。B.猴子是猕猴桃、猴子是香蕉，所以，所有的猕猴桃都是香蕉。C.香蕉是猴子，猴子跑在白云上，所以，香蕉追着白云跑。D.老虎追猴子，猴子追香蕉，所以，老虎追猴子和香蕉。E.猴子不是香蕉，但猴子确实是猕猴桃、所以，“所有的猕猴桃都是香蕉，并且天上白云飘”这句话是假的。【解题分析】正确答案∶E.本题的题干和选项的内容都极其荒谬，但并不妨碍我们做正确的逻辑推理。题干的推理是“p并且q→r”，其等价命题“非r→非p或非q”。因此由“猴子不是

4、香蕉，但猴子确实是猕猴桃”(r并且q)可推出“所有的猕猴桃都是香蕉”(p)是假的，从而可知“所有的猕猴桃都是香蕉，并且天上白云飘”(p并且s)这句话是假的。二、命题（判断）及其种类、结构判断是对事物情况有所断定的一种思维形式。表达判断的逻辑语句称为命题。任何命题都对事物有所肯定或有所否定，都或真或假。即命题是具有真假的语句。真与假就是一个命题的值，通称为逻辑值(或合称真值)。真与假成了区别一个语句是否是命题的基本特征。一般只有陈述句和反诘疑问句才能作为命题。注意；区分事实真与逻辑真的区别！例如∶(1)上海是中国最大的城市。31(2)上海是中

5、国最大的城市，或者(并且)上海不是中国最大的城市。例(1)的真假的确定是一个事实问题、经验问题，即事实真与事实假。例(2)的真假的确定仅仅依靠逻辑形式结构的分析就可以确定，即逻辑真与逻辑假。命题的分类及各种类型的命题的逻辑结构：■简单命题：①性质（直言）命题：所有S是（不是）P有S是（不是）P②关系命题：aRb■复合命题：①联言命题：p而且q②选言命题：p或者q；p要么q③假言命题：充分条件假言命题：如果p那么q必要条件假言命题：只有p才q充要条件假言命题；p当且仅当q④负命题：并非p■模态命题①必然命题：S必然是（不是）P②可能命题：S可

6、能是（不是）P一、推理及其种类1.推理：从一个或几个已知的判断出发推出另一个新的判断的思维形式。例(1)如果人口的增长是社会发展的主要决定力量，那么较高的人口密度一定会产生出较高形式的社会制度。① 可是事实上较高的人口密度并不产生出较高形式的社会制度。②所以，人口增长不是社会发展的主要决定力量③例(2)蘑菇没有叶绿素①香蕈没有叶绿素②地衣没有叶绿素③蘑菇、香蕈、地衣都是菌类植物④所以，凡菌类植物都没有叶绿素⑤例(1)是一个推理，根据判断①、②，得出判断③。例(2)也是一个推理，根据判断①、②、③和④，得出判断⑤。  推理的结构由前提、结论和

7、推理形式构成。前提是已知的判断，是整个推理的出发点，通常叫做推理的根据或理由。结论是推理所引出的新判断，是推理的目的和结果。在前面的两个例子中，例(1)中的判断①、②和例(2)中的判断①、②、③、④都是前提，而例(1)中的判断③和例②中的判断⑤都是结论。推理得出真实结论的条件：前提真实、形式有效(前提与结论的内容必然相关性)。符合以上条件的推理具有“保真性”。狭义的逻辑有效性仅指推理形式的有效性。一个推理成立，并不要求前提一定真实，因为在假命题之间也可以进行合逻辑的推理。2.推理的种类：演泽、归纳和类比 推理按照不同的标准，可以划分为不同的

8、类型：    (1)按照前提与结论之间是否具有蕴涵关系，可以把推理划分成两大类：必然性推理和或然性推理。前面的推理形式(1)和推理形式(2)有重要区别。在推理形式(1)中无论用任