吴义学

鲍氏义学碑文,   缅维我朝德宗景皇帝御宇之三十有二年，岁在丙午九重，特颁明诏以都城嵩祝寺札萨

外部链接SemanticswithApplications定义

参见代数语义学（英语：Algebraicsemantics(computerscience)）指称语义学操作语义学形式语义学谓词变换语义学（英语：Predicatetransformersemantics）断言(程序)参考文献

语言学的语义学若从严格意义上的语言学研究来分类，在现代语言学的语义学中，可以分为结构主义的语义学研究和生成语言学的语义学研究。结构主义语义学是从20世纪上半叶以美国为主的结构主义语言学发展而来的，研究的内容主要在于词汇的意义和结构，比如说义素分析，语义场，词义之间的结构关系等等。这样的语义学研究也可以称为词汇语义学，词和词之间的各种关系是词汇语义学研究的一个方面，例如同义词、反义词，同音词等，找出词语之间的细微差别。生成语义学是20世纪六七十年代流行于生成语言学内部的一个语义学分支，是介于早期的结构主义语言学和后来的形式语义学之间的一个理论阵营。生成语义学借鉴了结构语义学对义素的分析方法，比照生成音系学的音位区别特征理论，主张语言的最深层的结构是义素，通过句法变化和词汇化的各种手段而得到表层的句子形式。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻...

结构操作语义戈登·普罗特金（GordonPlotkin）在（Plotkin04a）中引入了结构操作语义的概念作为一个定义操作语义的逻辑方式。其基本主意是使用程序组成部分的行为来定义一个程序的行为，由此来提供一个对操作语义结构性的，即按照句法和归纳性的，分析。结构操作语义对一个程序的行为的说明是通过一（组）变化关系来表示的。其形式是一系列推理规则，这些推理规则通过一组句法的转换来定义该组的合理转换。比如我们考虑一个简单计算机语言的部分语义，在Plotkin04a和Hennessy90以及其它教科书中有相应的图像。设C1,C2{\displaystyleC_{1},C_{2}}为该语言的程序域，s{\displaystyles}是状态域（即函数的存储地址及值）。假如我们有表述（E{\displaystyleE}的域）、值（V{\displaystyleV}）和存储地址（L{\displayst...