|
本研究は、出来事に関する国内外の研究の状況や結果を詳細に検討し、出来事を自然に表現し処理する論理言語体系として具体的に展開、構築した。また、構築された論理言語体系をもとに、出来事に関する推論体系の研究に対して本質的拡充となる、因果的命題を含む推論の分析をさらに進めた。
また、本研究の主たる成果は次の通りである。
1 標準的論理計算体系を拡張して「出来事」を扱える体系を構築した。この体系では「出来事」が自然に扱えるという点で、従来の論理体系よりも勝っていると主張できる。
2 構築された体系で特徴的な点は、それが通常はGoedel numberなどの数論等の外的deviceを必要としないように、「命題の名前」が構成できることである。それにより、真理述語が論理内部で定義できることが示された。
3 こうして構築された体系では「命題」に「単称命題」と「一般命題」が区別できることが示された。これにより「命題の内容と形式の 1-1 対応に関する問題」を解決するための一般的方法が確立された。
|
