06月05日(Wed) 17:00〜18:20 D会場(-国際会議場203号室)
演題番号 | 2D5-OS-03b-2 |
---|---|
題目 | 条件文解析のための一階述語条件論理と近傍層意味論 |
著者 | 山本 華子(お茶の水女子大学大学院人間文化創成科学研究科) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
時間 | 06月05日(Wed) 17:20〜17:40 |
概要 | 条件論理は様相論理の一種であり、暗黙の前提を扱うことができるため、自然言語における条件文に対応できると考えられる。本研究では一階述語条件論理の各体系に与えられたクリプキ意味論([Priest2008])を一階述語様相論理の意味論の一種、近傍層意味論(NSS)に拡張する。NSSを用いることにより、貫世界同一性を初めとする条件論理の諸概念をより自然に捉える意味論の構築を目指す。 |
論文 | PDFファイル |