討論といってもルールや根拠となる情報を完全に共有するほぼ完全情報の形式的な討論
二人のプレイヤーで対戦するゲームで
大まかには
まず根拠として使える1つの推論規則と複数の命題が場に提示されてて
それらの命題を[使う]ことで
プレイヤー1は主張1を[肯定]する
プレイヤー2は主張2を[肯定]する
でタイムアップ時に主張の主観的確率が高い方のプレイヤーが勝ち
・肯定は制限時間内ならいつでも何回でも可能
・主張1は主張2の否定命題
・場の各命題からなる連言命題にはそれぞれ主観的確率の初期値が設定されてる(ただし各命題の主観的確率はプレイを通して変化する)
・[命題を使って肯定する]とは具体的には場にある命題を複数選択して作った公理系によって場にある命題ないし主張を公理的証明するプレイで
証明された命題は主観的確率が上がる

って感じのゲームどうよ