[Sem] Typenlogische Formel

[hazde]

Aufgabe ist es, eine Übersetzung von

zwei-Num / d.h. genau zwei

in der typenlogischen Schreibweise anzugeben.
Orientieren sollen wir uns dabei an der Übersetzung von ein-Num / genau eins.

Hat jmd. ne Idee?

[janwo]

Hm. Ich nicht.
Kannst Du die Frage vielleicht etwas ausführlicher stellen?

[Sebastian]

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.

[kunnukun]

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