博弈语义
维基百科，自由的百科全书
博弈语义(德语: dialogische Logik) 是一种逻辑的语义，基于在博弈论概念上的真理或有效性的概念，比如对一个游戏者存在一种获胜策略。Paul Lorenzen 首先在 1950 年代晚期为逻辑介入了博弈语义。此后在逻辑中已经研究了很多不同的博弈语义。博弈语义也已经应用于编程语言的形式语义。
目录 |
[编辑] 直觉逻辑，指称语义，线性逻辑
Lorenzen 和 Kuno Lorenz 的主要动机是为直觉逻辑找到一种博弈论(他们的术语是"对话式" Dialogische Logik)语义。Blass 首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由 Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria 和独立的由 Martin Hyland 和 Luke Ong 发展，对合成性加以特别强调，就是递归的在语法上定义策略。使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。从此，博弈语义成为各种编程语言的完全抽象的语义模型，导致了软件模型检查的软件验证的新的语义制导的方法。
[编辑] 量词
博弈语义的基础性考虑已经被 Jaakko Hintikka 和 Gabriel Sandu 更加强调，特别是为了友好独立逻辑(IF 逻辑，更加新近的友好信息逻辑)，它是带有分支量词的逻辑。合成性原理被认为对这些逻辑失败，所以 Tarski 主义的真理定义不能提供合适的语义。要解决这个问题，量词被给予博弈论意义，全称量词和存在量词表示一个游戏者从这个域做的一个选择。在全称情况下，给游戏者的自然名字是"证伪者"；在存在情况下，是"证实者"。注意一个单一的反例证伪一个全称量化陈述，而一个单一的例子足够证实一个存在量化陈述。Wilfrid Hodges 提议了合成性语义并证明了它等价于给 IF-逻辑的博弈语义。基础性考虑已经推动了其他人的工作，比如 Japaridze 的可计算性逻辑。
[编辑] 参见
[编辑] 引用
- Krabbe, E. C. W., 2001. "Dialogue Foundations: Dialogue Logic Revisited," Supplement to the Proceedings of The Aristotelian Society 75: 33-49.
- K. Lorenz, P. Lorenzen: Dialogische Logik, Darmstadt 1978
- P. Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie, Stuttgart 2000 ISBN 3-476-01784-2
- R. Inhetveen: Logik. Eine dialog-orientierte Einführung., Leipzig 2003 ISBN 3-937219-02-1
