泛指研究建立在表达式的内涵分析基础上的逻辑学科。传统逻辑和经典数理逻辑主要是从外延方面来研究表达式及其推理的。赋值、满足、真假、推理等的分析都是建立在表达式的外延分析基础上的。因此，通常称之为外延逻辑。在有的非经典逻辑系统中，外延论题不成立。如，从“Fa”和“a=b”可推出“Fb”，但是从“甲知道Fa”和“a=b”，却不能推出“甲知道Fb”。因为后一个推理不仅涉及到a与b的外延，而且涉及到它们的内涵，涉及到“知道”的涵义以及知道者的认识。这样的逻辑系统称为内涵逻辑。模态逻辑、认知逻辑、相信逻辑等都属于内涵逻辑。一般认为，刘易斯建立的模态逻辑、卡尔纳普提出的外延内涵方法和蒙塔古创立的蒙塔古语法等是内涵逻辑发展进程中的重要标志。
出版时间：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章,..