| 研究課題/領域番号 |
07204208
|
|---|
| 研究種目 |
重点領域研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 慶応義塾大学 |
|---|
研究代表者 |
岡田 光弘 慶応義塾大学, 文学部, 助教授 (30224025)
|
|---|
| 研究期間 (年度) |
1994 – 1997
|
| 研究課題ステータス |
完了 (1995年度)
|
| 配分額 *注記 |
1,300千円 (直接経費: 1,300千円)
1995年度: 1,300千円 (直接経費: 1,300千円)
|
|---|
| キーワード | 論理的意味論 / 高階論理 / モンターギュ意味論 / 可能世界意味論 / 格文法 |
|---|
| 研究概要 |
法律文の論理表現に必要な新しい論理体系Predicate-Refe-rential Logicを定式化し、その論理的性質を明かにするとともに、このホーン節部分体系を定義して、法律文がその部分体系の中でどのように表現できるかを示した。特に、国際売買法の具体的法律文を用いて、これまでの伝統的論理学の枠組では自然な知識表現ができなかったものが、我々の新しい論理的枠組の中で可能となることが示された。我々の体系の論理的意味論に関する完全性も確立された。この完全性定理を利用して、我々の論理体系の上での法律表現に対する論理的意味分析システムを構築した。この意味分析システムには、昨年度までの研究成果であるモンターギュ意味論及び格文法理論、可能世界意味論が用いられた。
|
