Ethical Evaluation of Information Disclosure and Shielding by Counterfactual Conditionals: Its Analysis and Proposal for it based on Modal Logic
Project/Area Number |
20K12784
|
Research Category |
Grant-in-Aid for Early-Career Scientists
|
Allocation Type | Multi-year Fund |
Review Section |
Basic Section 01010:Philosophy and ethics-related
|
Research Institution | Gunma Prefectural Women's University |
Principal Investigator |
細川 雄一郎 群馬県立女子大学, 文学部, 講師 (60853190)
|
Project Period (FY) |
2020-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2021: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2020: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
Keywords | 情報の遮蔽 / 情報の開示 / 情報フロー / 様相論理 / 反事実条件文 / 直説法条件文 / 情報倫理 / 反事実条件法 |
Outline of Research at the Start |
「もし適切に情報が与えられていたら/隠されていたら、別様に行為していたかもしれない。もし別様に行為していたら、倫理的な誤りは起こらなかったかもしれない。それゆえ、もし適切に情報が与えられていたら/隠されていたら、倫理的な誤りは起こらなかったかもしれない。」 このような形の三段論法は、反事実条件文が「情報」の倫理的評価とも密接な関連をもつことを示唆している。そこで本研究は、情報の開示/遮蔽の反事実条件法による倫理的評価に焦点を当て、とりわけそれが生命倫理、環境倫理、情報倫理にとって有効で有益であるようなモデルを、応募者が開発した様相論理の拡張によって構築・提案する。
|
Outline of Annual Research Achievements |
令和3年度に、本研究の目的である「情報の開示/遮蔽の倫理的評価」が、事後的で反省的な反事実条件文によってだけでなく、事前の予測的な直説法条件文によってもなされうるように、その論理学的形式化を拡張する新たな見通しが得られた。その上で、条件節と帰結節に時点参照を含む反事実条件文も直説法条件文もともに、A. N. プライアー以来の古典的な時制論理の自然な拡張(ハイブリッド時制論理)によって統一的に形式化できるという結果が得られ、この成果を英語論文にまとめた。 令和4年度においては、この英語論文を Springer Nature の国際ジャーナル Journal of Logic, Language and Information に投稿し、年度末にアクセプトされた。この英語論文は、本課題の科研費を使用して、まもなくオープンアクセスの形で公開する予定である。 またこの間、並行して分担研究者となっている国際共同研究強化(B)「論理的「不一致」の解明」のプロジェクトにおいて、議論学の古典モデルである「トゥールミン・モデル」を同じハイブリッド時制論理の拡張によって形式化し、この結果を日本科学哲学会第55回(2022年)大会ワークショップにて発表した。このハイブリッド時制論理の拡張は、特に推論エージェントの情報状態の更新を表す「情報更新遷移関係」と、それに対応する「情報更新様相」を備えている。こうして、この道具立てを「情報の開示/遮蔽の倫理的評価」の基礎となる三段論法の形式化にも応用する、これまでよりもさらに技術的に具体的な見通しが得られた。より詳細には、「もし適切に情報が与えられれば/隠されれば…」という条件節は、「もし適切に情報が更新されれば/更新されないままであれば…」という条件節にパラフレーズした上で、適切な形式化を与えられるのではないかという見通しが得られた。
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
令和4年度も令和3年度に引き続き、新型コロナ感染状況の影響により当初予定していた本研究に関連する各専門分野の研究者への出張・訪問がほとんどかなわなかったが、6月には産総研の竹内泉氏と、3月には京都大学の大西琢朗氏と、計2名の研究者と意見交換・情報交換を行うことができた。 また、ここまで出張や訪問が予定通り実施できなかった分、文献や図書の購入に研究費を充てることができ、そのおかげで、本研究に関連する幅広い分野の知見を収集することができた。その成果として、本研究の基盤となる、条件節と帰結節に時点参照を含む条件文(時間的条件文)の論理学的分析をまとめた英語論文を、先行研究や関連分野の研究状況により広く照らして、より適切に的確に位置付け、意義付けることができた。その結果、年度末にはこの英語論文が Springer Nature の国際ジャーナル Journal of Logic, Language and Information にアクセプトされた。
|
Strategy for Future Research Activity |
令和5年度は、令和4年度に得られた推論エージェントの情報状態の更新を表す「情報更新遷移関係」とそれに対応する「情報更新様相」を備えたハイブリッド時制論理の情報論的拡張を、「情報の開示/遮蔽の倫理的評価」の基礎となる三段論法の形式化のために応用する。同時に、この三段論法のパラダイム・ケースである、河合香織『選べなかった命――出生前診断の誤診で生まれた子』(2018) における「もし出産前にダウン症だとわかっていれば、途中で中絶していたかもしれない/もし途中で中絶していれば、息子があの苦しみを苦しむことはなかったかもしれない/それゆえ、もし出産前にダウン症だとわかっていれば、息子があの苦しみを苦しむことはなかったかもしれない」という、問題の推論の形式化を完成させる。 その上で、以上の成果を学会発表や論文投稿の形で発信する。その際、可能であれば、この「自然エージェント」の情報-行為-倫理的評価に関する成果と、現在いわゆる「説明可能なAI(explainable artificial intelligence, XAI)」の課題において重要視されている、AIの決定や判断、振る舞い(アウトプット)に対する「反事実条件法による説明(counterfactual explanations)」、つまり、「しかじかのようなインプットがあれば/なければ、しかじかのようなアウトプットを返していただろう」といった、「人工エージェント」の情報-作用-影響の説明との関連へ接続したい。
|
Report
(3 results)
Research Products
(3 results)