逻辑代数(语言)

逻辑代数(语言):

也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系,把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说,逻辑代数已发展成为格论的分支的代数理论,通称布尔代数。逻辑代数实际上是抽象的布尔代数的逻辑解释或在逻辑上的应用。因对其所作解释的不同,主要分为类代数和命题代数。类代数是类逻辑(即从外延上理解的一阶一元谓词的逻辑)的代数化。对类代数中的符号另作命题逻辑的解释,就得到命题代数。布尔代数还可以作几何或拓扑的解释。*文恩图解就是布尔代数的几何图解。除外,布尔代数述在其他领域如开关理论和计算机设计中得到解释。

为您推荐

描写语言学引论

出版时间:1993-09 描写语言学引论 : 美国莱曼 (Winfred P.Lehmann,1916~ )著。1972年由纽约兰登书屋(Ran-dom House)出版。描写语言学,又称静态语言学,是对某一历史阶段的某一具体语言的语音特点、语法、词汇进..

语言地理类型学

出版时间:1993-09 语言地理类型学 : 日本桥本万太郎(1932~)著。1978年由日本弘文堂出版,本书作者是国际著名语言学家。在本书中,他反对把在印欧语研究中曾获得成功的比较语言学作为研究一切语言的灵丹妙药,批评..

普通语言学教程

出版时间:1993-09 普通语言学教程 : 瑞士索绪尔(Ferdinand De Saus-sure,1857~1913)著。作者是结构主义语言学奠基人,晚年曾在日内瓦大学讲授语言学。去世后,他的学生根据听课笔记和作者手稿整理成此书。作者在..

语言理论导论

语言论——言语研究导论

出版时间:1993-09 语言论——言语研究导论 : 美国萨丕尔(Edward Sapir,1884~1939)著。作者是美国结构主义语言学的奠基人之一,又是著名的人类学家。此书是他的主要著作。全书11章,内容有:什么是语言、语言的成分..

历史语言学中的比较方法

出版时间:1993-09 历史语言学中的比较方法 : 法国梅耶(Antoine Meillet,1866~1932)著。作者是著名历史比较语言学家,1924年应挪威比较文化研究所之邀赴奥斯陆做语言学专题演讲,后将讲稿整理成此书。全书共10章,..

语言论

出版时间:1993-09 语言论 : 美国布龙菲尔德(Leonard Bloomfield,1887~1949)著。作者是美国描写语言学的主要奠基人,此书是他的代表作。作者在书中从行为主义心理学出发,把语言看成一系列的刺激——反应过程。他..