逻辑学重点知识汇总
2022-04-19 16:30:19 37 举报AI智能生成
逻辑学重要知识点汇总，以及逻辑概念世界与本体的一一对应关系，帮助锻炼逻辑思维。
作者其他创作
大纲/内容
逻辑
定义
指客观事物的发生发展规律。
指某种特殊的观点、理论、制度或方法。
专指人类思维的规律、规则（帮助人们形成有效的判断）。
逻辑学
狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。
本质
是因果律，即因果关系。所谓前因后果。（处理各种范畴、事物与事物之间的关系。“必然的导出”——亚里士多德）
特征
确定性、无矛盾、推理性。
目的
是确认前因后果，并以此为基础推理出新一层的因果关系，以扩大认识的范围。
方法
是明确概念、范畴、前提， 使用范式推理。
局限性
在于对不明确（或者不正确的）的概念和范畴无法运用逻辑，即使运用了也是错误的。
（如：后面的例子：有些食物吃了会中毒，香蕉是食物，香蕉吃了会中毒。）
（如：后面的例子：有些食物吃了会中毒，香蕉是食物，香蕉吃了会中毒。）
外延
形式逻辑
演绎逻辑
传统演绎逻辑
现代演绎逻辑（数理逻辑）
归纳逻辑
古典归纳逻辑
现代归纳逻辑(含概率逻辑)
非形式逻辑
论证逻辑(含批判性思维)
辩证逻辑
现代逻辑
标准逻辑
非标准逻辑
功能
培养思维能力
形成正确认知
提高沟通表达能力
应用各个领域
形式逻辑
定义
形式
相对于外形而言，指事物内容的组织结构和表现方式。尤言表象。
形式逻辑
一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。
功能
是认识客观世界的辅助工具。是论证思想和表达思想的必要工具。
研究对象
思维形式及其规律。（思维形式：思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。）
常用的逻辑分析法
注意
在日常分析某一概念或者知识点的时候可以按照以下流程分析：
定义——>内涵——>属性(性质属性——>关系属性——>功能属性)——>外延)
定义——>内涵——>属性(性质属性——>关系属性——>功能属性)——>外延)
概念
揭示事物特有属性（固有属性或本质属性）的逻辑方法。
概念是一种反映事物特有属性（本质属性和固有属性）的思维形态（形式）。
定义
揭示概念的内涵的逻辑方法。
属性
性质属性
对象本身所具有的属性
关系属性
对象与对象之间的关系
功能属性
事物、系统、概念所具有的功能
外延
具有概念所反映的特有属性的事物。(概念所反 映的事物的范围)
外延划分
规则
各子项外延之和必须等于母项外延:子项不穷尽、多出子项的错误
划分的各子项应当各不相容(全异关系): 子项相容错误。
每次划分必须按同一划分标准进行。
划分必须按照层次逐级进行，不能越级划分。
内涵
概念所反映的事物的特有属性。(组成概念的特征集合)
实际应用：人
定义
会制造和使用工具的动物
属性
性质~
年龄、姓名、身高、体重
关系~
师生关系、母女关系
功能~
制造使用工具等等
本质/特有~
制作和使用工具
内涵
外延
所有的人形成的集合
如：古代诗人，现代诗人（按照朝代划分）
李白，杜甫，毛泽东...具体的人
李白，杜甫，毛泽东...具体的人
概念（逻辑）世界
与本体对应关系
与本体对应关系
概念
关系
属种关系
整部关系
上属关系
下属关系
全同关系
全异关系
交叉关系
关联关系
并列关系
属性
性质属性
关系属性
关系
整部关系
org:hasMember
foaf:member
dcterms: isPartOf
Gn：ispartof
rdfs:member
owl：unionof
owl：one of
Skos：Member
Skos：Collection
foaf:member
dcterms: isPartOf
Gn：ispartof
rdfs:member
owl：unionof
owl：one of
Skos：Member
Skos：Collection
关联关系
dct:bibliographicCitation
dct:isFormatOf
dct:isVersionOf
dct:isReferencedBy
rdfs:seeAlso
Skos：relatedMatch
Skos：mappingRelation
owl：intersectionOf
dct:isFormatOf
dct:isVersionOf
dct:isReferencedBy
rdfs:seeAlso
Skos：relatedMatch
Skos：mappingRelation
owl：intersectionOf
属种关系
org: hasSubOrganization
umls:is aevent:sub_event
umls:is aevent:sub_event
等同关系
Skos：closeMatch
Skos：exactMatch
Skos：exactMatch
并列关系
owl：disjointWith，unionOf
等级关系
subClassOf
类
属性
数据属性
DataProperties
对象属性
ObjectProperties
本体中的
0 条评论
下一页
为你推荐
查看更多
