Bedeutung von "thirteen"

Hallo Leute,

ich habe hier eine Aufgabe, die ich nicht ganz verstehe:

Geben Sie die Extension von "thirteen" wie in
Thirteen birds watched Bob
an und nutzen sie diese, um die Wahrheitsbedingungen des Satzes zu berechnen.
Ignorieren Sie das Tempus.


Was würdert ihr sagen, ist hier die Extension von "thirteen"?

Ich habe Angst, zu einer nervigen Schreibarbeit anzuregen, die der Aufgabensteller womöglich gar nicht im Sinn hatte. Aber eine gängige Methode wäre die nach
https://www.linguisten.de/Thread-Typenlogische-Formel
-> nur zur Andeutung der Richtung:

Es gibt etwas x1 x2 x3 c4 x5 x6 x7 x8 x9 10 x11 12 x13 derart, dass
xi ist ein Vogel und betrachtete Bob (bzgl. aller i zwischen 1 und 13)
und
xi und xj sind nicht identisch (bzgl aller verschiedenen i und j)
(für i bzw. j sind Zahlen zwischen 1 und 13 einzusetzen)

Dann ist noch die Frage offen, ob genau 13, mindestens 13, höchstens 13. :(
Ist derartiges gemeint?

Ich vermute schon, dass genau 13 gemeint sind.
Aber ich versteh nicht ganz deine Angabe, das ist doch keine Extension oder?
Ich glaube für die Wahrheitsbedingung des Satzes müssen wir dann die Elemente explizit auflisten und sozusagen immer kürzen, bis das Ergebnis vollständig da steht.
Aber ich bin mir nicht ganz sicher und kann mir nicht ganz vorstellen, wie da die Lösung aussehen soll...

Ich habe mich noch einmal erkundigt, es soll "mindestens 13" heißen.

"das ist doch keine Extension oder?"
Kommt darauf an, was man damit meint. I. w. S. wird manchmal alles, was in die Berechnung eines Wahrheitswertes einfließt, als Extension bezeichnet. Wenn dann eine Intension Argument einer Funktion ist, ist sie i. w. S. auch Extension.;) So mag man eine Intension als Extension des "dass"-Satzes in dem Satz "Egon glaubt, dass es regnet" auffassen und klassischerweise annehmen, dass "glaubt" hier eine zweistellige Beziehung zwischen Glaubendem und geglaubter Intension bezeichnet.

"Mindestens drei Pferde schwitzen."
Es gibt ein x1 und es gibt ein x2, und es gibt ein x3, so dass:
x1 ist ein Pferd und schwitzt und
x2 ist ein Pferd und schwitzt und
x3 ist ein Pferd und schwitzt
und
x1 ist nicht identisch mit x2 und
x1 ist nicht identisch mit x3 und
x2 ist nicht identisch mit x3

(Entsprechendes für 13)