逻辑学家

Aegean

爱琴海的

一个ceo,又是逻辑学家 logist,站在拱门(arch)下;一个aeo,站在爱琴海的(Aegean)拱门(arch)下,而这个人还是一个logist;一个aeo,站在蓝天白云的爱琴海的(Aegean)拱门(arch)下,而这个人还是一个logist;通过左边的胡同(alley),

antonym

反义词

2.反义词 反义词(antonym)在传统词汇学中一般被界定为词义相反的词. 这个定义不够全面,词义相反或意义相反这个说法过于笼统,不能把语言词汇中的反义现象全部概括进去. 逻辑学家把反义词分成三类;语义矛盾的词,语义相反的词,

argue

辩论

没有人会否认,商议(deliberate)和辩论(argue)能力是理智群体的一个显著标志. 尽管如此,对用来说服他人接受某一论证的方法的探讨,却被逻辑学家和研究知识的理论家们忽视了三个世纪. 这种情况源于支持某个命题的那些论证的非强制性特征.

auditorium

礼堂

一个ceo,又是逻辑学家 logist,站在拱门(arch)下;一个aeo,站在爱琴海的(Aegean)拱门(arch)下,而这个人还是一个logist;一个aeo,站在蓝天白云的爱琴海的(Aegean)拱门(arch)下,而这个人还是一个logist;通过左边的胡同(alley),有一个礼堂(auditorium).

derivation

推导

"xxvii为了确切地回答本文一开始叙述的不同演绎系统(比如欧氏几何与非欧几何)之间具有真值联系的问题,一些逻辑学家曾力图以严格的方式定义"推论"(consequence),它的外延和内涵都要比"推导"(derivation)这个概念更丰富,后者只能说明"可证实"概念,

Robin Milner

计算机科学家

Roger Mercer, 考古学家 | Robin Milner, 计算机科学家 | Augustus De Morgan, 数学家和逻辑学家

model theory

模型论

科学哲学的研究表明,由波兰逻辑学家塔尔斯基于1930年代创立的"模型论"(model theory)在现代科学中占有重要地位. "模型论"是研究形式语言及其解释(模型)之间的关系的理论,从建构科学理论的方法论来看,它要比"公理论"更适合于现代科学.

null object

零对象

但波兰的逻辑学家们可能会提出不同的看法:对于每两个个体来说,都有一个作为它们之和的对象存在. 如果我们不承认"零对象"(null object)存在的话, 那么这三个个体的世界中就有七个对象存在,而如果有"零对象"的话,则有八个对象存在:

Pyrrhonist

绝对怀疑论者

小说中人物及背景介绍:毕若尼--小说主人翁,右眼患者,绝对怀疑论者(Pyrrhonist)近似音译. 麦纳斯--机器人,仿生学(bionics)近似音译,连接主义又称为仿生学派. 生理学家麦卡洛克(McCulloch)和数理逻辑学家皮茨(Pitts) 于1943年创立人工智能连结主义学派,

quantification

量化

这一时期的逻辑学家还有穆罕默德洪吉(卒于1248年),留下来的有关于量词、量化(Quantification)的著作. 阿西尔丁阿布哈里(1200-1265年)是一位天文学家、哲学家,著有>、>和>等. 卡兹维尼(1220-1276年)是天文学家、哲学家,

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul