Hallo!
In meiner Diss will ich zwei ganz verschiedene künstliche 'intensionale Sprachen' vorstellen und dann für mein semiotisches Thema (Explikation von Bildbegriffen auf der Basis von Zeichenbegriffen) bei Explikationen anwenden. Die erste ist Montague-style und Standard. Die zweite will ich wenigstens 'umreißen' - mehr wohl nicht, denn da habe ich folgendes Problem: Man gewinnt beim Lesen der Bealerschen Beschreibungen ("Quality and Concept" 1982, "Property Theories" 1989 mit Uwe Mönnich) sehr schnell einen intuitiven Eindruck davon , wie es gehen soll. Aber die Beschreibungen bestimmter syntaktischer Operationen (Konjunktion, Existenzialisierung, ... , Prädikation, ...) haben es in sich und weichen 1982 und 1989 auch - wohl nicht ohne Grund - voneinander ab. Der Teufel steckt im Detail, und ich frage mich, ob sich jemand mit diesen Operationen genauer befasst hat! Kennt sich da jemand aus?
Gruß, kunnukun