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

反事实条件对信息披露与屏蔽的伦理评价：基于模态逻辑的分析与建议

• 批准号: 20K12784
• 负责人: 細川 雄一郎
• 金额: $ 2.5万
• 依托单位: Gunma Prefectural Women's University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K12784/
• 关键词: 情報の遮蔽; 情報の開示; 情報フロー; 様相論理; 反事実条件文; 直説法条件文; 情報倫理; 反事実条件法

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

在2021年，提供了新的前景，以扩大本研究目的的逻辑形式化，“信息披露/封闭的道德评估”，不仅可以通过事后和反思性的反事实条件陈述，还可以通过先前的预测性指示性条件陈述来做出。此外，两种反事实的条件陈述，包括条件条款中的时间点参考和结果术语以及遗嘱条件陈述，都可以通过自a。n。pryor以来的经典时态逻辑的自然扩展而均匀地形式化，并且将此结果汇编为英文论文。 2022年，这份英语论文被提交给Springer Nature的《国际逻辑，语言和信息杂志》，并在财政年度结束时被接受。这份英语论文将很快使用该任务的科学研究基金在公开访问中发表。在此期间，在项目“理解逻辑“不一致”项目中，该项目一直是一名平行的研究人员，“ Turmin模型”是一种辩论的经典模型，通过扩展相同的混合时态逻辑形式化了正式的逻辑，并且在第55届“日本科学哲学”（2022222222222）的工作室中介绍了结果。代表推理代理的信息状态的更新，这是一个相应的信息更新模式。更新/无协调...”。

项目成果

トゥールミン図式のハイブリッド多領域様相論理による論理学的形式化ーーハイブリッド論理版 Weak Until としての “Unless”

使用混合多域模态逻辑对图尔明图进行逻辑形式化 - “除非”作为混合逻辑版本弱直到

• 发表时间: 2022
• 作者: Yusuke Ikeda;Claudia Serban;Iulian Apostolescu;Inga Roemer;Corijn van Mazijk;Daniel De Santis;Dominique Pradelle;Alexander Schnell;Ovidiu Stanciu;Steven Crowell;Natalie Depraz他;君嶋泰明;鵜殿 憩;Kondo Hayato;縣由衣子;細川雄一郎
• 通讯作者: 細川雄一郎

情報と変数

信息和变量

• 发表时间: 2021
• 作者: Yusuke Ikeda;Claudia Serban;Iulian Apostolescu;Inga Roemer;Corijn van Mazijk;Daniel De Santis;Dominique Pradelle;Alexander Schnell;Ovidiu Stanciu;Steven Crowell;Natalie Depraz他;君嶋泰明;鵜殿 憩;Kondo Hayato;縣由衣子;細川雄一郎;山根 秀介;加藤晋・宮本雅也;萬屋博喜;鵜殿憩;細川雄一郎;君嶋泰明;近藤隼人;萬屋博喜;縣由衣子;池田恭哉;渡邊裕一;阿部崇文・石田柊・宮本雅也;山根秀介;君嶋泰明;Kei Udono;池田恭哉;押谷健・宮本雅也;縣由衣子;Kondo Hayato;鵜殿憩;小谷昂久・一色大悟・左藤仁宏・永崎研宣;山根秀介;池田恭哉;近藤隼人;宮本雅也;君嶋泰明;細川雄一郎
• 通讯作者: 細川雄一郎

Disagreement in Counterfactuals

反事实分歧

• 发表时间: 2022
• 作者: Yusuke Ikeda;Claudia Serban;Iulian Apostolescu;Inga Roemer;Corijn van Mazijk;Daniel De Santis;Dominique Pradelle;Alexander Schnell;Ovidiu Stanciu;Steven Crowell;Natalie Depraz他;君嶋泰明;鵜殿 憩;Kondo Hayato;縣由衣子;細川雄一郎;山根 秀介;加藤晋・宮本雅也;萬屋博喜;鵜殿憩;細川雄一郎
• 通讯作者: 細川雄一郎