Sematik II

Noch ein Beispiel:
||grinst(Allison)|| = 1
Modelle
s: Allison grinst.
gdw. ! Allison $ ||grinst||
1) Gibt es überhaupt ein Individuum Namens Allison?
Ja, denn:! ||Allison||(M)={Allison}
2) Ist Allison in der Menge der Grinsenden?
Nein: ! ||grinst||(M)={Peter, Inga, Hans, Jessica}
Also: ||grinst(Allison)|| = 0
Modelle
Man könnte nun auch so Aussagen machen, wie:
s: Alle Männer schlafen.
t: Jemand smst.
Ein schneller Blick in unsere Welt M zeigt, dass beide
Aussagen falsch sind.
Aber wie wird das formal “errechnet”?
Noch ein Beispiel:
||smst(Anjum)|| = 1
Modelle
s: Anjum smst.
gdw. ! Anjum $ ||smst||
1) Gibt es überhaupt ein Individuum Namens Anjum in unserer
Welt M?
Nein:! ! ||Allison||(M)={Allison}, ||Hans||(M)={Hans},
! ! ||Heinrich||(M)={Heinrich}, ||Inga||(M)={Inga},
! ! ||Jessica||(M)={Jessica}, ||Klaus||(M)={Klaus},
! ! ||Peter||(M)={Peter}, ||Susanne||(M)={Susanne}
Also: ||smst(Anjum)|| = 0
Modelle
Hier nochmal unsere kleine Welt, die Welt M:
Prädikate:
||grinst||(M)={Peter, Susanne, Inga, Hans, Jessica}
||smst||(M)={Susanne, Klaus}
||schläft||(M)={Allison, Heinrich}
||weiblich||(M)={Allison, Inga, Jessica, Susanne}
||männlich||(M)={Peter, Hans, Klaus, Heinrich}
||Konstanzer||(M)={Peter, Susanne}