您的当前位置：领域 > 逻辑学 领域
外延定义 （逻辑学术语）
外延定义是揭示外延意义的逻辑方法。通过揭示外延意义来明确概念或语词。具体可分为实
关联理论 （逻辑学术语）
关联理论是一种认知语用学理论。由斯珀伯与威尔逊在《关联性：交际与认知》中提出。以
逻辑范畴 （逻辑学术语）
人们用以认识客观现实的具有最大普遍性的概念。它是思维反映客观世界辩证运动不可缺少
效果逻辑 （逻辑学术语）
效果逻辑是一种行为逻辑效果逻辑是一种行为逻辑，强调通过行为来创造或发现机会，获得
懒得归纳 （逻辑学术语）
懒得归纳是一种因否认有证据支持的归纳结论而引起的谬误。如“尽管小李在过去的半年里
选言判断 （逻辑学术语）
选言判断是判断的一种，是断定在几种可能情况下，至少有一种情况存在的判断。康德在《
证伪原则 （逻辑学名词）
证伪原则亦称“经验证伪原则”。英国波普关于区分经验科学和形而上学的原则及确定科学
矛盾关系 （逻辑学名词）
矛盾关系，在逻辑学中，有两种含义：(1)同一属概念之下的两个在外延上互相排斥，而
规范命题 （逻辑学术语）
规范命题亦称“道义命题”、“规范模态命题”。含有“必须”（“应该”）、“允许”、
证明方法 （逻辑学术语）
用于逻辑证明的方法，出现《逻辑学》和《数学》里。常见的证明方法有综合法、分析法、
单称判断 （逻辑学概念）
主项是单独概念，仅表示一个人或者一个地方等，不具有范围的判断称为“单称判断”。反
概念界定 （逻辑学术语）
概念界定，是逻辑学术语，即下定义。举例：成绩来定孩子好坏，违反教育原则。
异常逻辑 （逻辑学术语）
又称非标准逻辑。与“经典逻辑”相对。在一些基本点上不同于经典逻辑的一些逻辑分支的
造集谓词 （逻辑学与集合论的基本概念）
造集谓词是逻辑学与集合论的基本概念。它是用以构造集合的元素(个体)所应满足的一种
冰山法则 （逻辑学术语）
根据有限的显性信息，即冰山露出水面的部分，来推断足够的隐性信息，即冰山淹没在水下
同语反复 （逻辑学中的专用名词）
同语反复是逻辑学中的专用名词，是在定义项中直接包含被定义项，定义由定义项、被定义
逻辑断言 （逻辑学术语）
逻辑断言是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件
定义联项 （逻辑学术语）
定义联项（connective of definition）表示被定义项与定义项
错误抽样 （逻辑学术语）
错误抽样是一种在做出归纳概括的过程中因抽样不合理（如抽样片面、样本不具有代表性等
演绎规律说明 （逻辑学术语）
演绎规律说明又称“覆盖律模型”。简称“D-N模型”。美国亨普尔用语。指把被说明的
忽视内涵语境 （逻辑学名词）
忽视内涵语境是一种在论证中将一个涉及内涵语境的句子错误地当作涉及外延语境的句子加
全称否定命题 （逻辑学）
全称否定命题是性质命题的一种。断定某类对象中的每一个对象都不具有某种性质的命题。
模态演绎推理 （逻辑学术语）
模态演绎推理是以模态命题为前提并根据模态命题的逻辑性质进行推演的演绎推理。模态演
激进工具主义 （逻辑学术语）
激进工具主义是科学哲学中的一种T具主义理论。与“朴素工具主义”相对。英国查尔默斯
法律演绎推理 （逻辑学术语）
法律演绎推理是法律适用过程中的演绎推理。主要指三段论式的推理。一种把适用的法律规
局部归纳逻辑 （逻辑学术语）
局部归纳逻辑是现代归纳逻辑理论之一。局部归纳逻辑是相对于整体归纳逻辑而言的，同归
纯粹选言推理 （逻辑学术语）
纯粹选言推理亦称“纯选言三段论”。前提和结论均为选言命题的选言推理。人们曾举出过
反对关系推理 （逻辑学术语）
反对关系推理是根据直言命题逻辑方阵中的反对关系而进行推演的直接推理。由逻辑方阵中
相等关系推理 （逻辑学名词）
相等关系推理( equal relational inference) 传递关系
选言规范命题 （逻辑学术语）
选言规范命题是用联结词“或者”（用“V”表示）联结的规范命题。它包括三种基本形式
有法差别相违 （逻辑学术语）
有法差别相违是因明用语。因过之一。即因法（中词）与宗上有法（小词）暗含的意思相矛
弱批判性思维 （逻辑学术语）
弱批判性思维( critical thinking in weak sense)
双重否定除去 （逻辑学术语）
在命题逻辑里，双重否定除去（或双重否定介入）此一推理规则允许导入（双重否定介入）
定义者谬误 （逻辑学术语）
定义者谬是在论辫中为了使有争议的立场能够得到更容易的辩护而对某个语词进行不公允的
反驳的方式 （逻辑学名词）
反驳的方式（refutational form）是逻辑学名词。有两种含义：（1）
限定摹状词 （逻辑学名词）
限定摹状词亦译“定摹状词”、“确定摹状词”。罗素在论述摹状词时指出：“摹状词可能
相关推断法 （逻辑学术语）
相关推断法是以事件的因果关系原理为依据，从已知相关事件的发展趋势，来推断预测对象
自认知逻辑 （逻辑学术语）
自认知逻辑是一种重要的非单调逻辑.它把缺省假设看做理想主体的自我信念的反映。自认
古希腊罗马逻辑 （逻辑学术语）
古希腊罗马逻辑的第一个阶段，古希腊罗马时期各种逻辑学说的统称。它发源于公元前6世
单一非混合争议 （逻辑学术语）
单一非混合争议是争议的一种类型。一方提出一个论点p，另一方既不肯定p也不否定p，