Books on Amazon
Situation semantics/Barwise/Perry/Hintikka: situation semantics is not so far away from the semantics of possible worlds.
Possible worlds/Hintikka: possible worlds are often more like situations, they are not always closed worlds. They are rather event progresses in a small corner of the universe and related to situations.
Difference: alternative situations could occur in one and the same world.
Situation semantics/Hintikka: situation semantics is not a serious rival of the semantics of possible worlds.
Situation semantics/Barwise/Perry/B/P/Hintikka: their situation semantics is a welcome addition to the semantics of possible worlds.
Situation/Hintikka: an interesting question is how small egocentric situations can be put together to form a larger comprehensive "world view".
Relations: There should be at least three types of relations between situations:
3. the distinction between fine-grained and coarse-grained situations.
It is best to study these separately.
Situation semantics/Barwise/Perry/Omniscience/Hintikka: how can situation semantics solve the problem of logical omniscience?
Barwise/Perry: give the following example:
(1) a sees how b X-t
(2) a sees how b Y-t
If X-en implies logically, to Y-en. ((s) e.g. to go, to move).
Solution/Barwise/Perry: they assume that there are richer and poorer situations and relations between them.
HintikkaVsBarwise/HintikkaVsSituation semantics/Hintikka: but this is not a triumph over the semantics of possible worlds, for two reasons:
1. because it is now about the relation fine/coarse (fine-grained/coarse-grained), it is nothing with which the semantics of possible worlds has to do.
2. The semantics of possible worlds has solved the problem by Rantala's urn models (changing worlds depending on whether drawn balls are returned or not).
Barwise/Perry: they consider only instances of omniscience, which arise through the introduction of new descriptive terms into the conclusion,...
...and go beyond what is mentioned in the premises.
Hintikka/Rantala: we have both looked at cases which require the introduction of new individuals in order to ensure the validity of the inference.
(3) Robert saw someone giving each boy his own book.
(4) Robert saw every boy how a book was given him by someone.
Question: entails (3) logically (4)?
Situation semantics/Barwise/Perry: according to situation semantics, yes it does.
Semantics of possible worlds/Hintikka: according to semantics of possible worlds it is at least questionable.
Jaakko and Merrill B. Hintikka
The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989
J. Hintikka/M. B. Hintikka
Untersuchungen zu Wittgenstein Frankfurt 1996