シナジーのメタファー１

　直感主義論理に基づいた簡単なドイツ語の文法を考察する。レキシコンは、基本表現に範疇を割り当てていく。範疇文法は、直感主義のタイ プ理論を形式化する規則である。そしてシュガーリングの規則は、形式化された表現がドイツ語として認知される語彙の連鎖を返す。
　Ranta の文法とMontague文法の違いは、前者がシュガーリングと意味の説明の基礎となる表現を形式化しているにすぎない点である。Montague文法は、 (i) 基本表現を分析榭に結合させ、（ii) 分析樹を単純な文にシュガーリン グするといった二重構造となっている。もちろん、Ranta の文法も意味と形式間のパラレルな関係を要求する。
　まず、多くのドイツ語の表現がタイプ理論の意味で直接レキシコンに導入される。範疇化が存在論の意味を持っているため、各表現に対してタイプ理論の意味合いを作ることができる。また、ドイツ語の量化表現（jederや不定冠詞）の範疇化は排除する。これらの語彙が�狽ﾆΠによる表現を示すことができないため、レキシコンにjederを登録してから、“jeder Mann”を“x”と置換してシュガーリングを掛けていく。 しかし、jeder が強い意味を持つと、Πのシュガーリングに問題が生じる。 jederが弱い意味を持つと、一意な意味がでる。その場合、jederに対する形式表現はΠとなり、不定冠詞は�狽ﾉなる。こうしたシュガーリングの規則の特徴は、擬似的な範疇化によって表現される。擬似的に範疇化された表現を持つと、パージングの規則は、一定の方法でそれを処理することができる。
　レキシコンを考察しよう。普通名詞、固有名詞、動詞および形容詞が範疇化される。語彙登録は、シュガーリングのパターンを示している。レキシコンを持つことによって、名詞の集合や動詞の関数が定義され、上述した�煤AΠ、pair、λ、p、qおよびapとい った演算子もそこに含まれる。さらに、SとNという演算子が導入されます。これらは、タイプ理論の命題表現を変数として取り、文章と名詞を返す。
　シュガーリング規則のシステムを見ていこう。対象は、ドイツ語の断片である。[E/F]とは、表現Eを表現Fで置換することを意味する。{E， F，G} は、E、F、G が選択できることを示している。補助規則は、まず、単数の表現を再帰代名詞に戻し、主要な変数としてマークを付け、照応表現の範囲に設定する。次に、SとNの演算子を規定する際、規則（Q)、（C）、 (R) が重要になる。規則（Q)は、直感主義のタイプ理論の量化表現をドイツ語の文章にシュガーリングする規則である。規則（C)は、�狽ﾆΠを限量詞というよりも連結詞と見なして、結合と条件 のシュガーリングを処理する。規則（R)は、表現が、関係代名詞によつ て修飾された名詞にシュガーリングが掛かることを説明している。最後 に形態操作の説明である。VF動詞（3人称単数現在）、名詞の目的格 ACCと所有格GEN、不定冠詞INDEF、人称代名詞PRON、関係代名詞 REL、再帰代名詞REFLが、シュガーリングの規則のための形態操作とし て導入される。

花村嘉英（2005）「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか？」より