シナジーのメタファー１

　Wollen wir hier die intuitionistische Grammatik für das deutsche Fragment betrachten. Die Grammatik besteht aus manchen Komponenten. Zuerst das Lexion, das den grundlegenden Ausdrücken die Kategorie zuweist. Ferner die kategoriale Grammatik, die aus den Regelungen der intuitionistischen und typentheoretischen Formalismus besteht. Schließlich die Sugaringsregelungen, durch die sich die Ausdrücke des Formalismus zu den deutschen Wörtern verwandeln können.
　Die Sugaringsregelungen sind überhaupt nicht eins zu eins. Im allgemeinen kann ein formaler Ausdruck durch die Sugaringsregelungen in viele alternativen deutschen Ausdrücke bearbeitet werden. Einerseits gibt es gleichbedeutende Ausdrücke. Andererseits gibt es ambige Ausdrücke. Es ist doch zu bemerken, daß das Synonym keine äquivalente Beziehung zwischen deutschen Sätzen ist, weil es folgende Beispiele geben mag.

(36)
F>E und F>E', aber nicht F>EW'';
F'>E' und F'>E'', aber nicht F'>E.

E und E' sind gleichbedeutend, und E' und E'' sind auch so, aber E und E'' sind nicht so.

(37)
F = (�肺: Frau) (Πy: Mann) lieben (x, y).
F’ = (Πy: Mann) (�肺: Frau) lieben (x, y).
E = Hier ist eine Frau, die jeden Mann liebt.
E' = Eine Frau liebt jeden Mann.
E'' = Wenn ein Mann hier ist, ist eine Frau da, das ihn liebt.

(38)
Lexikon　→　Formalismus　 →　Deutsch
Kategoriale Grammatik 　Sugaring

　Die Grammatik (38) kann mit der Struktur der PTQ Grammatik vergleicht werden. Die syntaktischen Regelungen der Montague Grammatik spielen eine Doppelrolle wie (i) Verbindung der grundlegenden Ausdrücke mit den Analysenbäumen und (ii) "Sugaring" der Analysenbäume ins einfache Deutsch.

(39)
　 　　　　　 S-Regelungen (i) 　S-Regelungen (ii)
Grundlegende Ausdrücke 　→　Analysenbäume　→　 Deutsch
　　　　　　　　　　　　　　 ↓　　
　　Übersetzung 　 Intensionale Logik

　Der Unterschied besteht darin, daß es nur einen Formalismus gibt, der auf den Sugaringsregelungen und den Bedeutungsausdrücken beruht. Wenn ein logischer Formalismus als die Grundlage der Erzeugung der deutschen Sätze verwendet wird, kann die Erzeugung die effektiven semantischen Bedingungen der Wohlgeformtheit bilden.

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