您的当前位置：领域 > 逻辑学 领域
谓项 （逻辑学术语）
谓项，逻辑学学科的术语。是主项（被视作句子成分的主语）的具体描述的承载。位置通常
定义过窄 （逻辑学术语）
定义过窄是定义项的外延小于被定义项的外延的逻辑错误。如“工业部门就是从事机器制造
实践三段论 （逻辑学学科术语）
实践三段论是古希腊亚里士多德用语。指一种始于普遍伦理原则而止于行动的关于实践理性
晏成书 （原北京大学哲学系教授、著名逻辑学家）
晏成书，北京大学哲学系教授、著名逻辑学家。1923年9月出生于湖北汉川，1946
真命题 （逻辑学术语）
真命题（true statement）是一种逻辑学术语。一般的，在数学中把用语言
形式推理 （逻辑学术语）
形式推理又称分析推理，就是运用形式逻辑进行推理。这种推理的前提是“法院可以获得表
主宾命题 （逻辑学术语）
主宾命题是逻辑实证主义用语。描述事物性质的基本命题，即传统逻辑中主项一谓项形式的
描述定义 （逻辑学术语）
描述定义亦称“摹状定义”。日常语言中常用的、一种通过类似定义的方法来描述对象的定
否定性证据 （逻辑学术语）
否定性证据是一种理应发现但却不存在的证据。如某人的姓名在某大学2002届正式的毕
传递关系推理 （逻辑学术语）
传递关系推理( transitive relation inference），间
必须命题 （逻辑学术语）
必须命题是陈述必须履行某种行为的命题。通常含有“必须”、”应当”、“有义务”等规
联言规范命题 （逻辑学术语）
联言规范命题是用联结词“并且”（用“^”表示）联结的规范命题。它包括三种基本形式
必须规范三段论 （逻辑学术语）
必须规范三段论是含有必须规范命题的三段论。通常大前提是一个必须规范命题，小前提是
直接关系推理 （逻辑学术语）
直接关系推理( immediate relation inference)从一个
演绎经验主义 （逻辑学术语）
演绎经验主义亦称“经验理性主义”。奥地利克拉夫特在归纳问题上的观点。克拉夫特既不
假两难推理 （逻辑学术语）
假两难推理(False dichotomy) 是逻辑谬误(Deductive F
轻率概括 （逻辑学术语）
轻率概括是不正确地运用简单枚举归纳推理所产生的逻辑错误。在没有积累足以进行概括的
相违因 （逻辑学术语）
相违因是因明用语。因过之一类。包括同时违反第二相和第三相的四种过失，故亦称“四相
负规范命题 （逻辑学术语）
负规范命题是对原规范命题加以否定的命题。或者说，是用“并非”（用“一”表示）联结
批判解释学 （逻辑学术语）
批判解释学是德国哈贝马斯的解释学理论。强调解释学应当与意识形态批判的理论结合起来
奥克姆剃刀 （逻辑学术语）
奥卡姆剃刀（Occam's Razor， Ockham's Razor）是由13
逻辑顺序方法 （逻辑学术语）
逻辑顺序方法是指把信息看作资源对其进行管理，从业务角度考虑问题的逻辑顺序。这里把
必然判断 （黑格尔《逻辑学》术语）
必然判断( judgment of necessity) 德国黑格尔对判断分类的
定义过宽 （逻辑学术语）
定义过宽是定义项的外延大于被定义项的外延的逻辑错误。如“工业部门就是社会生产部门
证明太多 （逻辑学术语）
证明太多（英语：Proving too much）是指论证不只得出了论者想要的结
关系推理 （逻辑学术语）
关系推理(relational inference)亦称关系判断的推理，是与关系
同义手段 （逻辑学名词）
同义手段是表示相同或相近意思的不同手段，包括同义词、同义句式、各种能造成相同或相
模式化谬误 （逻辑学术语）
模式化谬误是一种在推理或论辩中误把某一模式当作关于某类对象整体的准确概括而加以运
对立性推理 （逻辑学术语）
对立性推理亦称“对立命题推理”。根据直言命题逻辑方阵中的反对关系和矛盾关系而进行
省略三段论 （逻辑学术语）
省略三段论是指省略了大前提，或者小前提，或者结论的三段论。省略三段论有三种： (
用名以乱实 （逻辑学术语）
用名以乱实是战国荀子所列“三惑”之一。《荀子·正名》：…非而谒楹’，‘有牛马非马
绝对同一性 （逻辑学术语）
绝对同一性( absolute identity) 是排斥和否定事物内部的差异和
解释语义学 （逻辑学术语）
解释语义学是语义学的一种。与“生成语义学”相对。生成语言学的语义理论、关于表征层
优析取范式 （逻辑学术语）
优析取范式亦称“特异析取范式”。经典命题演算中满足以下条件的析取范式。(1)如果
超协调逻辑 （逻辑学术语）
超协调逻辑是非经典逻辑的一个重要分支。它是能够容纳矛盾但是从矛盾却不能推出一切的
真对象语句 （逻辑学术语）
真对象语句是美国卡尔纳普用语。他认为语言有两种表达方式。一种是内包的方式，谈论的
连锁三段论 （逻辑学术语）
连锁三段论(sorites)是复合三段论的简略形式。在连锁三段论中，除留下最后得
超外延主义 （逻辑学名词）
超外延主义是美国哥德曼的一种唯名论观点。区别于古典的外延主义。占典的外延主义认为
普遍因果律 （逻辑学名词）
普遍因果律是19世纪英国哲学家、逻辑学家穆勒（亦译“密尔”）认定的一条作为占典归
非正式辩论 （逻辑学术语）
非正式辩论是不具备特殊辩论、法庭辩论、议会辩论或教学性辩论中的正式规则的辩论。如