Alle Wahrheitsbedingungen können durch eine Formel der Prädikatenlogik erster Stufe nicht ausgedrückt werden. Der Satz
(1) Hans Castorp sucht eine Frau,
hat nur eine Darstellung.
(2) (∃x) (Frau (x) und suchen (Hans Castorp, x))
Deswegen erweiterte Montague die Prädikatenrechnung für die intensionale Logik, in der die Referenz zur möglichen Welt gemacht werden kann und mit den willkürlichen Varianten verbunden werden kann. Dann hat der Satz (1) die Formalisierung (3).
(3) suchen (⌃Hans Castorp, ⌃P (∃x)(Frau* (x) und P {⌃x}))
Das wird als eine Lesart von “de dicto” angesehen. Neben der intensionalen Logik gibt es “analytische Bäume” in der Montague Grammatik. Im Formalismus der analytischen Bäume wird der Satz (1) in zwei Arten betrachtet wie folgt.
(4) F10.0 (F2 (Frau, F4 (Hans Castorp, F5 (suchen, he0))))
(5) F4 (Hans Castorp, F5 (suchen, F2 (Frau)))
Die Montague Grammatik ist generativ. Zuerst definiert sie die analytischen Bäume und erklärt, wie die Bäume in englische Sätze übersetzt werden. Dieser Prozeß, der ein Gegenteil von “Parsing ist, heißt “Sugaring” in der Computerlinguistik.
花村嘉英（2005）「計算文学入門－Thomas Mannのイロニーはファジィ推論といえるのか？」より