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年)大会ワークショップにて発表した。このハイブリッド時制論理の拡張は、特に推論エージェントの情報状態の更新を表す「情報更新遷移関係」と、それに対応する「情報更新様相」を備えている。こうして、この道具立てを「情報の開示／遮蔽の倫理的評価」の基礎となる三段論法の形式化にも応用する、これまでよりもさらに技術的に具体的な見通しが得られた。より詳細には、「もし適切に情報が与えられれば／隠されれば…」という条件節は、「もし適切に情報が更新されれば／更新されないままであれば…」という条件節にパラフレーズした上で、適切な形式化を与えられるのではないかという見通しが得られた。

Reiwa 3rd year, the purpose of this study is "Information Disclosure/Concealment Ethical Commentary", and the post-event introspection conditional text.なく, pre-predictive な正法文によってもなされうるように, the formalization of その论学を张する新たな见通しが得られた. A. N. The classical natori theory of nataka since the beginning of time.ってUnifiedにFormalizationできるというRESULTSがGETられ、このRESULTSをEnglish paperにまとめた. Reiwa 4th year's paper, English paper, Springer Nature's International Journal of Logic, Language and Information, submission, year-end paper.このEnglish thesisは、The use of scientific research funds for this project is して、The まもなくオープンアクセスのshaped でdisclosure is determined. Minami and Parallel Sharing researcher Yokohama International Joint Research Strengthening (B) "Theoretical "Inconsistency" explanation "のプロジェクトにおいて", "argumentation" no classical explanation "トゥ"ールミン・モデル」を同じハイブリッド时时论理の拡张によってFormalizationし、このThe result is the 55th (2022) General Assembly of the Japanese Society for the Philosophy of Science.このハイブリッドchronological theoryの拡张は、特に inferenceエージェントのinformation statusのUpdateをTable "Information Update Migration Relationship" and "Information Update Migration Relationship" and "Information Update Migration Relationship" are prepared.こうして, この物立てを "Information's Disclosure/Concealment's Ethical Commentary"'s basic syllogismのFormalized にも応用する、これまでよりもさらにTechnology な见通しが得られた.よりDetails には, 「もし Fitting information が and えられれば／隠されれば… 」というcondition sectionは、「もしsuitable informationがUpdateされれば／Updateされないままであれば…」というconditions section にパラフレーズした上で、Adapt It's a formalized form and it's a formalized one.

项目成果

トゥールミン図式のハイブリッド多領域様相論理による論理学的形式化ーーハイブリッド論理版 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;縣由衣子;細川雄一郎;山根 秀介;加藤晋・宮本雅也;萬屋博喜;鵜殿憩;細川雄一郎
• 通讯作者: 細川雄一郎