直觉主义逻辑，指称语义，线性逻辑Lorenzen和KunoLorenz的主要动机是为直觉主义逻辑找到一种博弈论（他们的术语是"对话式"DialogischeLogik）语义。Blass首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由SamsonAbramsky、RadhakrishnanJagadeesan、PasqualeMalacaria和独立的由MartinHyland和LukeOng发展，对组合性加以特别强调，就是递归的在语法上定义策略。使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。于是，在博弈语义的基础上，产生了为各种编程语言提供了完全抽象的语义模型，以及由此产生了用软件模型检测进行软件验证的新的语义导向的方法。量词博弈语义的基础性考虑被JaakkoHintikka和GabrielSandu更加强调，特别是...

应用通过下列方法可以提升万维网以及其互连的资源的易用性（usability）和实用性（usefulness）："标记"了语义信息的文档。这可以是机器可以理解的关于文档内容（例如文档的作者,标题,简介等)的描述,或者是描述该网站所拥有的服务和资源.(注意:任何东西都是能被URI-统一资源定位符-所描述的,因此语义网能理解人物、地方、想法、类别等等)通用元数据词汇表(本体论)及词汇间的影射使得文档作者知道如何来标记文档方可让机器识别他想提供的元数据.利用元数据为语义网用户执行任务的自动软件代理(agent).为自动软件代理提供特定信息的网络服务(例如,可信度服务可以让软件代理查询某个在线商店是否曾经有过不良纪录或者发送过垃圾邮件).语义网应用示例目前的各种万维网技术都有可能被应用于语义网（在语义环球网的意义上）,例如:DOM文档对象模型,一组访问XML和HTML文档组成部分...

递归程序的语义在本节中我们概览作为指称语义的最初主题的函数式递归程序的语义。问题如下。我们需要给予程序如阶乘函数的定义以语义这个阶乘程序的意义应当是在自然数上一个函数，但是由于它的递归定义，如何以复合方式理解它是不明白的。在递归的语义中，域典型的是偏序，它可以被理解为已定义性(definedness)的次序。例如，在自然数上的偏函数的集合可以给出为如下次序:通常假定这个域的某个性质，比如链的极限的存在性(参见cpo)和一个底元素。偏函数的偏序有一个底元素，完全未定义函数。它还有链的最小上界。各种额外性质经常是合理的和有用的:在域理论条目中有更详尽细节。我们特别感兴趣于在域之间的“连续”函数。它们是保持次序结构和保持最小上界的函数。在这种设置下，类型被指示为域，而域的元素粗略的捕获了类型的元素。给予带有自由变量的一个程序段的指称语义，依据它从它的环境类型的指称到它的类型的指称的连续函数。例如...

科学哲学领域从科学哲学领域的角度说，不只是日常语言提供的信息，GPS和温度表提供的信息，甚至电池正负号提供的信息也都是语义信息。因为电池上一个加号（+）等价于一个命题：“这是正极”。语义信息的概念主要是用以区别Shannon信息的。与Shannon信息论的比较语义信息与信号（message）的含义及知识有关，存在对错问题；Shannon信息与信号含义或知识无关，不存在对错问题（Floridi，2011）。语义信息可以包含在单个信号（message）或命题中，而Shannon信息只能存在于一连串信号中，只能通过统计得到平均信息（Shannon,1948）。广义信息在大多数地方指除了随机性还涉及语言模糊性的信息，主要也是指语义信息。语义信息研究语义信息研究，即如何度量语义信息的研究，最早可以追溯到Weaver，Bar-Hillel，Carnap,Popper等人。Weaver提出信息论研究应当...

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