公開告知の反復で真偽がどう変わるかを分類する
Eventual and Strong Eventual Notions in Public Announcements
この論文をやさしく読む
ひとことで言うと
ある情報を皆に告げる行為を繰り返すと、その情報を表す文自体の真偽がどう変化するかを調べる論理学研究です。一度は偽になることと、その後ずっと偽であり続けることを区別しています。
何に役立つ？
公開告知による知識状態の変化を、短期の変化と長期に安定した変化に分けて形式的に整理できます。人間の発言を実験で測った研究ではなく、論理式とモデルの性質を分析する枠組みです。
この研究の面白いところ
有限回の反復だけでなく、超限的な反復にも概念を拡張しています。真理値の極限や不動点との関係を通して、複数の定義を一つの比較可能な形にまとめています。
どこまで分かった？
要旨は新しい概念とそれらの関係を示す結果を紹介していますが、個々の必要十分条件の式は示していません。日常の嘘の心理や社会的効果を実証した結果として解釈することはできません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
動的認識論理では、公開告知の文脈で、成功、自己反駁、真になる嘘、不可能な嘘という四つの概念が議論されてきた。本論文では、これらの概念について、いずれ成立するという版と、強い意味でいずれ成立するという版を導入する。さらに、告知の超限回の反復を許す超限版も導入する。また、真である場合、または偽である場合に、常に情報を与えるという概念も導入する。例えば、ある論理式が最初に真であるときはいつでも、告知の反復によって有限のある段階で偽になるなら、その式はいずれ自己反駁的になる。強い意味でいずれ自己反駁的になるとは、それに加えて、十分後のすべての段階でその式が偽であり続けることを要求する。 主要な結果は二つある。第一の結果は、強い意味でいずれ成立する概念、いずれ成立する概念、および告知された論理式の真理値の極限に関する条件、一様な上界条件、ムーア文と自己実現文の不動点的な見方など、いくつかの条件の間の関係を与える。第二の結果は、いずれ成立する概念と強い意味でいずれ成立する概念の有限版および超限版と、不動点的な見方との関係を与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In dynamic epistemic logic, the four notions of success, self-refutation, true lies, and impossible lies have been discussed in the context of public announcements. In this paper, we introduce eventual and strong eventual versions of these notions, as well as their transfinite versions, which allow transfinite iteration of announcements. We also introduce the notions of always informativeness when true or false. For example, a formula is eventually self-refuting if, whenever initially true, it eventually becomes false at some finite stage under iterated announcements, and strong eventual self-refutation further requires the formula to remain false at all sufficiently late stages. There are two main results. The first result gives the relationship among strong eventual notions, eventual notions, and several other conditions including conditions on the limit of the truth values of the announced formula, the uniform bound condition, and the fixed-point views of the Moore sentence and the self-fulfilling sentence. The second result gives the relationship among finite and transfinite versions of the eventual and strong eventual notions and the fixed-point views.
著者のコメント
34 pages, 4 figures
arXiv ID: 2609.24006 ／ 要約の誤りについて