形式逻辑基本知识2.docVIP

形式逻辑基本知识2 第一章 思维的形式结构 一、形式逻辑的研究对象和性质 1.研究对象：思维形式的逻辑结构、基本规律和方法以及有效推理形式。 逻辑思维是人们运用概念进行判断，进而实现推理和论证的过程。思维形式的逻辑结构包括词项（概念）和命题（判断）的形式结构、推理和论证的形式结构等。 例：Ds=Dp A、B、C┅┅ (词项的形式结构) 所有S是P 如果p，那么q。 （命题的形式结构） 所有M是P 如果p，那么q 所有S是M p 所以，所有S是P 所以q （推理的形式结构） 其中，s,p,q,r.m等称为逻辑变项；是;不是;如果,那么等称为逻辑常项。 思维基本规律：同一律、矛盾律、排中律 一些简单的逻辑方法：下定义方法，划分方法，探明因果联系法等等。 2.学科性质： 形式化学科: 逻辑学研究是抽象掉与推理无关的思维对象的具体 关于外延学科: 逻辑学的主要逻辑学家的主要工作是创立某种符号系统为逻辑思维建立精确的理论模型，推演其中的逻辑算子可在有限步骤 所有S是（不是）P 有些S是（不是）P 某个S是（不是）P ②关系命题： aRb或Rabcd…… ■复合命题： 1 ①联言命题： p并且q ②选言命题： p或者q；要么p，要么q ③假言命题： 充分条件假言命题： 如果p那么q 必要条件假言命题： 只有p才q 充要条件假言命题； p当且仅当q ④负命题： 并非p ■模态命题 ①必然命题： S必然是（不是）P ②可能命题： S可能是（不是）P 三、推理及其种类 人类的思维是通过概念、判断和推理等形式抽象地反映对象世界。概念是反映事物的特有属性的思维形式；判断是对事物情况有所肯定或否定的思维形式；而推理则是根据一个或一些判断得出另一个判断的思维过程。判断与判断之间在真假方面是有联系的。判断与判断之间的真假关系，是人们推理活动的根据。 例(1) 如果人口的增长是社会发展的主要决定力量，那么较高的人口密度一定会产生出 较高形式的社会制度。 ① 可是事实上较高的人口密度并不产生出较高形式的社会制度。 ② 所以，人口增长不是社会发展的主要决定力量 ③ 例(2) 蘑菇没有叶绿素 ① 香蕈没有叶绿素 ② 地衣没有叶绿素 ③ 蘑菇、香蕈、地衣都是菌类植物 ④ 所以，凡菌类植物都没有叶绿素 ⑤ 例(1) 是一个推理，根据判断①、②，得出判断③。 例(2) 也是一个推理，根据判断①、②、③和④，得出判断⑤。 1.推理：从一个或几个已知的判断出发推出另一个新的判断的思维形式。 推理的结构由前提、结论和推理形式构成。前提是已知的判断，是整个推理的出发点，通常叫做推理的根据或理由。结论是推理所引出的新判断，是推理的目的和结果。 在前面的两个例子中，例(1) 中的判断①、②和例(2) 中的判断①、②、③、④都是前提，而例(1) 中的判断③和例②中的判断⑤都是结论。 推理得出真实结论的条件：前提真实、形式有效(前提与结论的2 因此由“猴子不是香蕉，但猴子确实是猕猴桃” 可推出“所有的猕猴桃都是香蕉”是假的，从而可知“ 所有的猕猴桃都是香蕉，并且天上白云飘” 这句话是假的。 2. 推理的种类：演泽、归纳和类比 推理按照不同的标准，可以划分为不同的类型： (1) 按照前提与结论之间是否具有蕴涵关系，可以把推理划分成两大类：必然性推理和或然性推理。前面的推理形式(1) 和推理形式(2) 有重要区别。在推理形式(1) 中无论用任何具体判断代入“p ”与“q”，只要代入后的前提是真的，那么代入后的结论也必然是真的。 在推理形式(2) 中，对“S1”、“S2”、“S3”、“S ”与“P ”，我们用某些具体概念代入，结果，前提是真的，结论也是真的；但是，用另一些具体概念代入，结果，前提虽然是真的，结论却是假的。这也就是说，在推理形式(2) 中，代入以后，当前提是真的，结论只是或然地真。在这个意义上，我们说推理形式(1) 的前提与结论之间有必然性联系，而推理形式(2) 的前提与结论之间有或然性联系。 (2) 按照前提和结论一般性程度的不同，可以把推理分为演绎、归纳和类比。演绎是由一般性的前提推到个别性的结论；演绎推理的前提必须蕴涵结论，即一个正确的演绎推理的前提如果是真的，则结论一定是真的，所以它一定是必然性推理。归纳是由个别性的前提推到一般