您的当前位置：领域 > 逻辑学 领域
归谬赋值法 （逻辑学术语）
归谬赋值法是一种运用反证推理来检验复合命题推理形式是否有效的方法。前面所学的真值
推理形式 （逻辑学术语）
推理形式是推理中前提与结论之间的联系方式。是用词项变项或命题变项去代替具体推理中
抽象阶梯 （逻辑学术语）
抽象阶梯是美国柯日布斯基用语。指抽象概念的等级。认为抽象概念分成若干等级，形成一
归谬论 （逻辑学论证方法）
归谬论，是一种逻辑论证方法。指由被反驳的论题或论据推导出虚假的结论。可作为直接反
绝对知识 （逻辑学术语）
绝对知识是德国谢林和黑格尔用语。指完整的、整体的、无所不包的、独立的、客观的知识
实践推理 （逻辑学术语）
实践推理是一种直接针对某一特定目标的推理。其依据在于对当事者情况的了解以及知道某
业务流 （逻辑学术语）
曾经一段时间，同事们把做得好的测试人员分为两种，一种是“业务流”，精通软件需求业
析取符号 （逻辑学符号）
析取符号(disjunction symbol)逻辑学符号之一它表示析取，即逻辑
纯粹逻辑 （逻辑学术语）
纯粹逻辑是德国康德逻辑学分类之一。与“应用逻辑”相对。在《纯粹理性批判》一书中，
等递推理 （逻辑学术语）
等递推理是前提与结论所涉及知识的范围、程度相同的推理。按推理过程中思维运动进程的
无条件预测 （逻辑学术语）
无条件预测（nonconditional forecasting）在不作任何假设
形式类比 （逻辑学术语）
形式类比亦称“因果类比”。定性类比的一种。根据两个或两类对象的因果关系或规律性相
定性类比 （逻辑学术语）
定性类比是根据两个或两类对象的属性之间的质的关系所进行的类比。两个或两类对象的属
代数逻辑 （逻辑学术语）
代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，
允许命题 （逻辑学术语）
允许命题是陈述允许某种行为的命题。通常含有“允许”、“准予”、“可以”等规范词。
并列关系 （逻辑学术语）
并列关系是指在同一属概念之中存在同层次的种概念，则这些种概念之间存在的、并列的关
附性法 （逻辑学术语）
附性法亦称“附性法推理”。将表示某一属性的概念分别附加在直言命题的主项和谓项上，
制约逻辑 （逻辑学术语）
制约逻辑是传统形式逻辑与正统数理逻辑（现代逻辑）有机结合的产物，它运用现代逻辑提
对象语言 （逻辑学术语）
对象语言是在应用语言的研究中指一种作为被研究和讲述对象的语言。与“元语言”相对。
逻辑正方形 （逻辑学术语）
逻辑正方形，也称“逻辑方阵”。表示具有统一素材的A（全称肯定判断）、E（全称否定
以逸闻趣事为据 （逻辑学术语）
以逸闻趣事为据亦称“误导的栩栩如生”。一种不正确的论证方式。在论辩中，过分强调某
目的型科学说明 （逻辑学术语）
目的型科学说明是美国内格尔提出的科学说明的四种类型之一。在这种类型的说明中，关于
下反对关系推理 （逻辑学术语）
下反对关系推理是根据直言命题逻辑方阵中的下反对关系而进行推演的直接推理。由逻辑方
合取引入规则 （逻辑学术语）
合取引入规则(introduction rule of conjunction)
守恒与不守恒 （逻辑学术语）
守恒与不守恒是揭示物质运动转化关系的一对范畴。守恒指一种特定的转化关系的永恒性；
希尔伯特演绎系统 （逻辑学术语）
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类形式演
类固不必可推知 （逻辑学术语）
类固不必可推知是《吕氏春秋》中的命题。与“类同相召”相对。认为“万物殊类异形”（
抽象词项 （逻辑学术语）
抽象词项是现实中没有一个或一类具体事物与之相适应（即其外延不是一个或一类事物）、
天下之中央 （逻辑学术语）
天下之中央是战国时名家辩论的命题。《庄子·天下》所列惠施“历物十事”之一：“我知
逻辑独立性 （逻辑学领域名词）
逻辑独立性存在于外模式和内模式之间。数据的逻辑独立性是指数据与程序的逻辑独立性。
主要证据 （逻辑学名词）
主要证据亦称“原始证据”、“第一手证据”。能够为所争议的论题提供最大确定性的、各
限制换位 （逻辑学术语）
限制换位亦称“限量换位”、“有限制换位”。在换位中改变原命题的主项与谓项的位置的
命物之名 （逻辑学术语）
命物之名是《尹文子》所列三种名之一。反映具体事物的概念名称。相当于苟子的“散名”
推出关系 （逻辑学术语）
在逻辑学中，推出关系是命题之间的一种关系。条件关系中蕴含了推出关系。在逻辑学中，
语境敏感型解悖方案 （逻辑学术语）
语境敏感型解悖方案是对语境变化因素在其中起本质作用的一系列语义悖论解决方案的概称
鬼谷子问徒 （逻辑学术语）
鬼谷子问徒是一道古老的逻辑推理题目。其真实性已不可考，但这道古老的题目对今天的数
非归纳回溯推理 （逻辑学术语）
非归纳回溯推理是前件不是后件的概括的回溯推理。与“归纳回溯推理”相对。亦即除了归
先秦逻辑思想 （逻辑学术语）
中国古代逻辑史的发生、发展和昌盛阶段。包括秦以前（公元前21世纪～前 221年）
地方主义谬误 （逻辑学术语）
地方主义谬误是一种因出于自己与某特定群体的联系而接受或拒绝一个论证所引起的谬误。
社会中心倾向 （逻辑学术语）
社会中心倾向是一种认为自己所属的社会群体在本质上优越于其他群体的假定。当一个群体