• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

形式的意味論における概念形成モデル

研究課題

研究課題/領域番号 05213220
研究種目

重点領域研究

配分区分補助金
研究機関慶応義塾大学

研究代表者

岡田 光弘  慶應義塾大学, 文学部, 助教授 (30224025)

研究分担者 西脇 与作  慶應義塾大学, 文学部, 教授 (30118989)
西山 佑司  慶應義塾大学, 言語文化研究所, 教授 (90051747)
石黒 英子  慶應義塾大学, 文学部, 教授 (30212872)
研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
1,200千円 (直接経費: 1,200千円)
1993年度: 1,200千円 (直接経費: 1,200千円)
キーワード論理的意味論 / モデル理論 / モンターギュ文法 / 可能世界モデル / 関連性理論 / 様相 / ムード表現
研究概要

外延的概念理解の典型的な枠組であるモデル論的意味論をベースにして自然言語、特に日本語固有の各種の内包性、様相概念を多世界モデル意味論(クリプキ可能世界モデル理論)の手法を用いて導入し、外延的意味論の上により高度な概念構造の表現論を与えた。このことはモンターギュ文法理論の手法を用いて高階の様相論理体系の中で実現された。特に日本語の「モード」「話者の意図」「話者の主観的態度」「様相」を表現する各種のとりたて助詞、係り助詞、敬語表現、感情動詞、知覚動詞、いろいろな文末の言い切り表現等の論理的意味構造を表わすことが可能な高階様相論理体系、内包論理体系の充実を前年度に引き続き進めた。又、この高階タイプ付論理表現の特徴をUNIXワークステーションを用いてUNIX環境下で分析した。このことを通してMLを変形して設計された我々の言語表現用プログラム言語によりモンダーキュ文法に基づく概念表現論が非常によく表わされることが示された。

報告書

(1件)
  • 1993 実績報告書
  • 研究成果

    (8件)

すべて その他

すべて 文献書誌 (8件)

  • [文献書誌] 岡田光弘: "Note on the Strong Normalizubility of the Logic with Self-Referential Predicutes." Philosophy 95(1993),Mita Philosophical Soc.95. 1-15 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 岡田光弘: "Lambdalg-Higher Order Algebraic Specification Language(with y.Gui)" Springer Lecture Notes in Computer Science. June. 712-715 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 岡田光弘: "線形論理とその応用" 日本ソフトウエア科学会誌. 近刊. (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 西山佑司: "コンテクスト効果と関連性" 英語青年. 8月号. 1-16 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 西山佑司: "NP1のNP2とNP1 of NP2" 日本語学. (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 西山佑司: "言語学の最新情報:関連性理論とアイロニー研究" 月刊言語. 5月号. 118-121 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 石黒英子: "岩波講座 現代思想4巻 共著" 言語論的回転とはなにか 岩波書店, 89-116 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 岡田光弘(共著): "Language,Information and Computation" Thaehaksa Publishing,Seoul, 234(64-77 145-158) (1993)

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi