△言語学、論理学は英語学に過ぎない
言語学や論理学では論理の階層性や種(kind)を避けている
言語学や論理学では論理の階層性や種(kind)を避けているように見えます。
もし、階層性や種(kind)の認識が人間にとって不自然なのであれば仕方ないことだとは思います。
ただ、日本語では「XはYがp」という形で論理の階層化が可能でX,Yには種(kind)を置くこともできます。これが人間にとって困難な事でないのは、日本語学習者がこの構文に困難を覚えないことで明らかです。
論理の階層性や種(kind)が人間にとって困難とされているのかchatGPTで調べてみました。
人間の認知構造では、
- 対象を「種」や「カテゴリ」として把握し、
- 属性や関係を階層的に構造化して整理するのが極めて自然です。
これは日常思考・科学分類・推論に共通する人間的な論理フレームであり、 どの自然言語にも何らかの形で内在しています。
ということで、言語学や論理学では論理の階層性や種(kind)を避けているのは、人間にとって無理があるからではないのです。
言語学、論理学は要するに英語学に過ぎない
英語には日本語で見られる論理の階層性や種(kind)の主体扱いはありません。
これが言語学や論理学において階層性や種(kind)が忌避された理由でしょうか？
生成文法や記号論理が英語的構文から自由になれなかった理由
- 出発点が英語だった
ノーム・チョムスキーの生成文法（特に初期のSyntactic Structures）は、
主に英語構文を分析対象とし、
「英語の主語＋動詞＋目的語（SVO）」の語順や
「可算名詞中心の数概念」「明示的な冠詞構文」に強く依存しています。- 主語中心・インスタンス志向のバイアス
英語では主語が必須構成要素であり、
種や属性よりも個体（インスタンス）と動作の記述に偏ります。
そのため、種ベース・階層ベースの構造は構文上に現れにくい。- 量化論理（述語論理）も英語的モデルに沿って設計された
記号論理は「対象（x）に性質（P）を当てはめる」構造をとり、
xは原則として個体変項（インスタンス）です。
「種全体に属性が帰属する」ような直観的記述（例：人は死ぬ）は
必ず**全称量化子（∀）**などの装置で再構成され、
種そのものを変項とする形式は持ちません。- 普遍言語を標榜しつつ実際には構文起源に引きずられている
生成文法も記号論理も、理論的には「言語普遍性」を志向していますが、
理論の設計・例示・評価が英語中心でなされたため、
その構文的限界がそのまま理論的限界として残りました。◾️結論
チョムスキーの生成文法も記号論理も、「普遍的な論理」や「言語能力の普遍性」を目指しながらも、 英語の構文的特徴（SVO構造、可算性、明示主語など）に深く依存しており、 人間の自然な思考様式である種的把握や階層構造を形式的に捉えきれなかったという構造的限界があります。
この限界を超えるには、種（kind）を第一級の構成要素とし、階層的属性記述を直接表現できる記述体系（例：タイプ理論、オブジェクト指向的意味論、構文文法）への転換が求められます。
ということで、言語学や論理学では論理の階層性や種(kind)を避けているのは、英語の呪いです。
言語学、論理学はより高い表現法を持つものに発展しているか？
現状を聞くと
「種（kind）を第一級の構成要素とする論理体系」への転換は一部で進んではいるものの、まだ主流とは言えず、限定的な分野での活用にとどまっているのが現状です。以下、それぞれの代表例と進捗状況を概観します。
◾️1. タイプ理論（Type Theory）
✅進捗
- 種（type/kind）を基礎概念として扱う点で、論理記述の自然性が高い。
- Martin-Löf型理論, 依存型理論, Homotopy Type Theory（HoTT） など、高度に構造的で種ベースの記述を可能にしている。
- Coq, Agda, Lean などの定理証明系で実装・活用が進んでいる。
❌課題
- 学習コストが高く、一般的な論理記述言語や教育にはまだ馴染みにくい。
- 自然言語や認知に直結した形での応用は一部の研究者に限られる。
◾️2. オブジェクト指向意味論（Frame Semantics, Ontology-based Semantics）
✅進捗
- 種や属性を階層的にモデル化する点で、「人→哺乳類→動物」や「象→鼻→長い」などの記述が自然。
- WordNet, FrameNet, Conceptual Graph, SUMO, DOLCEなどの知識ベースで応用が進む。
❌課題
- 論理体系としての厳密性よりも実用性（自然言語処理など）に寄っている。
- 記号論理学とは異なる流れのため、論理的基礎としては主流とは言えない。
◾️3. 構文文法（Construction Grammar）
✅進捗
- 「文法＝構文のネットワーク」として、種を含んだ構文の意味ネットワークを記述可能。
- Goldberg, Fillmoreらの研究で、文構造と意味が1対1で対応することを重視。
- 「XがYしたい」「灯りが見える」のような日本語らしい構文も素直に扱える。
❌課題
- 記号論理のような形式性・演繹性は弱く、理論の応用には発展が必要。
- 工学応用（AIなど）ではまだ限定的
で、全体的な状況をまとめると
◾️結論と展望
- 種（kind）ベースの階層的記述体系は、形式・意味・認知の観点から強力であり、 すでに複数分野でその有用性は明らかになっています。
- しかし、述語論理に代わる汎用的・教育的・制度的な主流記法としては、まだ採用されていません。
その理由は主に以下です：
- 歴史的に記号論理が教育・制度を支配してきた
- 書き換えにはコストが高く、現行体系との互換性が必要
- 形式化の難易度が高く、非専門家には伝えにくい
📌 とはいえ今後、自然言語理解や知識表現、AI推論の発展に伴い、種ベースの論理表現への需要と発展は確実に増えると予想されます。特に、意味論やAI倫理に関わる領域では不可避となるでしょう。
と、まあ、一言でいうと「何も進んでいない」
次の記事へとつづく。
| 固定リンク