Ethical Evaluation of Information Disclosure and Shielding by Counterfactual Conditionals: Its Analysis and Proposal for it based on Modal Logic

点击翻译按钮获取中文摘要

令和3年度に、本研究の目的である「情報の開示／遮蔽の倫理的評価」が、事後的で反省的な反事実条件文によってだけでなく、事前の予測的な直説法条件文によってもなされうるように、その論理学的形式化を拡張する新たな見通しが得られた。その上で、条件節と帰結節に時点参照を含む反事実条件文も直説法条件文もともに、A. N. プライアー以来の古典的な時制論理の自然な拡張（ハイブリッド時制論理）によって統一的に形式化できるという結果が得られ、この成果を英語論文にまとめた。令和4年度においては、この英語論文を Springer Nature の国際ジャーナル Journal of Logic, Language and Information に投稿し、年度末にアクセプトされた。この英語論文は、本課題の科研費を使用して、まもなくオープンアクセスの形で公開する予定である。またこの間、並行して分担研究者となっている国際共同研究強化(B)「論理的「不一致」の解明」のプロジェクトにおいて、議論学の古典モデルである「トゥールミン・モデル」を同じハイブリッド時制論理の拡張によって形式化し、この結果を日本科学哲学会第55回(2022年)大会ワークショップにて発表した。このハイブリッド時制論理の拡張は、特に推論エージェントの情報状態の更新を表す「情報更新遷移関係」と、それに対応する「情報更新様相」を備えている。こうして、この道具立てを「情報の開示／遮蔽の倫理的評価」の基礎となる三段論法の形式化にも応用する、これまでよりもさらに技術的に具体的な見通しが得られた。より詳細には、「もし適切に情報が与えられれば／隠されれば…」という条件節は、「もし適切に情報が更新されれば／更新されないままであれば…」という条件節にパラフレーズした上で、適切な形式化を与えられるのではないかという見通しが得られた。