Correction: (max 500 charact.)
The complaint will not be published.
II 57
Opacity/Frege/identity/opaque context/Hintikka: Frege was involved in the failure of the (substitutability in identity) ((s) that is, that the individuals may have different names) and not in the failure of the existential generalization. ((s) That is, the individuals may not exist.)
>
Existential generalization , >
Substitution , >
Substitutability .
Hintikka: therefore we need different additional premises.
Semantics of possible worlds:
Substitutability in identity: here, for substitutability in identity, we need only the assumption that we can compare the referents of two different terms in every world.
Existential generalization: here we must compare the reference of one and the same term in all worlds.
Frege/Hintikka: it seems now that Frege could still be defended in a different way: namely, that we now quantify via world lines (as entities). ((s) This would meet Frege's Platonism.)
II 58
World Lines/Hintikka: world lines are somehow "real". Are they not somehow like the "Fregean senses"?
HintikkaVs: it is not about a contrast between world-bound individuals and world lines as individuals.
World Lines/Hintikka: but we should not say that world lines are something that is "neither here nor there". To use world lines is not to reify.
Solution/Hintikka: we need world lines because without them it would not even make sense to ask whether a resident of a possible world is the same as that of another possible world ((s) cross-world identity).
II 59
World Line/Hintikka: we use the world line instead of Frege's "way of giving".
HintikkaVsFrege: his mistake was to reify the "way of givenness" as "sense". They are not something that exists in the actual.
Quantification/Hintikka: therefore, we do not have to ask in this context "about what do we have to quantify"?
>
Quantification .