Kripke-Semantik

II.
Ganz korrekt ist der Eintrag falsch.
Es müsste w|- a laute. Die Aussage a wird nicht gefolgert, sondern abgelautet. Da die Aussage in Welt w entweder erfüllt ist oder nicht. Ist sie erfüllt, gilt w|- a, da man aus einer Menge von Aussagen a_1, a_2, ... a_n natürlich a_2 herleiten kann. Dies ergibt sich aus dem Gesetz der Identität, dem Axiom dass a -> a unter allen Umständen.
Ist a dagegen nicht der Fall in w, so gilt: w |/- a oder w|- ¬a.

Außerdem muss natürlich zwischen der aktualen Welt w` und den verbundenen Welten w_1, w_2 etc. unterschieden werden. Wir betrachten welche Folgerungen für w` gelten.
Die aktuale Welt ist die Realität wie sie tatsächlich vorliegt.