認識論理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/23 15:57 UTC 版)
認識論理（にんしきろんり、英: Epistemic logic）は、様相論理の一種であり、知識についての推論を扱う。認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年にソール・クリプキによって今の形式が完成された。
- ^ p. 257 in: Ferenczi, Miklós (2002年) (Hungarian). Matematikai logika. Budapest: Műszaki könyvkiadó. ISBN 963 16 2870 1
- 257
[続きの解説]
認識論理と同じ種類の言葉
固有名詞の分類
- 認識論理のページへのリンク
