您的当前位置：领域 > 逻辑学 领域
归谬赋值法 （逻辑学术语）
归谬赋值法是一种运用反证推理来检验复合命题推理形式是否有效的方法。前面所学的真值
解释语义学 （逻辑学术语）
解释语义学是语义学的一种。与“生成语义学”相对。生成语言学的语义理论、关于表征层
推理形式 （逻辑学术语）
推理形式是推理中前提与结论之间的联系方式。是用词项变项或命题变项去代替具体推理中
抽象阶梯 （逻辑学术语）
抽象阶梯是美国柯日布斯基用语。指抽象概念的等级。认为抽象概念分成若干等级，形成一
应成论式 （逻辑学术语）
应成论式是藏传因明中特有的只破而不立。早在龙树《中论》中已出现过，后来龙树的后学
种族中心倾向 （逻辑学名词）
种族中心倾向是一种认定自己所属的种族或文化优越于其他种族或文化的倾向。这种倾向根
名佛 （逻辑学术语）
名佛是学用语。因明中就从语言所诠表对象的性质方面分为名、句、文三种：文即指字母，
归谬论 （逻辑学论证方法）
归谬论，是一种逻辑论证方法。指由被反驳的论题或论据推导出虚假的结论。可作为直接反
绝对知识 （逻辑学术语）
绝对知识是德国谢林和黑格尔用语。指完整的、整体的、无所不包的、独立的、客观的知识
实践推理 （逻辑学术语）
实践推理是一种直接针对某一特定目标的推理。其依据在于对当事者情况的了解以及知道某
后验必然命题 （逻辑学术语）
后验必然命题是美国克里普克关于必然真理可以通过后验方式来发现的观点。他从专名的同
现代归纳逻辑 （逻辑学术语）
现代归纳逻辑是研究归纳推理与归纳规则的现代逻辑分支。归纳逻辑是关于或然性推理的逻
概念分析 （逻辑学术语）
概念分析是运用逻辑方法澄清概念或观念的意义的活动。它力图发现组成一个概念的要素和
教学性辩论 （逻辑学术语）
教学性辩论是围绕论辩者对其有学术兴趣的辩题所展开的，通常在评判员或无权直接对辩题
斑马难题 （逻辑学术语）
概述五个不同国家且工作各不相同的人分别住在一条街上的五所房子里，每所房子颜色不同
逻辑中介 （逻辑学术语）
逻辑中介是运用从抽象上升到具体的方法以形成系统理论而确定的、联结起点和终点之间的
非形式谬误 （逻辑学术语）
非形式谬误与“形式谬误”相对。泛指一切并非由于推理形式的不正确而产生的各种谬误。
业务流 （逻辑学术语）
曾经一段时间，同事们把做得好的测试人员分为两种，一种是“业务流”，精通软件需求业
析取符号 （逻辑学符号）
析取符号(disjunction symbol)逻辑学符号之一它表示析取，即逻辑
纯粹逻辑 （逻辑学术语）
纯粹逻辑是德国康德逻辑学分类之一。与“应用逻辑”相对。在《纯粹理性批判》一书中，
等递推理 （逻辑学术语）
等递推理是前提与结论所涉及知识的范围、程度相同的推理。按推理过程中思维运动进程的
无条件预测 （逻辑学术语）
无条件预测（nonconditional forecasting）在不作任何假设
实有判断 （逻辑学术语）
实有判断( qualitative judgment) 亦译“实在判断”、“定有
同义手段 （逻辑学名词）
同义手段是表示相同或相近意思的不同手段，包括同义词、同义句式、各种能造成相同或相
逻辑学语言 （逻辑学术语）
人类所使用的语言，可以分为三类：自然语言（如：英语和汉语）、半形式化语言（如：数
无穷倒退 （逻辑学术语）
无穷倒退亦称“第三者”。指的是论证柏拉图模仿说和分有说的逻辑论据。柏拉图曾经用模
形式类比 （逻辑学术语）
形式类比亦称“因果类比”。定性类比的一种。根据两个或两类对象的因果关系或规律性相
柯里悖论 （逻辑学术语）
柯里悖论（Curry's paradox）是由美国数理逻辑学家哈斯凯尔·布鲁克·
习惯势力 （逻辑学术语）
习惯势力( force of habit) 人们在长期传统生活中养成的特殊方式的
定性类比 （逻辑学术语）
定性类比是根据两个或两类对象的属性之间的质的关系所进行的类比。两个或两类对象的属
代数逻辑 （逻辑学术语）
代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，
允许命题 （逻辑学术语）
允许命题是陈述允许某种行为的命题。通常含有“允许”、“准予”、“可以”等规范词。
理论句子 （逻辑学术语）
理论句子是美国奎因用语。指其意义不能由自身作为单个句子来决定的句子。奎因认为，这
并列关系 （逻辑学术语）
并列关系是指在同一属概念之中存在同层次的种概念，则这些种概念之间存在的、并列的关
普遍因果律 （逻辑学名词）
普遍因果律是19世纪英国哲学家、逻辑学家穆勒（亦译“密尔”）认定的一条作为占典归
附性法 （逻辑学术语）
附性法亦称“附性法推理”。将表示某一属性的概念分别附加在直言命题的主项和谓项上，
具体概念 （逻辑学术语）
具体概念是在抽象概念基础上，通过分析和把握对象的内部矛盾、把特殊与普遍统一起来而
崔清田 （中国逻辑学家）
崔清田（1936.1.10——）中国逻辑学家、逻辑学史家，南开大学哲学系教授、博
制约逻辑 （逻辑学术语）
制约逻辑是传统形式逻辑与正统数理逻辑（现代逻辑）有机结合的产物，它运用现代逻辑提
对象语言 （逻辑学术语）
对象语言是在应用语言的研究中指一种作为被研究和讲述对象的语言。与“元语言”相对。