公理化方法(语言)

公理化方法(语言):

现代逻辑的基本方法。把一个科学理论公理化,就是用公理方法研究它,建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系,公理化的实现就是:⑴从它的诸多概念中挑选出一组初始概念,而不加定义的概念,该理论中的其余概念,都由初始概念通过定义引入,即都用初始概念定义,称为导出概念;⑵从它的一系列命题中挑选出一组公理,而不加证明的命题,即其余的命题都应用逻辑规则从公理推演出来,称为定理,每一定理都是经由证明而予以肯定的。由初始概念、导出概念、公理以及定理构成的演绎体系,称为公理系统。

为您推荐

文学批评方法手册

文学批评方法手册 : 介绍西方现代文学批评方法的入门书。威·L·古尔灵(Wilfred L. Guerin)、厄·雷伯尔(Earle Labor)等4人合著。他们都是长期从事文学教学和研究的美国的大学教授。本书初版于本世纪60年代末,70年代..

历史语言学中的比较方法

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

结构主义语言学方法

出版时间:1993-09 结构主义语言学方法 : 美国哈里斯(Zellig S.Harris,1909~ )著。作者是美国描写语言学的主要人物之一。此书用大量精密的公式、符号详细演示了结构主义语言学的分析方法和步骤。大致分为音位和..

美学和系统方法

语言学方法论考

出版时间:1992-11 语言学方法论考 : 语言学论文集。小林英夫著。1935年日本三省堂书店出版。小林英夫,日本语言学家和历史学家,最早把索绪尔的语言理论介绍到日本的学者之一。本书是作者在不同时期所写论文的汇..

真理与方法

真理与方法 : 哲学、美学著作。汉·伽达默尔著。1960年联邦德国图宾根初版,1965年、1973年、1975年3次修订再版,被译为多种文字在各国出版。中译本辽宁出版社1987年出版,王才勇译。汉·伽达默尔(Hans—Georg Gadamer,..

图书馆学研究方法

出版时间:1992-11 图书馆学研究方法 : 图书馆学方法论专著。查·布沙和斯·P哈特合著。中译本,1987年书目文献出版社出版,吴彭鹏译,王津生校。查·布沙(Charles H.Busha)和斯·哈特(Stephen P Harter),美国图书..