Situation Semantics. Situation semantics is set off against the historical background provided by former important contributions to formai semantics such as Frege's, Russell ' s, Camap's, Hintikka's, Kanger's and Montague's. Føllesdal's distinction between opacity and intensionality is brought to bear on the issue. The traditional problem raised by the search for identification criteria for propositions is examined in the light of recent work done in model theory.