MENTAL MODEL · M13247
逻辑中的博弈与游戏语义
Logic and Games
更新于 2026-09-10
CORE DEFINITION · 核心定义
二十世纪下半叶，两名参与者的博弈——其中一方胜、一方负——成为逻辑学许多分支中常见的工具。重要的例子包括用以定义真的语义博弈、用以比较结构的往返博弈，以及用以表达并解释形式证明的对话博弈。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 争辩推演：把论证拆成正反双方的攻防对局，看谁握有必胜策略 - 结构比较：用轮流挑元的对局检验两个结构能否被区分 - 语义澄清：以博弈中的可赢性重新界定真，绕开循环定义
anchor
锚定快速决策
博弈语义把真定义为博弈中的存在性事实：验证者试图确证公式，证伪者试图否证，公式为真当且仅当验证者有必胜策略。往返博弈则用两人轮流挑选元素的方式比较两个结构，若续弈者总能匹配对手的选择，两结构便在相应的逻辑语言中无法区分。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-games/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型