语义学-一流百科

形式语义学

形式语义学在编程语言理论中，语义学是对编程语言含义的严格数学研究。语义为编程语言语法中的有效字符串分配计算意义。语义描述了计算机在以该特定语言执行...

词条百科

克里普克语义学

简介克里普克语义学（又称关系语义学或框架语义学，常与可能世界语义学相混淆）是索尔-克里普克和安德烈-约亚尔在20世纪50年代末和60年代初为非经典逻辑系统...

词条百科

一般框架

简介在逻辑学中，一般框架（或简称框架）是具有额外结构的克里普克框架，它被用来模拟模态和中间逻辑。一般框架语义学结合了克里普克语义学和代数语义学的主...

词条百科

模态逻辑

模态逻辑模态逻辑是为表示关于必然性和可能性的声明而开发的形式系统的集合。它在语言哲学、认识论、形而上学和自然语言语义学中发挥着重要作用。模态逻辑通...

词条百科

模糊性

什么是模糊性在语言学和哲学中，模糊的谓词是指会产生边界的情况。例如，英语形容词tall是模糊的，因为对于一个中等身高的人来说，它没有明确的真实或虚假。...

词条百科

指称语义学

指称语义学的语言语言学vte在计算机科学中，指称语义学（最初被称为数学语义学或Scott-Strachey语义学）是一种通过构建描述语言表达式含义的数学对象（称为指...

词条百科

语义学（计算机科学）

语义学（计算机科学）在编程语言理论中，语义学是对编程语言意义的严格的数学研究。语义学将计算意义分配给编程语言语法中的有效字符串。语义学描述了计算机...

词条百科

形式化方法

形式化方法在计算机科学中，形式化方法是用于软件和硬件系统的规范、开发和验证的数学上的严格的技术。在软件和硬件设计中使用形式化方法的动机是希望像其他...

词条百科

符号人类学

符号人类学米尔顿·辛格（Milton Singer，1978）首次使用了“ 符号人类学 ”一词。辛格（Singer）的工作将查尔斯·桑德斯·皮尔斯（Charles Sanders Peirce）和罗...

词条百科