您的当前位置：领域 > 逻辑学 领域
变形规则 （逻辑学术语）
变形规则是形式系统中规定如何从一个或几个公式经过符号变换而推导出另一公式的规则。
必须命题 （逻辑学术语）
必须命题是陈述必须履行某种行为的命题。通常含有“必须”、”应当”、“有义务”等规
语义谬误 （逻辑学术语）
语义谬误是运用符号过程中，产生于符号同其指谓对象之间关系方面的谬误。亦即由于表达
单称肯定命题 （逻辑学名词）
单称肯定命题是性质命题的一种。断定某一单独对象具有某种性质的命题。如“地球是行星
联言规范命题 （逻辑学术语）
联言规范命题是用联结词“并且”（用“^”表示）联结的规范命题。它包括三种基本形式
必须规范三段论 （逻辑学术语）
必须规范三段论是含有必须规范命题的三段论。通常大前提是一个必须规范命题，小前提是
条件联系 （逻辑学术语）
条件联系是一事物情况的存在与否对另一事物情况的存在与否的制约或依赖的关系。如果p
模糊谓词 （逻辑学术语）
模糊谓词(fuzzy predicate)是逻辑学的基本概念之一，它是一种存在对
直接关系推理 （逻辑学术语）
直接关系推理( immediate relation inference)从一个
演绎经验主义 （逻辑学术语）
演绎经验主义亦称“经验理性主义”。奥地利克拉夫特在归纳问题上的观点。克拉夫特既不
无穷逻辑 （逻辑学术语）
无穷逻辑是由一般无穷逻辑、无穷深逻辑、无穷可容逻辑、无穷概率逻辑等构成的逻辑群。
假两难推理 （逻辑学术语）
假两难推理(False dichotomy) 是逻辑谬误(Deductive F
列举定义 （逻辑学术语）
列举定义亦称“举例定义”、“例释定义”、“举例”。一种“非实指的外延定义”。通过
全局和局部 （逻辑学术语）
全局和局部是全局指事物的整体及其发展的全过程；局部指组成事物整体的各个部分、方面
轻率概括 （逻辑学术语）
轻率概括是不正确地运用简单枚举归纳推理所产生的逻辑错误。在没有积累足以进行概括的
崔清田 （中国逻辑学家）
崔清田（1936.1.10——）中国逻辑学家、逻辑学史家，南开大学哲学系教授、博
意义关系 （逻辑学术语）
意义关系亦称“涵义关系”。语言内部的关系系统。即一个词与词汇表中其他词所形成的关
相违因 （逻辑学术语）
相违因是因明用语。因过之一类。包括同时违反第二相和第三相的四种过失，故亦称“四相
否定符号 （逻辑学领域术语）
否定符号（negation symbol），逻辑符号之一，它表示逻辑上的“否定”
负规范命题 （逻辑学术语）
负规范命题是对原规范命题加以否定的命题。或者说，是用“并非”（用“一”表示）联结
螺旋形上升 （逻辑学术语）
螺旋形上升( spiral rise) 对否定的否定规律所揭示的事物发展形式的一
批判解释学 （逻辑学术语）
批判解释学是德国哈贝马斯的解释学理论。强调解释学应当与意识形态批判的理论结合起来
奥克姆剃刀 （逻辑学术语）
奥卡姆剃刀（Occam's Razor， Ockham's Razor）是由13
因果倒置 （逻辑学术语）
因果倒置是一种在相对确定的条件下把原因和结果相互颠倒，视结果为原因和视原因为结果
逻辑顺序方法 （逻辑学术语）
逻辑顺序方法是指把信息看作资源对其进行管理，从业务角度考虑问题的逻辑顺序。这里把
必然判断 （黑格尔《逻辑学》术语）
必然判断( judgment of necessity) 德国黑格尔对判断分类的
实有判断 （逻辑学术语）
实有判断( qualitative judgment) 亦译“实在判断”、“定有
应成论式 （逻辑学术语）
应成论式是藏传因明中特有的只破而不立。早在龙树《中论》中已出现过，后来龙树的后学
定义过宽 （逻辑学术语）
定义过宽是定义项的外延大于被定义项的外延的逻辑错误。如“工业部门就是社会生产部门
证明太多 （逻辑学术语）
证明太多（英语：Proving too much）是指论证不只得出了论者想要的结
创新逻辑 （逻辑学术语）
在中古时期，逻辑的研究就已经成为学者们关注的重点。据已知的材料记载，公元前有关逻
存在内含 （逻辑学术语）
存在内含亦称“存在假定”。传统逻辑认为，性质命题的主项和谓项既不能是一个空类，也
关系推理 （逻辑学术语）
关系推理(relational inference)亦称关系判断的推理，是与关系
概念分析 （逻辑学术语）
概念分析是运用逻辑方法澄清概念或观念的意义的活动。它力图发现组成一个概念的要素和
同义手段 （逻辑学名词）
同义手段是表示相同或相近意思的不同手段，包括同义词、同义句式、各种能造成相同或相
逻辑中介 （逻辑学术语）
逻辑中介是运用从抽象上升到具体的方法以形成系统理论而确定的、联结起点和终点之间的
理论句子 （逻辑学术语）
理论句子是美国奎因用语。指其意义不能由自身作为单个句子来决定的句子。奎因认为，这
模式化谬误 （逻辑学术语）
模式化谬误是一种在推理或论辩中误把某一模式当作关于某类对象整体的准确概括而加以运
对立性推理 （逻辑学术语）
对立性推理亦称“对立命题推理”。根据直言命题逻辑方阵中的反对关系和矛盾关系而进行
省略三段论 （逻辑学术语）
省略三段论是指省略了大前提，或者小前提，或者结论的三段论。省略三段论有三种： (