シナジーのメタファー１

(40)
a. Kategorisieren Sie, was Sie können.
b. Kategorisieren Sie nicht, was Sie nicht können.
c. Kategorisieren Sie quasi gleichbedeutend, was Sie können.

　(40)a fordert, daß viele deutschen Ausdrücke den typentheoretischen Bedeutungen direkt zugewiesen werden. Aber wenn die Kategorisierungen auch ihre ontologische Lesarten haben, muß man den vollen typentheoretischen Sinn jeder kategorisierten Ausdrücke haben können. Das führt zum zweiten Prinzip (40)b, das die Kategorisierung der deutschen Quantoren “irgendein”，“jeder” und “manch” ausschließt, weil diese Wörter nicht immer verwendet werden können, um zu beschreiben, was “Π" und “��" ausdrücken.

(41)
jeder: (X: set) ((X) prop) prop,
jeder: Π: (X: set) ((X) prop) prop.

Hier kann man den Sugaringsprozeß von (42) zu (43) verwenden, indem ajeder Patient” durch “X” substituiert wird.

(42) (jeder x: Patient) (weggehen (x) ⊃ Behrens ist froh).

(43) Wenn jeder Patient weggeht, ist Behrens froh.

Aber wenn das deutsche Wort “jeder” einen starken Sinn hat, kann der Sugaringsprozeß keine Bedeutung erhalten. Es handelt sich um den Prozeß von Π.
　Es gibt einen schwachen Sinn, in dem "jeder" eine einzigartige Bedeutung hat. Für "jeder" ist er Π, während der unbestimmte Artikel "ein" in gleicher Weise �� hat. Die Eigenschaften der Sugaringsregelungen werden durch die Quasikategorisierungen ausgedrückt.

(44)
jeder < Π: (X: set) ((X) prop) prop,
INDEF < ��: (X: set) ((X) prop) prop.

Wenn ein Ausdruck quasikategorisiert wird, wird �� immer für die unbestimmte Artikel erzeugt, weil eine Parsingsregelung sie in der gleichenförmigen Weise behandeln kann (siehe (40)c).
　Hier wird das Lexikon eingefiihrt. Die Terminologien sind ein Substantiv, ein Verb und ein Adjektiv und deuten die Ausdrücke für die Menge, die propositionale Funktion und die Funktion an, die ein Individum als den Wert bestimmt. Die lexikalischen Einträge zeigen auch die Sugaringsmuster N0, V1 und V2 usw.

(45)
Mann: Menge von N0
schlafen: (Mann) prop von V1
besitzen: (Mann) (Bleistift) prop von V2
jung: (Mann) prop von A1
Joachim: Mann von T0
Vetter: (Mann) Mann von T1.

Das Lexikon fordert, daß man die Menge “Mann” und die Funktion “schlafen” in einer angemessenen Weise definiert. Die typentheoretische Sprache wird nicht interpretiert wie die intensionale Logik in PTQ. Allerdings enthält das Lexikon die Operatoren ��, Π, pair, λ, p, q and pq in (32), (33), (34) und (35).
　Zudem werden noch zwei Operationen S und N definiert, die die propositionalen Ausdrücke der Typentheorien in der niedrigeren Ebene als die Argumente nehmen und sie in die Sätze und die Substantive zurückgeben. Zum Beispiel gibt es keinen Weg, der N ((Πx: A)B) ausführt. Wenn der Sugaringsprozeß zum Form weitergeht, muß man einen Weg finden, in dem S ((Πx: A)B) erscheint.
　Es handelt sich um das System der Sugaringsregelungen, das ein kleines Fragment (für die Hilfsregelungen) erzeugt. Die Bezeichnung [E/F] weist auf der Substitution des Ausdrucks E durch den Ausdruck F hin. Der Skopus ist der vorgehende Ausdruck, der durch die Klammern abgegrenzt wird. Die Bezeichnung {E, F, G} weist darauf hin, daß E, F und G alternativ sind.

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