Correction: (max 500 charact.)
The complaint will not be published.
Hintikka I 73
Ontology/Possible Worlds/Tractatus/Wittgenstein: the objects remain the same - no matter how different a world is in relation to our actual world. ((s) See also the distinction
S4/S5 ; see
systems .
I 172
Ontology/Tractatus/VsWittgenstein/Hintikka; contains no functions as basic concepts. - Hintikka: because of Wittgenstein's interpretation of identity. See
Identity/Wittgenstein ,
Functions/Wittgenstein , >
Objects , >
Identity , >
Concepts , >
Possible Worlds .
I 30
Grammar/Hintikka: in a logically analyzed language, the grammar corresponds to ontology. >
Grammar .
I 73 et seqq.
Existence/Ontology/Tractatus/Wittgenstein/Hintikka: unlike Frege, Wittgenstein envisages an ontology of possible facts in the Tractatus.
According to Wittgenstein, it makes little sense to talk about a possible existence. This means that we have to understand the actual objects as if everyone existed with necessity. Necessity/Wittgenstein.
I 123
Ontology/Tractatus/Wittgenstein/Hintikka: Wittgenstein's basic ontology is the same as the one by Frege. As far as the connectives are concerned, there is complete agreement. That Wittgenstein invented the truth functions is often falsely claimed.
I 124
Heijenoort/Hintikka: proves the truth functions of Frege as implicit. The sentence is the expression of his truth conditions. Because of his thesis of the inexpressibility of semantics, he does not establish a theory of truth functions.
Ontology/Negation/Hintikka: ...this means that the negation is ultimately eliminated from the ontology and semantics of the Tractatus.
I 172
Ontology/Tractatus/VsWittgenstein/Hintikka: another objection is that Wittgenstein's Tractatus ontology contains no functions among the undefined elements (in contrast to properties and relationships).
Hintikka: the reason is probably his interpretation of the identity in the Tractatus, which makes it difficult to identify functions in the usual way as relations whose last relation is clearly determined by the choice of the other values.
- - -
III 142
Ontology/Tractatus/Wittgenstein/Flor: must consist of an absolute determination of what is conceivable and possible.
- - -
VI 63
Tractatus/Schulte: no systematic representation of an ontology, or treatise on logical syntax.