研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为模态命题演算和模态谓词演算。现代模态逻辑以数理逻辑为基础，通过建立模态命题演算和模态谓词演算去研究模态推理形式。通常把关于逻辑必然和逻辑可能的模态逻辑称为标准模态逻辑，而把并不论述逻辑必然和逻辑可能，但具有类似于标准模态逻辑的性质的其他模态逻辑系统称之为非标准模态逻辑或广义模态逻辑。本世纪六十年代以前形成的非标准模态逻辑，主要有认知逻辑、道义逻辑和时态逻辑等。
出版时间：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章,..