语义学 编辑
语义学也作语意学，是对指称、意义或真理的研究；语义学涉及了语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：
2
相关
接合辞或称间缀、连接元素，是词缀的一种，为语言学或更专门用在音位学的术语。它是安置在2个语素之间的音位，但本身不具有语义学的意涵。
声调语言，用声调辨义，即依声调之相异而表达出不同之语义学，而“非声调语言”依声调之相异只是表达出不同之语气。人语言，可以分为“声调语言”、与“非声调语言”。
抽象和具体是这样一种分类，标志着一个术语描述的客体是否有物理上的指示物。抽象对象没有物理的实指，但是具体对象有。这两个术语在哲学和语义学上十分常用。抽象对象在英语里有时叫做abstracta，其单数形式是abstractum；相应的，具体对象在英语里叫做https://zh.wiktionary.org/wiki/concreta|wikt:concreta，单数形式concretum。
语义角色，又称语义关系、主题关系，生成文法中称为题元或题元角色，在格语法中也称为语义格或深层格，是语义学上的一个概念，指短语或句子中的名词短语即论元与谓语中心词之间的语义关系。例如 Susan ate an apple，Susan 就是 eat 的行为者，即施事；an apple 就是 eat 的对象，即受事。
论元也称行动元、项，不及物动词主语也称变元，在句法学上指句子当中具有指称语义功能、强制补充谓语语义学的名词成分。这些谓语往往指的是动词及其助动词；名词性成分则可以是名词、代词等，甚至可以是从句，如英语 seem 的从句即可视之为其论元。
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。
微观语言学是相对于宏观语言学而言的，微观语言学包括语音学，音韵学，形态学，句法学，语义学和语用学。 宏观语言学包括社会语言学，心理语言学，神经语言学，文体学，语篇分析学，计算语言学，认知语言学，应用语言学。由于紧扣微观语言学和宏观语言学两大主线，便于从语言学的整个范围系统地把握其各个分支学科之间的关系，因此，当代语言学研究首先可以划分为微观语言学和宏观语言学两大范畴或基本领域。
言词谬误是泛指各式语意混乱造成的不恰当论证，言词谬误可能是因为词语或者句子有语义学上或者语用学上的解读差异造成；解读差异又可以细分为有多种明确解读的歧义及无法明确解读的含糊。
通信协议在电信领域中指的是：在任何物理介质中允许两个或多个在传输系统中的终端之间传播信息的系统标准，也是指计算机通信或网络设备的共同语言。通信协议定义了通信中的语法学、语义学和同步规则以及可能存在的错误检测与纠正。通信协议在计算机硬件、软件或两者之间皆可实现
短语又称词组、，是指一个或多个词组成的，具有中心词的语法性质，内部成分在语义学和句法上都能搭配，但可能未形成完整命题，也没有语调的一种语法单位。通常一个短语可以是词的任意聚合，故一个词也可以组成短语乃至句子。