(03.07.2012, 14:55:10)Sebastian schrieb: (28.06.2012, 09:37:53)hazde schrieb: Orientieren sollen wir uns dabei an der Übersetzung von ein-Num / genau eins.
Es würde helfen, wenn du die Übersetzung davon mal posten könntest. Es liest sich so, als ob ihr die gegeben bekommen habt.
Vielleicht:
ʎQ∃xy∀z {Qx ∧ Qy ∧ ¬ (x=y) ∧ [Qz ⊃ (z = x) ∨ (z = y)]} ,
wobei "Q" vom Typ (e,t) ist und die Variablen "x", "y" und "z" vom Typ e sind.
Der gesamte Ausdruck ist vom Typ ((e,t),t), ergibt also mit einem Ausdruck des Typs (e,t) einen Ausdruck des Typs t. Beispiel:
"Genau zwei Hunde hecheln." Ein Relator des Typs (e,t), der "ist Hund und hechelt" entspricht, etwa "H", könnte "Q" ersetzen. Dann:
∃xy∀z {Hx ∧ Hy ∧ ¬ (x=y) ∧ [Hz ⊃ (z = x) ∨ (z = y)]} Das hätte die Wahrheitsbedingung, dass genau zwei Hunde hecheln.
Guckstu auch Carnap zur Bedeutung von "Es liegen genau zwei Bücher auf diesem Tisch":
https://www.youtube.com/watch?v=27wrZpGZcBg
