由于逻辑推理常常须借助语言进行，因此逻辑又与我们的日常语言有密切关系。事实上，学好逻辑往往能帮助 我们在进行讨论、辩论或写文章时更有条理地表达自己的思想。 从某一角度看，逻辑学的研究对象就是日常语言中某些极常用词项的意义。意义是有多方面的， 逻辑学所关心的主要是真假的问题，因此逻辑学所研究的意义问题主要是指真假（「真」和「假」两者统称为 「真值」）问题。传统逻辑最深入研究的（「和」、「或」、「非」、「如果则」、「当且仅当 」、「所有」、「存在」、「必然」、「可能」）等词项在决定句子的真值方面起重要的作用。可是传统逻辑所 研究的词项毕竟数量很少，对于日常语言中大量存在的其他推理现象无法作出解释。可以说在语言学诸学科中，语义学是跟逻辑学最有关连的。除了 语义学外，语用学也涉及逻辑推理的问题，不过它所研究的逻辑推理并非经典的逻辑推理，而是有关日常语言 中「言外之意」的推理。语义学是纯粹从理论方面去研究逻辑词项的意义的，而语用学则须考虑实际语言交际 对逻辑词项意义的影响，有时这两者是有出入的。 

结构主义主张句法学应与逻辑学、语义学分家，在讨论语法时应尽量从形式出发，避 免涉及意义。生成语法创立人乔姆斯基的早期观点受结构主义影响，也主张句法学是独立于逻辑学和语义学的 学科，例如他便从纯形式出发把主语定义为在句法分析树形图中直接隶属于句子的名词词组。可是后来生成语 法学派发现要在语法研究中完全撇除语义的因素是不可能的，从生成语法学派分化出来的「生成语义学派」和 「格语法（Case Grammar）学派」以及其他流派（如「广义短语结构语法」Generalized Phrase Structure Grammar、「词汇功能语法」Lexical Functional Grammar）便把语义分析加入他们的语法理论中。在乔姆斯基 后来的理论中，已重新确立语义和逻辑的地位。例如，在七十年代中期的生成语法理论框架（即「扩充标准理 论」）中，便设有一个「逻辑式」（Logical Form）结构以处理语法中某些与语义和逻辑有关的问题。具体地说， 这些逻辑语义问题包括词语在句子中担当的「题元角色」（Thematic Role）（例如施事、受事、工具、来源等）、 代词的所指和「照应关系」（Anaphora）以及「量词辖域」（Scope of Quantifiers）问题等。以下简述语言学家 研究照应关系的情况。 

为了正确、有效地使用程序设计语言，必须弄清语言中各成分的含义，并且要求计算机系统执行这些成分所产生的效果和它的语义完全一致。由于自然语言存在歧义性，故用自然语言解释程序设计语言的含义容易造成误解，影响语言的正确实现和有效使用。实践证明，必须用形式化的语言和方法精确解释程序设计语言。这种需求产生了形式语义学。20世纪60年代初，在程序设计语言ALGOL60的设计中，第一次明确区分了语言的语法和语义，围绕ALGOL60的语义问题出现了形式语义学早期的研究高潮。

70年代，形式语义学取得重大进展，指称语义、代数语义等理论和方法对程序设计理论有深刻的影响。操作语义、公理语义等研究也开创了新的局面。

形式语义学是软件工程学的基础理论之一，语言的形式语法和形式语义已成为程序设计语言的必要组成部分。在形式语义学基础上，形式规范、程序变换、编译自动化等研究都取得了丰硕的成果。