三段論法を中心とする自然言語の論理とその存在論について

1987 Fiscal Year Annual Research Report

• Project/Area Number: 62450002
• Research Institution: Iwaki Junior College
• Principal Investigator: 石本 新 いわき短期大学, 教授 (90016246)
• Co-Investigator(Kenkyū-buntansha): 薄井 英行 いわき短期大学, 非常勤講師 ; 三宅 信一 いわき短期大学, 講師 (50192365) ; 清水 智 いわき短期大学, 講師 (90162700)
• Keywords: レスニュウスキー存在論 / 抽象 / 論理文法 / 構文解析 / プロローグ / 独墺学派

Research Abstract

自然言語の論理的構造の解明が本研究の主な目的であるが, 62年度においては, レスニュウスキー存在論が自然言語の基礎となる論理であるという前提の下に, レスニュウスキー存在論の拡張を行った. 具体的にいうと, 従来のレスニュウスキー存在論に欠けていた抽象を講成するという演算をレスニュウスキー存在論につけ加え, レスニュウスキー存在論の拡張を試みた. 論理学史上よく知られていることであるが, 抽象という演算をつけ加える場合には, 何らかの制限を課さないと矛盾を惹き起す恐れがある. したがって, われわれの場合においても, 抽象演算にある種の制限が課せられ, 矛盾が生じないようにされている.
抽象が認められると, このように拡張されたレスニュウスキー存在論に基いてモンタギュー文法,すなわち論理文法を展開することは, それほど難かしいことではない. 実際, 本研究においても, モンタギューの論理文法の対象となった英語の断片と概ね一致する英語の部分系がこの研究で提唱されたレスニュウスキー存在論で取り扱えることが示された.
一方, 自然言語の構文解析の問題も, コンピュータ・サイエンスの立場から取り上げられ, 英語の断片に対してプロローグとは異なるパージングが提唱され, すでに電算機にインプリメントされている. この研究とさきの研究の間には, まだ十分な関連が見出されていないが, 次年度においては, 論理型を介して, 両者の関係をつける予定である. なお, 独墺学派に関する研究については, 資料の収集が行われた.

Research Products

• [Publications] Ishimoto Arata: proceedings of the 8th International Congress of Logic,Methodology and Phylosophy of Science. 1. 137-140 (1987)
• [Publications] Shimidzu Satoshi: proceedings of the 8th International Congress of Logic,Methodology and Phylosophy of Science. 1. 527-530 (1987)
• [Publications] 石本新: いわき短期大学紀要. 13. 15-35 (1988)
• [Publications] 清水智: いわき短期大学紀要. 13. 64-85 (1988)