目录
博弈论
賽局理論（game theory），又譯為对策论，或者--，经济学的一个分支，1944年馮·諾伊曼與奧斯卡·摩根斯特恩合著《博弈論與經濟行為》，標誌著現代系統博弈理論的的初步形成，因此他被稱為「博弈論之父」。博弈論被認為是20世紀經濟學最偉大的成果之一。目前在生物学、经济学、国际关系、计算机科学、政治学、军事战略和其他很多学科都有广泛的应用。主要研究公式化了的激励结构（游戏或者博弈）间的相互作用。是研究具有斗争或竞争性质现象的数学理论和方法。也是運籌學的一个重要学科。.
查看 博弈语义和博弈论
可计算性逻辑
对于是真理的形式理论的经典逻辑，Giorgi Japaridze在2003年发明的可计算性逻辑(Computability logic)是把逻辑恢复为系统的形式的可计算性理论的一个研究程序和数学框架。在这种方法下逻辑公式表示计算问题（或等价的计算资源），而它们的有效性意味着"总是可计算的"。 计算问题和资源的理解是在它们最一般的意义上的 - 交互的意义上的。它们被形式化为机器扮演的针对它的环境的游戏，而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏。定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。 真理的经典概念转变为可计算性的特殊的零交互度的情况。这使经典逻辑成为可计算性逻辑的特殊片段。作为前者的保守扩展的同时，可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。提供了对基本问题"什么是可以（如何）计算的?"的系统的回答，它有潜在的广泛的应用领域。其中包括构造性应用理论，知识库系统，计划和行动系统。 除了经典逻辑之外，线性逻辑（在不严格的意义上理解）和直觉逻辑也转变成可计算性逻辑的自然片段了。因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。 正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。为它的各种片段找到演绎系统并探索它们的性质是正在研究中的领域。.
查看 博弈语义和可计算性逻辑
形式语义学
在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。 语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。 形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 提供程序设计语言的形式语义的方法很多，其中主要类别有：.
查看 博弈语义和形式语义学
线性逻辑
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B.
查看 博弈语义和线性逻辑
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
查看 博弈语义和编程语言
真值
在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。.
查看 博弈语义和真值
真理的语义理论
真理的语义理论声称对某个命题是真的的任何断言，可以只作为形式上的需要而做出来，不管表达命题自身用了什么语言。 真理的语义概念，以不同的方式同符合和紧缩的概念有关，是由波兰逻辑学家Alfred Tarski在1930年代出版的著作引发的。Tarski在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。在其中他做出了很多数学发现，最著名的是Tarski不可定义性定理，它类似于哥德尔不完全定理。粗略的说，它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。.
查看 博弈语义和真理的语义理论
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
查看 博弈语义和直觉主义逻辑
Jaakko Hintikka
#重定向 雅各·辛提卡.
指称语义
在计算机科学中，指称语义（Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和并发系统。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于幂域的方法，来解决并发系统的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架。本文第一节描述在这个框架内开发的指称语义。后续章节处理多态、并发等问题。.
查看 博弈语义和指称语义
有效性
在逻辑中，如果一个论证不能从真前提中得出假结论，则论证的形式是完全有效的。一个论证若被称为是有效的，则如果在其中所有前提都为真的每个模型中，结论也是真的。例如：“所有A是B；有些A是C；所以有些B是C”是有效形式。.
查看 博弈语义和有效性
另见
博弈论
- 一般均衡理论
- 不公平厌恶
- 不动点
- 串供
- 信息集 (博弈论)
- 信號理論 (經濟學)
- 公平分配博弈
- 共識動力學
- 动态不一致
- 博弈论
- 反公地悲剧
- 合作博弈
- 合作性競爭
- 契约经济学
- 帕累托效率
- 承諾升級
- 支配性策略
- 最小最大值定理
- 有限理性
- 极小化极大算法
- 模糊厌恶
- 沉没成本
- 游戏设计
- 班茨哈夫权力指标
- 理性主体
- 策梅洛定理 (博弈論)
- 经济人
- 谢林点
- 雙輸
- 鞅 (概率论)
- 预期效用假说
哲学逻辑
- T-模式
- 亚里士多德
- 传统逻辑
- 修辞学
- 关系语义
- 分析-綜合區別
- 參考
- 名称
- 哲学逻辑
- 存在图
- 定义
- 形式謬誤
- 循環定義
- 循環論證
- 悖论
- 模态逻辑
- 次协调逻辑
- 理智
- 真理
- 自然语言
- 蕴涵
- 謬誤
- 词义
- 辩证逻辑
- 逻辑哲学论
- 道义逻辑
- 邏輯真理
- 量化 (数理逻辑)
- 非形式謬誤