您的当前位置：领域 > 逻辑学 领域
对象语言 （逻辑学术语）
对象语言是在应用语言的研究中指一种作为被研究和讲述对象的语言。与“元语言”相对。
无穷倒退 （逻辑学术语）
无穷倒退亦称“第三者”。指的是论证柏拉图模仿说和分有说的逻辑论据。柏拉图曾经用模
形式类比 （逻辑学术语）
形式类比亦称“因果类比”。定性类比的一种。根据两个或两类对象的因果关系或规律性相
柯里悖论 （逻辑学术语）
柯里悖论（Curry's paradox）是由美国数理逻辑学家哈斯凯尔·布鲁克·
习惯势力 （逻辑学术语）
习惯势力( force of habit) 人们在长期传统生活中养成的特殊方式的
定性类比 （逻辑学术语）
定性类比是根据两个或两类对象的属性之间的质的关系所进行的类比。两个或两类对象的属
附性法 （逻辑学术语）
附性法亦称“附性法推理”。将表示某一属性的概念分别附加在直言命题的主项和谓项上，
语词歧义 （逻辑学术语）
语词歧义是一个多义词在特定的语境中不能表明它所表达的是哪一个概念，因而对其含义可
代数逻辑 （逻辑学术语）
代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，
命物之名 （逻辑学术语）
命物之名是《尹文子》所列三种名之一。反映具体事物的概念名称。相当于苟子的“散名”
允许命题 （逻辑学术语）
允许命题是陈述允许某种行为的命题。通常含有“允许”、“准予”、“可以”等规范词。
理论句子 （逻辑学术语）
理论句子是美国奎因用语。指其意义不能由自身作为单个句子来决定的句子。奎因认为，这
并列关系 （逻辑学术语）
并列关系是指在同一属概念之中存在同层次的种概念，则这些种概念之间存在的、并列的关
普遍因果律 （逻辑学名词）
普遍因果律是19世纪英国哲学家、逻辑学家穆勒（亦译“密尔”）认定的一条作为占典归
螺旋形上升 （逻辑学术语）
螺旋形上升( spiral rise) 对否定的否定规律所揭示的事物发展形式的一
甘格霞 （印度正理派逻辑学家）
甘格霞，14世纪上半叶人，印度正理派逻辑学家，新正理论的奠基者。亦译“耿盖夏”等
杜米特留 （布加勒斯特大学数学和逻辑学教授）
杜米特留（Anton Dumitriu，1905一）罗马尼亚数学家，逻辑学家。布
狄摩根 （印度数学家，逻辑学家）
狄摩根（1806-1871），出生于印度马都拉，数学家，逻辑学家。在逻辑研究方面
阿难跋陀 （印度后期正理派逻辑学家）
他把正理论和胜论组合成一个体系。主要著作有《思择集论》（一译《思择纲要》）、《自
贝尔奈斯 （瑞士数学家、逻辑学家）
贝尔奈斯(Bernays，Paul Isaak，1888-1977) 瑞士数学家
武卡谢维奇 （波兰数学家、逻辑学家）
武卡谢维奇(}.ukaszewicz， Jozef， 1878-1956) 波兰
利奥波德·克罗内克 （德国数学家、逻辑学家）
利奥波德·克罗内克（德语：Leopold Kronecker，1823年12月7
威尼斯的保罗 （中世纪意大利逻辑学家）
威尼斯的保罗，中世纪意大利逻辑学家。逻辑史书上关于他的生平记载极少。他曾任教师，
格哈德·根岑 （德国数学家和逻辑学）
是德国的数学家和逻辑学家。生于德国的Greifswald，由于效力纳粹而被逮捕之
阿尔弗雷德·塔斯基 （波兰裔犹太逻辑学家）
阿尔弗雷德·塔斯基 (1901年1月14日生于波兰华沙 – 1983年10月26
泰奥弗拉斯多 （古希腊生物学家、逻辑学家）
泰奥弗拉斯多是古希腊生物学家、逻辑学家。泰奥弗拉斯多写过很多自然科学、哲学和逻辑
卢卡西维茨 （波兰的逻辑学家）
卢卡西维茨，波兰的逻辑学家，代表作品是《论三值逻辑》。波兰逻辑学家J.卢卡西维茨
沈有乾 （心理学家、逻辑学家和统计学家）
沈有乾，字公健，汉族，1899年出生，江苏吴县人，心理学家、逻辑学家和统计学家。
吴允曾 （数理逻辑学家和计算机科学家）
吴允曾，数理逻辑学家和计算机科学家。籍贯浙江省杭州市仁和县，1918年4月4日出
赋值法 （数学逻辑推理方法）
在解数学题时，人们运用逻辑推理方法，一步一步地寻求必要条件，最后求得结论，是一种
即时推理 （直接推理）
即时推理（immediate inference），即“直接推理”。
唐人街探案3 （刘昊然主演的悬疑推理喜剧片）
《唐人街探案3》是由陈思诚执导，王宝强、刘昊然领衔主演，妻夫木聪、托尼·贾、长泽
因果推断法 （一种推理方法）
因果推断法是一种推理方法，要求原因先于结果，原因和结果同时变化或者有相关性。世上
统计归纳法 （推理方法）
统计归纳法是根据某类对象的样本具有某属性推出某类对象的全体都具有某种属性的推理方
反向推理机 （基于反向推理策略的推理机）
反向推理机是基于反向推理策略的推理机。推理机主要包括推理和控制二个方面， 是知识
不确定推理 （推理）
不确定推理，基于不确定性和不完整性问题的推理。当智能体在一个非完整表征的空间进行
科学演绎 （推理方法）
科学演绎，是从一般到个别的推理方法，即用已知的一般原理考察某一特殊的对象，推演出
联言推理 （推理学术语）
联言推理是前提或结论为联言命题，并根据联言命题的逻辑性质而进行推演的演绎推理。若
推理吧 （推理学术语）
推理吧，是架构在百度贴吧平台上的一个网络交流论坛。因为贴吧的影响、推理吧拥有着国
三支比量 （推理方法）
语解释(1)古 印度 因明学的推理方法。因明法之宗、因、喻称三支。以因、喻论证宗