【知识】形式逻辑基本知识2.docxVIP

  • 6
  • 0
  • 约4.21万字
  • 约 40页
  • 2021-09-09 发布于四川
  • 举报
PAGE PAGE 10 |精. |品. |可. |编. |辑. |学. |习. |资. |料. 第一章 思维的形式结构 一,形式规律的讨论对象和性质 讨论对象 :思维形式的规律结构,基本规律和方法以及有效推理形式; 规律思维是人们运用概念进行判定,进而实现推理和论证的过程;思维形式的规律结构包括词项(概念)和命题(判定)的形式结构,推理和论证的形式结构等; 例: Ds=Dp A ,B,C┅┅ ( 词项的形式结构 ) 全部 S 是 P 假如 p,那么 q; (命题的形式结构) 全部 M是 P 假如 p,那么 q 全部 S 是 M p 所以,全部 S 是 P 所以 q (推理的形式结构) 其中, s,p,q,r.m 等称为 规律变项 ;是 ; 不是; 假如 , 那么等称为 规律常项; 思维基本规律:同一律,冲突律,排中律 一些简洁的规律方法:下定义方法,划分方法,探明因果联系法等等; 学科性质 : 形式化学科 : 规律学讨论是抽象掉与推理无关的思维对象的详细内容,只保留刻画思维中某些最一般关系,并将其形式化从而揭示或表述人类最一般思维推理过程和规律; 关于外延学科 : 规律学的主要内容是关于规律常项的含义和用法的说明,而规律常项具 有鲜明的外延性; 工具性学科 : 规律学家的主要工作是创立某种符号系统为规律思维建立精确的理论模 型,推演其中的规律算子可在有限步骤内运算出命题的真值和两个命题的真值关系 (是否等值,冲突,或有蕴涵关系) ;期望人们把潜在的推理才能变为自觉的思维行动,让它成 为遵循规律规章的简洁的可操作性的机械过程; 二,命题(判定)及其种类,结构 判定 是对事物情形有所确定的一种思维形式;表达判定的规律语句称为 命题 ;例如∶全部的金属是导体 全部商品是劳动产品 全部有机体都是要进行新陈代谢的 它们都是由一个表示主项的词项和一个表示谓项的词项以及肯定的量项和联项而构成的全称确定的性质命题;其规律结构为∶ 全部的 S 是 P 任何命题都对事物有所确定或有所否定,都或真或假;即命题是具有真假的语句; 真与假就是一个命题的值, 通称为规律值 ( 或合称真值 ) ;真与假成了区分一个语句是否是命题的基本特点; 一般只有陈述句和反诘疑问句才能作为命题; 事实真与规律真的区分 ;例如∶ 上海是中国最大的城市; 上海是中国最大的城市,或者 ( 并且) 上海不是中国最大的城市;例(1) 的真假的确定是一个事实问题,体会问题,即事实真与事实假; 例(2) 的真假的确定仅仅依靠规律形式结构的分析就可以确定,即规律真与规律假; 命题的分类及各种类型的命题的规律结构: ■简洁命题:①性质(直言)命题: 全部 S 是(不是) P 有些 S 是(不是) P 某个 S 是(不是) P ②关系命题: aRb 或 Rabcd?? 复合命题: ①联言命题: p 并且 q ②选言命题: p 或者 q;要么 p,要么 q ③假言命题: 充分条件假言命题: 必要条件假言命题: 假如 p 那么 q 只有 p 才 q 充要条件假言命题; p 当且仅当 q ④负命题: 并非 p ■模态命题 ①必定命题: S 必定是(不是) P ②可能命题: S 可能是(不是) P |精. |品. |可. |编. |辑. |学. |习. |资. |料. 三,推理及其种类 人类的思维是通过概念, 判定和推理等形式抽象地反映对象世界; 概念是反映事物的特有属性的思维形式; 判定是对事物情形有所确定或否定的思维形式; 而推理就是依据一个或一些判定得出另一个判定的思维过程; 判定与判定之间在真假方面是有联系的; 判定与判定之间的真假关系,是人们推理活动的依据; 例 (1) 假如人口的增长是社会进展的主要打算力气, 那么较高的人口密度肯定会产生出较高形式的社会制度; ① 可是事实上较高的人口密度并不产生出较高形式的社会制度; ② 所以,人口增长不是社会进展的主要打算力气 ③ 例 (2) 蘑菇没有叶绿素 ① 香蕈没有叶绿素 ② 地衣没有叶绿素 ③ 蘑菇,香蕈,地衣都是菌类植物 ④ 所以,凡菌类植物都没有叶绿素 ⑤ 例(1) 是一个推理,依据判定①,②,得出判定③; 例(2) 也是一个推理,依据判定①,②,③和④,得出判定⑤; 推理:从一个或几个已知的判定动身推出另一个新的判定的思维形式; 推理的结构由前提,结论和推理形式构成; 前提是已知的判定,是整个推理的动身点,通常叫做推理的依据或理由;结论是推理所引出的新判定,是推理的目的和结果; 在前面的两个例子中,例 (1) 中的判定①,②和例 (2) 中的判定①,②,③,④都是 前提,而例 (1) 中的判定③和例②中的判定⑤都是结论; 推理得出真实结论的条件: 前提真实,形式有效 (前提与结论的内容必定相关性 );符合以上条件的推理具

文档评论(0)

1亿VIP精品文档

相关文档