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

形式语义中的概念形成模型

• 批准号: 05213220
• 负责人: 岡田 光弘
• 金额: $ 0.77万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05213220/
• 关键词: 論理的意味論; モデル理論; モンターギュ文法; 可能世界モデル; 関連性理論; 様相; ムード表現

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

The concept of extension is understood in terms of the typical group of concepts, the meaning theory, the natural language, the inclusion of various concepts inherent in the Japanese language, the multi-world meaning theory (the possible world theory), and the method of introduction and extension of the meaning theory. The method of grammar theory is applied to the realization of high-order phase logic system. In particular, the logical meaning structure of Japanese words such as "","speaker's meaning","speaker's attitude" and "phase" can be expressed in various auxiliary words, auxiliary words, honorific expressions, emotional verbs, cognitive verbs, middle and middle sentence expressions, etc. In addition, the characteristics of high-level software logic performance are analyzed in UNIX environment. This is the first time I've ever been able to express myself in English.

项目成果

西山佑司: "コンテクスト効果と関連性" 英語青年. 8月号. 1-16 (1993)

Yuji Nishiyama：“语境效应和相关性”英语青年八月号（1993 年）。

西山佑司: "言語学の最新情報:関連性理論とアイロニー研究" 月刊言語. 5月号. 118-121 (1993)

Yuji Nishiyama：“语言学最新信息：关联理论和反讽研究”月刊 118-121（1993）。

岡田光弘: "Lambdalg-Higher Order Algebraic Specification Language(with y.Gui)" Springer Lecture Notes in Computer Science. June. 712-715 (1993)

Mitsuhiro Okada：“Lambdalg 高阶代数规范语言（带有 y.Gui）”Springer 计算机科学讲义 712-715（1993 年）。

西山佑司: "NP1のNP2とNP1 of NP2" 日本語学. (1993)

Yuji Nishiyama：“NP2 的 NP1 和 NP2 的 NP1”日语语言研究（1993）。

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

Mitsuhiro Okada：“关于带有自我指涉哲学的强规范性的注释”，Mita Philosophical Soc.95（1993）。