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

点击翻译按钮获取中文摘要

石黒が専門とする言語為論、可能世界意味論、西山が専門とする自然言語意味論、生成文法意味論、西脇が専門とするモデル論的意味論、岡田が専門とするモンターギュ意味論、プログラム言語意味論の最近の成果を用いて、言語と概念把握との関係についての論理的意味論モデルを形成することを平成4年度の目標とした。我々の方法論の特微は、概念把握、概念形成を言語の意味理解という観点から考察する点にある。特に、論理的意味論、言語分析哲学の基本的研究課題である「指示と指示対象」、「外延的意味と内包的意味」、「命題的態度」、「志向的意味」「modalityとmood」等の問題を通して、我々の概念把握の本質が論理的側面から考察された。特に、我々の概念把握は伝統的なタルスキー・カルナップ流の外延的モデル論的意味論ではとらえられないことがよく知られているが、上記の各問題の分析をとおして我々は外延的意味論にかわる内包論理を基本とする意味論体系を構築した。この意味論体系においては、我々の概念は内包的意味として表現されることとなった。より具体的には、伝統的モデル論的意味論をベースにして、各種の内包性、様相を多世界モデル意味論の手法を用いて導入し、外延的意味論の上に概念形成物の場を与えた。知識表現の枠組としては、一階論理式による通常の論理表現をモンターギュ文法論の手法を用いて高階の論理式表現に拡張した。平成4年度に形成された我々の意味論体系は、次年度(平成5年度)にUNOXワークステーション上で実装される。特に平成4年度において、この実装のための準備が行なわれた。又各言語表現に対応する可能世界を用いた概念表現から、特定の状況下での概念内容(内包的意味)を導出するための可能世界の選択理論を言語行為論を用いて構成中であり、これも次年度に実装化される予定である。