您的当前位置：领域 > 逻辑学 领域
非正规模态系统 （逻辑学术语）
非正规模态系统是在一个模态系统中，如果“必然规则”（即若卜A，则卜口A，其中的口
必须规范三段论 （逻辑学术语）
必须规范三段论是含有必须规范命题的三段论。通常大前提是一个必须规范命题，小前提是
下反对关系推理 （逻辑学术语）
下反对关系推理是根据直言命题逻辑方阵中的下反对关系而进行推演的直接推理。由逻辑方
负命题等值推理 （逻辑学术语）
负命题等值推理是等值推理的一种。根据负命题等值关系而进行推演的推理。由于各种命题
合取引入规则 （逻辑学术语）
合取引入规则(introduction rule of conjunction)
守恒与不守恒 （逻辑学术语）
守恒与不守恒是揭示物质运动转化关系的一对范畴。守恒指一种特定的转化关系的永恒性；
单称否定区别命题 （逻辑学术语）
单称否定区别命题是区别命题的一种。不仅断定某个S不具有性质P，并且还断定不是某个
儿童认知发展理论 （逻辑学术语）
儿童认知发展理论是研究儿童智慧形成和认知机制发生、发展规律的学说和理论。主要探讨
希尔伯特演绎系统 （逻辑学术语）
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类形式演
对称逻辑思维方式 （逻辑学术语）
对称逻辑思维方式是以对称规律为基本的思维规律，思维内容与思维形式、思维主体与思维
类固不必可推知 （逻辑学术语）
类固不必可推知是《吕氏春秋》中的命题。与“类同相召”相对。认为“万物殊类异形”（
抽象词项 （逻辑学术语）
抽象词项是现实中没有一个或一类具体事物与之相适应（即其外延不是一个或一类事物）、
天下之中央 （逻辑学术语）
天下之中央是战国时名家辩论的命题。《庄子·天下》所列惠施“历物十事”之一：“我知
逻辑独立性 （逻辑学领域名词）
逻辑独立性存在于外模式和内模式之间。数据的逻辑独立性是指数据与程序的逻辑独立性。
命题的否定 （逻辑学术语）
命题的否定就是对原命题的真值取反得到的命题，亦称负命题。负命题与原命题真假值相反
主要证据 （逻辑学名词）
主要证据亦称“原始证据”、“第一手证据”。能够为所争议的论题提供最大确定性的、各
相违因 （逻辑学术语）
相违因是因明用语。因过之一类。包括同时违反第二相和第三相的四种过失，故亦称“四相
多重普遍性问题 （逻辑学术语）
多重普遍性问题命名了亚里士多德逻辑在描述特定直觉上有效的推论上的失败。多重普遍性
混合模态三段论 （逻辑学术语）
混合模态三段论是必然和可能两种模态相结合的三段论。亦即在两个前提中，一个为必然命
理性讨论者十戒 （逻辑学名词）
理性讨论者十戒是语用辩证法提出的十条通过论辩方式来解决意见分歧的理性讨论者必须遵
多重一般性问题 （逻辑学术语）
多重一般性问题命名了亚里士多德逻辑在描述特定直觉上有效的推论上的失败。
意义关系 （逻辑学术语）
意义关系亦称“涵义关系”。语言内部的关系系统。即一个词与词汇表中其他词所形成的关
优合取范式 （逻辑学术语）
优合取范式亦称“特异合取范式”。经典命题演算中满足以下条件的合取范式。(1)如果
描述型案例 （逻辑学术语）
描述型案例又称为实例展示型案例，是指案例中包含了对某一问题的出现直到解决的全过程
逻辑思维的基本规律 （逻辑学术语）
逻辑思维的基本规律亦称“思维基本规律”，即同一律、矛盾律、排中律，以及由莱布尼茨
限制换位 （逻辑学术语）
限制换位亦称“限量换位”、“有限制换位”。在换位中改变原命题的主项与谓项的位置的
命物之名 （逻辑学术语）
命物之名是《尹文子》所列三种名之一。反映具体事物的概念名称。相当于苟子的“散名”
螺旋形上升 （逻辑学术语）
螺旋形上升( spiral rise) 对否定的否定规律所揭示的事物发展形式的一
推出关系 （逻辑学术语）
在逻辑学中，推出关系是命题之间的一种关系。条件关系中蕴含了推出关系。在逻辑学中，
定义过宽 （逻辑学术语）
定义过宽是定义项的外延大于被定义项的外延的逻辑错误。如“工业部门就是社会生产部门
参伍之道 （逻辑学术语）
参伍之道指一种错综比较的认识方法。“参伍”语出《易-系辞上》：“参伍以变，错综其
语境敏感型解悖方案 （逻辑学术语）
语境敏感型解悖方案是对语境变化因素在其中起本质作用的一系列语义悖论解决方案的概称
鬼谷子问徒 （逻辑学术语）
鬼谷子问徒是一道古老的逻辑推理题目。其真实性已不可考，但这道古老的题目对今天的数
非归纳回溯推理 （逻辑学术语）
非归纳回溯推理是前件不是后件的概括的回溯推理。与“归纳回溯推理”相对。亦即除了归
先秦逻辑思想 （逻辑学术语）
中国古代逻辑史的发生、发展和昌盛阶段。包括秦以前（公元前21世纪～前 221年）
地方主义谬误 （逻辑学术语）
地方主义谬误是一种因出于自己与某特定群体的联系而接受或拒绝一个论证所引起的谬误。
社会中心倾向 （逻辑学术语）
社会中心倾向是一种认为自己所属的社会群体在本质上优越于其他群体的假定。当一个群体
矛盾关系推理 （逻辑学术语）
矛盾关系推理是根据直言命题逻辑方阵中的矛盾关系而进行推演的直接推理。由逻辑方阵中
谈判逻辑 （逻辑学术语）
早在20世纪30年代，我国演讲学者杨炳乾在谈到演讲与逻辑的关系时指出：“夫思维为
存在谬误 （逻辑学术语）
存在谬误是一个具有标准形式（三段论第一格形式）的直言三段论从两个全称前提推出特称