高木翼のWebサイト

研究について(随時更新)

[1] 『形式論理探求 第1巻 古典論理のタブロー』(やまなみ書房、2019年)
形式論理をタブローという図によって探求した入門書。類書との大きな違いは、全ての確認問題と演習問題に本全体の約4割を占めるほどの詳しい解答を載せた点と、(証明論に比べて)軽視されがちだが決して簡単ではない述語論理の意味論について詳しく説明した点。
[2] 「K4タブローによる妥当性判定と濾過法」(Journal of Science and Philosophy, 2019)
[1] 「様相述語論理の哲学」(第2回日本アリストテレス協会主催研究発表会、2018年)
[2] 審査員特別賞受賞「超準解析によるcontextualな隠れた変数理論の否定」(日本物理学会 第11回 Jr.セッション、2015年)
inserted by FC2 system