现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它们所表示的概念之间的对应是确定的，因此符号公式的结构就反映了它们的意见。把一个理论形式化后，就可以暂时完全撇开原来理论中的概念、命题的意义，而只从语言符号、公式结构(符号组合的形状)方面研究。意义是抽象的，往往不容易精确理解和掌握。而符号和公式是有穷的具体的对象，能够对其作更精确、更严格的研究，从而通过对具体符号的研究把握抽象的东西。
出版时间：1993-09 描写语言学引论 : 美国莱曼 (Winfred P.Lehmann,1916～ )著。1972年由纽约兰登书屋(Ran-dom House)出版。描写语言学,又称静态语言学,是对某一历史阶段的某一具体语言的语音特点、语法、词汇进..
出版时间：1993-09 语言地理类型学 : 日本桥本万太郎(1932～)著。1978年由日本弘文堂出版,本书作者是国际著名语言学家。在本书中,他反对把在印欧语研究中曾获得成功的比较语言学作为研究一切语言的灵丹妙药,批评..
出版时间：1993-09 心灵研究:历史、理论、方法和实践 : 国吉尼斯 (Ivor Grattan Guinness)主编,各章节分别由二、三十位专业和非专业的心灵研究者撰写。1982年由英国太空时代出版社出版。心灵研究亦称心灵学,曾..
出版时间：1993-09 普通语言学教程 : 瑞士索绪尔(Ferdinand De Saus-sure,1857～1913)著。作者是结构主义语言学奠基人,晚年曾在日内瓦大学讲授语言学。去世后,他的学生根据听课笔记和作者手稿整理成此书。作者在..
出版时间：1993-09 语言理论导论 : 丹麦叶尔姆斯列夫(Louis Hjelmslev,1899～1965)著。作者是结构主义语言学哥本哈根学派的代表人物,此书是作者的代表作。作者的语言学理论可以通过一系列假设来表述,内容有:语言..