形式逻辑、数理逻辑等，其目的是设计出来一套形式语言系统，并对其作出语义解释。这样的形式语言系统是一个个抽象的封闭体系，但是可以应用于很多的不同领域，比如说法律、计算机等等领域对逻辑学的应用。一个逻辑系统通常由三个部分组成，即词汇部分、句法部分和基于模型论的语义部分。逻辑学的语义学着眼点在于逻辑系统的语义解释，是一个理想化的模型系统，不直接涉及自然语言。但是在形式语义学中，很多的语义学概念是从逻辑学的语义学中引申来的。
其他学科的语义学.语义学还广泛地应用于其他领域，比如说计