And, despite appearances, this is not a work of rationalism at all: it only reduces everything to logic in order to show up logic. But in the process of trying I came up with cool drawings of some of it.
Don't take these too seriously, as the Austrian said to the Welshman.
- I couldn't draw. Still can't, but now I have TiKZ and matplotlib to produce beautiful vectors, where he had only MSPaint.
- The central conceit, taking "zeigen" to mean visualisation, is not what he means by that.
- Wittgenstein is not an empiricist about number, so image 6.02 is beautiful but wrong.
- The examples of states of affairs I give (giving birth) are highly metaphorical; Wittgenstein's "objects" are infinitesimal things, "atomic" in the Greek sense. I think "redness" might be one. The simplest possible units of what constitute facts.
Wittgenstein does not, however, relegate all that is not inside the bounds of sense to oblivion. He makes a distinction between saying (sagen) and showing (zeigen) which is made to do additional work.
There are, beyond the senses (Sinne) that can be formulated in sayable propositions, things that can only be shown. These show themselves in the form of (contingent) propositions, in the symbolist and logical propositions, and even in the unsayable (metaphysical, ethical, aesthetic) propositions of philosophy. 'What can be shown cannot be said.' But it is there, in language, even though it cannot be said.
A 'picture' is a model of reality... A picture cannot depict its pictorial form: it displays it.
Sketches of a minimalist metaphysics: “the most that can sensibly be said” about everything at once, and then some. A work of theoretical semantics which invites the reader to read it as a poem, and to reject it. I wanted this post to be wordless, but you won’t get much out of it if I don’t do some setup. A version with the German original and both flawed English translations is here.
The whole Tractatus
- Reality is the aggregation of everything which could be real.
- What is real are facts. A fact is a specific configuration of existing fundamental things.
- When we think, we model a possible world. The structure of the model is logic.
- When we think properly, we are entertaining a premise with a determinate concept attached.
- Whether a statement is successful depends on whether its constituents are.
- All statements have the same structure. With one general formula (just one powerful function, the "N-operator", the denial of all propositions f[x]), you can derive the fundamental particles of language and, from there, all more complex statements. The formula of an ideal language:
- There is more to all this than can be put in words.
- 'Sachverhalt': A 'state of affairs' or 'atomic fact'. (see Proposition 2.)
- 'Gegenständ': An 'object' or 'simple': the merest constituents of reality.
- 'Satz': A sentence (...or 'proposition').
- 'Elementarsatz': A fundamental particle of language; a primitive concept. Mirror the Gegenstände.
- 'Sinn': A 'sense', which here means a determinate proposition: the truth-conditions of a sentence.
- 'sinnlos': 'Meaningless'. Lacking a single, totally clear propositional content. (e.g. tautologies and contradictions).
- 'unsinnig': 'Senseless'. Total nonsense; a sentence which is too malformed to ever carry sense (e.g. metaphysics, ethics, the Tractatus)
- 'Gedanke': A thought - but, again, he means only clear, 'sinnvoll' thoughts.
- The Context Principle: "A [word] has meaning only in a proposition. Every variable can be conceived as a propositional variable." - 3.314
- The false (falsch) is not the nonsensical (Unsinnig) is not the senseless (Sinnlos): "Sense must be determinate." - 3.23.
Statements fail to express thoughts when
- any constituent of them lacks a truth-value, or
- is of indeterminate sense - that is, when any constituent is a pseudo-concept (e.g. "world"; "fact"; "God"; "object"; "the Good"; "beauty").
The overall argument
Logic is Transcendental
"Logic is not a body of doctrine, but a mirror-image of the world." - 6.13
Language is logical
(proper sentences about proper things have reducible logical structure.)
- So language is transcendental.
The logical structure of language has "multiplicities" which relate directly to the external world, or, to the true barebones meaning of statements. This explains everything which is clear and determinate, and everything else about life cannot be explained in language, so there's no point doing philosophy about it.
4.003 - Most of the propositions and questions to be found in philosophical works are not false but nonsensical.
1. The world is all that is the case.
2. What is the case is the existence of states of affairs
2.141 - A picture is a fact.
2.172 - A picture cannot depict its pictorial form: it displays it.
2.19 - Logical pictures can depict the world.
2.223 - In order to tell whether a picture is true or false we must compare it with reality.
2.224 - It is impossible to tell from the picture alone whether it is true or false.
3. A logical picture of facts is a thought.
3.1 - In a proposition a thought finds an expression that can be perceived by the senses.
3.3 - Only propositions have sense; only in the nexus of a proposition does a name have meaning.
3.332 - No proposition can make a statement about itself, because a propositional sign cannot be contained in itself.
4. A thought is a proposition with a sense.
4.0031 - All philosophy is a 'critique of language'. The apparent logical form of a proposition need not be its real one.
4.11 - The totality of true propositions is the whole of natural science
4.461 - Propositions show what they say; tautologies and contradictions show that they say nothing.
4.464 - A tautology's truth is certain, a proposition's possible, a contradiction's impossible.
5. A proposition is a truth-function of elementary propositions.
5.6 - The limits of my language mean the limits of my world.
5.61 - We cannot think what we cannot think; so what we cannot think we cannot say either.
5.621 - The world and life are one.
5.63 - I am my world. (The microcosm.)
5.632 - The subject does not belong to the world but it is a limit of the world
6. Truth-functions and propositions have the same general form
6.2 - Mathematics is a logical method.
6.21 - A proposition of mathematics does not express a thought.
6.41 - The sense of the world must lie outside the world.
6.431 - At death the world does not alter, but comes to an end.
6.4311 - Death is not an event in life: we do not live to experience death.
6.44 - It is not how things are in the world that is mystical, but that it exists.
7. Whereof we cannot speak, thereof we must be silent.
All the things in these pictures can easily be said: they all fit into a set of propositions (albeit a self-refuting set): it’s called Tractatus Logico-Philosophicus. Drawing is only a kind of saying; the kind of reference that he means by zeigen is less concrete and more important than this.