At 2.182, Wittgenstein says: “Every picture is also a logical picture. (On the other hand, for example, not every picture is spatial.)”
I can imagine someone worrying that this might be an oversimplification of some kind. For example, people have sometimes debated whether ‘quantum logic’, which is a sort of probability logic, should be the ‘true logic’, since physics tells us that there are some systems in which ‘particle P is at (x,y,z)’ (all of this is itself grossly oversimplified, but never mind) is ‘neither true nor false’ but only probable to such-and-such a degree.
“The cat is on the mat” asserts a spatial relationship between two extended things. If Wittgenstein is right it also asserts a ‘logical’ relationship between them. But in what does that ‘logical’ relationship consist?
The right answer here, surely, is that all it consists in is the cat’s being on the mat. “The proposition is a picture of reality, for I know the state of affairs presented by it, if I understand the proposition.” (4.021)
The geometry, physics, biochemistry, evolution, embedded cognition, etc. of cats on mats might be enormously complicated. Perhaps there are lots of interesting things to study here. But those details don’t really matter to the proposition’s being a logical picture.
“The proposition shows its sense. The proposition shows how things stand, if it is true. And it says, that they do so stand.” (4.022) Sense, or ‘how things stand if it is true’, is not something which itself has any representation for Wittgenstein in the Tractatus. Likewise the picture’s form of representation: it is not itself represented. There’s nothing ‘in virtue of which’ a proposition is a logical picture of the facts. It is a logical picture of the facts – even, in a way, by virtue of representing them – but there is no ‘representation-relation’, or even a nontrivial second-order fact that such-and-such is a representation, picture, etc.
The key to understanding how this can be so for Wittgenstein is in the way he thinks about sense (Sinn), about which I am preparing a post. Because of the tight link between propositions, thoughts, pictures, and facts they don’t come apart for Wittgenstein in the way that they do for most philosophers. It’s in a way a result of this that there’s nothing to be represented here. But more on that anon.
In any case, it’s a logical picture just because it’s a picture, and the way in which it pictures isn’t relevant to its logical picturing. Logic leaves the facts and our means of representing them off to one side. What matters to logic is just that the picture could apply to reality or fail to do so.
This is connected to something he said later, in 1931:
“When I ‘have done with the world’ I shall have created an amorphous (transparent) mass and the world in all its variety will be left on one side like an uninteresting lumber room. Or perhaps more precisely: the whole outcome of this entire work is for the world to be set on one side. (A throwing-into-the-lumber-room of the whole world.)” (Culture and Value, 9e)
This is quite a striking remark, and in a way cuts against my bit about ‘turning off the TV and going outside’ in the “True but Nonsensical” post from August 31, 2013. The assumption made there is that showing that the terms in which we philosophize are inevitably nonsensical would serve to render the pursuit of philosophy valueless. But this is a bad assumption, privileging product over process. If “the logical clarification of thoughts” (4.112) is what is wanted, then kites and chemical reactions aren’t so much of interest after all.
But let’s get back to quantum logic. We might, as many physicists seem to think, have to employ a notion of ‘chance’ as fundamental in our physical representations of the universe. But even if so this would not make much of a difference for logic as Wittgenstein understood it. We might for example move the probabilities into the propositions, so that “there is a q% chance that particle P is at (x,y,z)” is either true or false, that being the sort of proposition that we can confidently apply to the world on the basis of current theory.
The question which gave rise to this post, though, is – how do we know that’s always something we can do? Can we always reduce the things we say about the world to pictures which either apply or do not apply to reality?
The answer that Wittgenstein gives, roughly, is something like this: if a proposition isn’t a picture, it’s without sense, and we don’t need to worry about it. If it is a picture, it’s also a logical picture, and then it either applies or it doesn’t. No matter how fantastically complex the picture is, this will be the case.
This seems like a plausible claim to me. But do we have to accept it? Are there other options?
When I first started writing this post I was wondering if there were very complicated sorts of facts that were on the one hand so interconnected that you couldn’t break them out cleanly from one another, but on the other hand individually expressible independent of those interconnections. But now that I’ve finished writing the post the sentence I just wrote really reads like nonsense to me. It seems to be asserting that a fact could be atomic and compound at the same time, or that we could have big pictures which both could and couldn’t be broken into smaller pictures. Which, um.
Have I achieved clarity? Or just drunk the kool-aid? Inquiring minds want to know.