Unklarheiten

Hallo

Dass das Substantiv im Satz „Peter verliess das Haus“ nicht als Individuenkonstante formalisiert wird, leuchtet mir mittlerweile ein. Ich frage mich allerdings, wie man „das Haus“ formalisieren müsste, wenn man sagen würde, dass das Haus gross sei.

Ferner verstehe ich nicht, weshalb man „Ein Frosch überquert die Strasse“ (Beispiel vom letzten Jahr) so formalisiert: ∃x(Px ⋀  Qxa). Wieso stellt „die Strasse“ in diesem Fall ein Individuum dar? Damit könnte schliesslich irgendeine Strasse gemeint sein, und nicht etwa die Rämistrasse oder die Albisstrasse. Das Gleiche gilt meiner Meinung nach für das Beispiel „Der Fernseher ist defekt und brummt laut, sobald man ihn einschaltet“. Wieso wird hier „der Fernseher“ mit einer Individuenkonstante übersetzt?

Vielen Dank und liebe Grüsse