Russell, in his introduction to the Tractatus wrote-
Mr Wittgenstein’s Tractatus Logico-Philosophicus, whether or not it prove to give the ultimate truth on the matters with which it deals, certainly deserves, by its breadth and scope and profundity, to be considered an important event in the philosophical world. Starting from the principles of Symbolism
there are no such principles.
and the relations which are necessary between words and things
there are no necessary relations
in any language, it applies the result of this inquiry to various departments of traditional philosophy, showing in each case how traditional philosophy and traditional solutions arise out of ignorance of the principles of Symbolism
which don't exist
and out of misuse of language.
The above is an example of the misuse of language. Just because you can give a name to a thing doesn't mean that 'principles' regarding it exist. Also, if a thing is a traditional solution to something else, then it must have had some utility for some set of people. Another set may say 'but this is useless for our purpose! Thus, what you guys are up to is 'misuse''. But, this is merely a case of one man's meat being another man's poison.
The logical structure of propositions and the nature of logical inference are first dealt with.
Different people can have different logics for different purposes. If Logic logic 'exists in the world like zoology' maybe it has 'unicity'- i.e. a unique representation. But we can be sure it isn't whatever shite Russell & Witless were playing with.
Thence we pass successively to Theory of Knowledge, Principles of Physics, Ethics, and finally the Mystical (das Mystiche).
This was written in 1922 by which time all Physical theories and principles were known to have been overturned or . Ethically, Russell- a pacifist who had been sent to jail during the Great War- & Witless, who volunteered & spent time in the front-line- were on opposite sides. But it was the Bolshevik Revolution which had really shaken up notions of right and wrong.
In order to understand Mr Wittgenstein's book, it is necessary to realize what is the problem with which he is concerned. In the part of his theory which deals with Symbolism he is concerned with the conditions which would have to be fulfilled by a logically perfect language.
i.e.- a hypothetical language where the structure of a sentence mirrors the exact logical structure of the fact or thought it expresses. It has zero ambiguity, a strict one-to-one match between words and simple objects, and rules as precise as mathematics.
Sadly, it would be fucking retarded, not perfect in any way. By contrast, a magically perfect language- in which saying 'Shazam!' gives you super powers- would be totes cool.
There are various problems as regards language. First, there is the problem what actually occurs in our minds when we use language with the intention of meaning something by it; this problem belongs to psychology.
Neurology. The answer is different things happen to different people at different times. What gets reinforced is what is useful- i.e. has survival value.
Secondly, there is the problem as to what is the relation subsisting between thoughts, words, or sentences, and that which they refer to or mean; this problem belongs to epistemology.
No. It belongs to game theory. There are coordination & discoordination problems. Epistemology is merely a theory about knowledge. It isn't itself knowledge. Thus, if there were a perfect logical language, Epistemology would not be part of it. The wider problem of impredicativity would be explored by Godel, Church, Turing & Tarski. Russell & Witless never grasped this.
Thirdly, there is the problem of using sentences so as to convey truth rather than falsehood;
My farts convey the truth- which is that I have farted- without any problem at all.
this belongs to the special sciences dealing with the subject-matter of the sentences in question.
Getting closer to the truth may involve learning some 'special science'. Sadly, what Witless was up to wasn't science. It was stupidity.
Fourthly, there is the question: what relation must one fact (such as a sentence) have to another in order to be capable of being a symbol for that other?
Anyone can use anything to be a symbol of anything else. All that matters is whether the thing is useful.
This last is a logical question,
It really isn't. There can be a logic without the excluded middle- even if Russel thought it would be useless- and, it turns out, it can do pretty much anything any other logic can do.
and is the one with which Mr Wittgenstein is concerned.
The poor chap had probably lost his marbles during the war. A brother of his killed himself when his troops stopped talking orders. Unlike England, which could reform itself, Hapsburg Austia was fucked.
He is concerned with the conditions for accurate Symbolism,
as I am concerned with the conditions for accurate farting. If I could just get the composition of intestinal gasses right, I could transform the universe into one made entirely out of cheese-cake.
i.e. for Symbolism in which a sentence means something quite definite.
i.e. it turns into a fart of some type.
In practice, language is always more or less vague, so that what we assert is never quite precise.
It can be made as precise as we like in a protocol bound manner for some useful purpose. That is how the law works.
Thus, logic has two problems to deal with in regard to Symbolism: (1) the conditions for sense rather than nonsense in combinations of symbols;
Anyone is welcome to set such conditions for themselves. Thus, when my ex-wife said to me 'you have a tiny dick. Also, you smell bad. I am fucking the milk-man', I said 'how adorable you are when you babble nonsense!'
(2) the conditions for uniqueness of meaning or reference in symbols or combinations of symbols.
Which could be fulfilled if there is 'modal collapse'- i.e. there is only one possible world- in which case Godel's proof of God would be valid. But so would my proof that the Big Bang occurred because of a tachyonic fart I emitted in 1984 after drinking ten pints and eating a vindaloo.
A logically perfect language has rules of syntax which prevent nonsense, and has single symbols which always have a defunite and unique meaning.
Such a language could consist entirely of farts. That's not a good thing. The lesson of the 'monkey's paw' is 'don't wish for stuff which will turn out to be a fucking night-mare- e.g. wishing that your cat comes back to life & it does but it is a zombie cat which want to feed on human brains.
Mr Wittgenstein is concerned with the conditions for a logically perfect languagenot that any language is logically perfect, or that we believe ourselves capable, here and now, of constructing a logically perfect language, but that the whole function of language is to have meaning, and it only fulfils this function in proportion as it approaches to the ideal language which we postulate.
This is clearly false. Meaning is about reception which is about signal extraction. It is hermeneutic, not logico-deductive.
The essential business of language is to assert or deny facts.
In which case, what Russell & Witless were doing was no business of concern to language- or, for that matter, farting.
Given the syntax of a language, the meaning of a sentence is determinate as soon as the meaning of the component words is known.
Fuck off! There is such a thing as sarcasm.
In order that a certain sentence should assert a certain fact there must, however the language may be constructed, be something in common between the structure of the sentence and the structure of the fact.
What is the structure of the fact that I just farted?
This is perhaps the most fundamental thesis of Mr Wittgenstein's theory. That which has to be in common between the sentence and the fact
there is no such thing. Facts may have something in common and sentences may have something in common but there is nothing that facts and sentences have to have in common. A particilar 'intension' (like 'facts' meaning alethic propositions) may be subsumed by a broader intension ('facts' and 'value judgments' are subsumed under the broader 'intension' of 'propositions' ) but that intension may be trivial. What is common between a sentence and a fact is what is also common between them and the plaintive memory of a fart.
cannot, so he contends, be itself in turn said in language.
with equal truth, we may contend that language says nothing else save on those occassions when it so plaintive a memory of a fart that it fails to do so.
It can, in his phraseology, only be shown,
it can be displayed with no words spoken. But if the thing is being shown there is some type of language involved- perhaps that of gesture or, more commonly, the lifting of the skirt and the act of pointing to the vulva. As Tagore said 'I am a beggar maid who lifts her skirt to cover her head'. Sadly, having a great big beard is a disadvantage in that line of business.
not said, for whatever we may say will still need to have the same structure.
Even the worst grammar-Nazi accepts that a sentence can have no fucking structure and yet be meaningful.
The first requisite of an ideal language would be that
it had magical powers over things. Harry Potter & his friends keep using Latin phrases to cast spells. That's totes cool. If you don't know Latin, then playing with your wand is just masturbation. It isn't magic at all.
there should be one name for every simple, and never the same name for two different simples.
We are welcome to do this for any useful purpose of our own. Pharmacists have different names for the many different types of pills they dispence. But this is true of most inventories held by different types of enterprise.
The problem is that 'simples' are discovered not to be simple as time goes by and knowledge increases. The 'extension' corresponding to the 'intension changes. It may be that the 17 elementary particles known to the Standard Model are 'simples'. But we can't be sure there isn't something even more simple or elementary. Physics would not have been able to make progress if it had been confined to Witless's 'perfect' language'.
A name is a simple symbol in the sense that it has no parts which are themselves symbols.
Bertrand is derived from the Old German 'glorious raven'. Names can be simple or complicated.
In a logically perfect language nothing that is not simple will have a simple symbol.
Nothing known at the time actually was simple. Even now, we can't be sure elementary particles are truly elementary.
...Most propositions and questions that have been written about philosophical matters are not false but senseless.
One man's meat is another's poison. I don't understand a word of Chinese. This does not mean what Chinese people say to each other in their own language is senseless. Philosophical propositions are stupid, paranoid & false. They aren't senseless even if that is the intention. 'Green ideas sleep furiously' means something to me even if it was meant to mean nothing at all.
We cannot, therefore, answer questions of this kind at all, but only state their senselessness.
'Why are you such a cunt?' is not senseless even if it isn't a question I can answer.
Most questions and propositions of the philosophers result from the fact that we do not understand the logic of our language.
Language may have grammar and logic may be expressible in it, but no natural logic has a 'logic' anymore than it has a cousin who works as an Actuary in Vancouver.
... He compares linguistic expression to projection in geometry.
What we say may, in some sense, express our state of mind to some other person who knows us well. Thus, though Professor Russell gave exactly the same lecture today as he did this time last year, his TA could detect the sorrow & bitterness he was experiencing because of the untimely death of his goldfish.
A geometrical figure may be projected in many ways:
by people
each of these ways corresponds to a different language,
nope. They are all embedded in the same language- viz. that of diagrammatic geometry.
but the projective properties of the original figure remain unchanged whichever of these ways may be adopted.
It depends on whether the 'original figure' can itself do projective geometry. When I look in the mirror, that is what I am doing. I can change 'invariants'- e.g. remove a ketchup stain on my tie- in the projection by making changes on myself.
These projective properties
which exist only in the minds of mathematicians. High dimensional projective properties can give rise to positive geometries such that the physical properties of particles (like locality and unitarity) emerge naturally from purely geometric boundary properties.
correspond to that which in his theory the proposition and the fact must have in common,
which is nothing
if the proposition is to assert the fact.
The guy making the proposition is doing the asserting. Indeed, 'this is a proposition' is an assertion.
In certain elementary ways this is, of course, obvious.
It is obviously false because nothing we know is 'elementary'.
It is impossible, for example, to make a statement about two men (assuming for the moment that the men may be treated as simples), without employing two names,
One could say 'fat Vivek' as opposed to 'morbidly obese flatulent Vivek' which is what happens when us Viveks get together at the local branch of the Vivek Iyer society.
and if you are going to assert a relation between the two men it will be necessary that the sentence in which you make the assertion shall establish a relation between the two names.Russell and Alfred North Whitehead' treated relations as fundamental, primitive notions. Norbert Wiener realized that if you could define an ordered pair using only standard, unordered sets, then any binary relation could simply be defined as a set of these ordered pairs. Kuratowski simplified Weiner's notation in 1921. Weiner was Russell's student but Russel wasn't impressed. Russell continued to view relations as real, intensional properties existing in the world (e.g., "being to the left of"). He viewed Wiener’s definition as a clever mathematical trick rather than a true philosophical analysis of what a relation actually is.
... Mr Wittgenstein begins his theory of Symbolism with the statement (2.1): We make to ourselves pictures of facts.
We may do. Some people are good at visualisation. Others aren't.
A picture, he says, is a model of the reality, and to the objects in the reality correspond the elements of the picture: the picture itself is a fact.
A picture is a picture. That's a fact. We may say 'this photograph of x stabbing y establishes the fact that x killed y'. But we may be wrong. X wasn't stabbing Y. He was trying to perform a tracheotomy. Sady, Y choked to death. It was too late for X to save Y's life. This fact has been established by the medical examiner.
The fact that things have a certain relation to each other is represented by the fact that in the picture its elements have a certain relation to one another.
This 'relation' is an 'ordered pair'. It isn't some self-subsistent feature of reality. Weiner's 1914 result showed relations were set-theoretic. In other words, only the extension mattered. This made for ontological economy. You didn't have all sorts of intensions filling up reality. This got rid of the third man problem (Bradley's regress). The idealists were saying relations were logically impossible because if there is a relation then there must be another relation to relate it and another relation to relate the relating and so on ad infinitum. Russell & Whitehead didn't solve the problem but treated relations as primitives. But this would naturally give rise to a notion that strict limits on language should exist so that 'simples' stayed 'simples'. But this is like the Pythagoreans saying irrational numbers (literally 'surds') should not be spoken off!
Frege's approach (concepts are unsaturated or not determinate) led Witless in this direction. 'The concept horse is not a concept' shows that it is a concept precisely because it is unsaturated.
In the picture and the pictured there must be something identical in order that the one can be a picture of the other at all.
That may have been true of the pictures in the Royal Academy in the year Russell was born. But, the first Impressionist exhibition was held a couple of years later. By the time Russell wrote this, there were Cubists & Fauvists & Surrealists & so forth.
What the picture must have in common with reality in order to be able to represent it after its manner rightly or falsely is its form of representation (2.161, 2.17).
That's what it can't have save in the trivial sense that a picture is really a picture & reality is really reality, not a fucking picture at all.
We speak of a logical picture of a reality when we wish to imply only so much resemblance as is essential to its being a picture in any sense, that is to say, when we wish to imply no more than identity of logical form.
Russell's 'relation similarity' differs from our category theoetical isomorphism in that for the former there is a static colletion of elements whereas for the latter 'up to isomorphism' means two systems are different names for the same thing
The logical picture of a fact, he says, is a Gedanke.
Is that a fact? What is the logical picture of the logical picture that is a fact? Is it the Gedanke which farts itself?
Why did Russell give this shite the time of day? My theory is that Witless was the child G.E Moore & Russell had together. At one time, it seemed precocious- but there were signs all was not well with the little butt baby. Then it became a soldier & went round the twist in the trenches. Let's be nice to it, lest it blows its brains out.
Russel could see that Witless's notion of a number as the exponent of an operation meant his Logic couldn't handle Peano Arithmetic. Russel says Witless's system could be extended to transfinite numbers but this requires have to have quantification over infinite domains to get Peano induction. Thus Witless was a fucking retard with respect to Long Division which everybody else had mastered by about the age of 7.
More interesting than such questions of comparative detail is Mr Wittgenstein's attitude towards the mystical. His attitude upon this grows naturally out of his doctrine in pure logic, according to which the logical proposition is a picture (true or false) of the fact, and has in common with the fact a certain structure.
A fact differes from a deduction in that verification is not ratiocinative. We may be able to visualise certain facts but not others. Verification is a separate matter.
It is this common structure which makes it capable of being a picture of the fact,
even if is actually a fart
but the structure cannot itself be put into words,
only in the sense that only words can be put into words.
since it is a structure of words, as well as of the facts to which they refer.
This structure exists only in the mind that posits it. But a mind could equally posit all things as farts.
Everything, therefore, which is involved in the very idea of the expressiveness of language must remain incapable of being expressed in language,
because complex branching algorithms make Witless's tiny little brain hurt.
and is, therefore, inexpressible in a perfectly precise sense. This inexpressible contains, according to Mr Wittgenstein, the whole of logic and philosophy.
Not to mention long division.
The right method of teaching philosophy, he says, would be to confine oneself to propositions of the sciences, stated with all possible clearness and exactness, leaving philosophical assertions to the learner, and proving to him, whenever he made them, that they are meaningless.
Also, if a kid starts doing long division, teechur should beat the shit out of him. Had Ludwig remained an elementary school teacher in rural Austria, sooner or later, the villagers would have kicked his head in. The fucker lied on oath so as to avoid going to jail for his brutal beatings of village kids.
It is true that the fate of Socrates might befall a man who attempted this method of teaching, but we are not to be deterred by that fear, if it is the only right method
Witless was rich and well connected. Also he had no qualms about lying under oath. Still, if he had continued to teach kids, sooner or later their mothers would have smashed his head in. Cambridge had a duty to take this moronic sadist off the streets. The good thing about teaching muscular Cambridge blues is that. if you punch them with full force, they think you are trying to tickle them. Say what you like about the British Public School, it breeds thickos with proportionately thicker hides.
. It is not this that causes some hesitation in accepting Mr Wittgenstein's position, in spite of the very powerful arguments which he brings to its support. What causes hesitation is the fact that, after all, Mr Wittgenstein manages to say a good deal about what cannot be said, thus suggesting to the sceptical reader that possibly there may be some loophole through a hierarchy of languages, or by some other exit.
The saving grace of the aristocratic British thicko is that he had a sense of humour. Witless was like one of those Hindu Swamys who scolds you for being materialistic while demanding more and more money so as to be able to buy himself a fleet of Rolls Royce cars.
The whole subject of ethics, for example, is placed by Mr Wittgenstein in the mystical, inexpressible region.
Rather than the expressible region of the Law which says 'don't beat kids you worthless retard!'
Nevertheless he is capable of conveying his ethical opinions. His defence would be that what he calls the mystical can be shown, although it cannot be said.
The reverse is the case. What can be shown can always be said by a sufficiently skilled language user. G.E Moore, the Classicist, would call this 'ekphrasis'. Back in those days, there was no Pornhub, so people had to do with descriptions which, however, couldn't always be shown because of the anatomical limitations of the human body & the fact that octopuses really aren't that kinky.
Thus, what can be shown is a small proper sub-set of what can be said. Pretending otherwise is the mark of either a moron or a charlatan.
It may be that this defence is adequate, but, for my part, I confess that it leaves me with a certain sense of intellectual discomfort.
Not being allowed to do long division would impoverish our lives.
There is one purely logical problem in regard to which these difficulties are peculiarly acute. I mean the problem of generality. In the theory of generality it is necessary to consider all propositions of the form fx where fx is a given propositional function. This belongs to the part of logic which can be expressed, according to Mr Wittgenstein's system.
Brouwer, Heytig, Weyl etc. were showing that constructive math- a logic without the excluded middle- could do what any other math could do. Godel-Gentzen (or Kolmogorov) negative translation is the key.
But the totality of possible values of x which might seem to be involved in the totality of propositions of the form fx is not admitted by Mr Wittgenstein among the things that can be spoken of, for this is no other than the totality of things in the world, and thus involves the attempt to conceive the world as a whole; 'the feeling of the world as a bounded whole is the mystical'
Einstein was showing the universe is finite but unbounded. This wasn't mystical. It was mathematical.
hence the totality of the values of x is mystical (6.45).The word 'mysical' comes from the Greek 'mystikos' meaning "secret" or "concealed". But secrets can be revealed. I suppose, one could punish those who reveal secrets- like how to do long division- but the Mums of kids you punish may beat you to death.
This is expressly argued when Mr Wittgenstein denies that we can make propositions as to how many things there are in the world, as for example, that there are more than three.
Was Russell writing this with tongue in cheek?
These difficulties suggest to my mind some such possibility as this: that every language has, as Mr Wittgenstein says, a structure concerning which, in the language, nothing can be said, but that there may be another language dealing with the structure of the first language, and having itself a new structure, and that to this hierarchy of languages there may be no limit.
Tarski proposed the notion of 'meta-language' in 1931.
Mr Wittgenstein would of course reply that his whole theory is applicable unchanged to the totality of such languages. The only retort would be to deny that there is any such totality. The totalities concerning which Mr Wittgenstein holds that it is impossible to speak logically are nevertheless thought by him to exist, and are the subject-matter of his mysticism.
Why be mystical when it is more useful to be mathematical? God's economy (management of the world) may be mysterious, but our economics gains by being mathematical. Von Neumann's game theory turned out to be very useful. Witless's 'language-games' weren't useful at all.
The later Witless thought there were 'hinge propositions' - i.e. foundational, ungrounded background beliefs that stand fast for us and make all empirical inquiry, doubting, and rational justification possible.
Sadly, the fact that there is a door doesn't mean we have to believe it has hinges. It may be a sliding door or a big rock the cyclops rolls to block the entrance to his cave.
The totality resulting from our hierarchy would be not merely logically inexpressible,
if logic has unicity. It doesn't.
but a fiction, a mere delusion, and in this way the supposed sphere of the mystical would be abolished.
No mystery exists if you dogmatically assert 'the Butler did it'.
Such an hypothesis is very difficult, and I can see objections to it which at the moment I do not know how to answer.
There were smart people who were building on Russell & Whitehead's work who would provide the answers in the Thirties. Witless wasn't one of them.
Yet I do not see how any easier hypothesis can escape from Mr Wittgenstein's conclusions. Even if this very difficult hypothesis should prove tenable, it would leave untouched a very large part of Mr Wittgenstein's theory, though possibly not the part upon which he himself would wish to lay most stress. As one with a long experience of the dficulties of logic and of the deceptiveness of theories which seem irrefutable, I find myself unable to be sure of the rightness of a theory, merely on the ground that I cannot see any point on which it is wrong.
That point was that Logic doesn't have unicity. There are more logics than there are mathematicians though it is also true that, as Doestoevsky paraphrased Pascal, 'there are more monks than reason'.
But to have constructed a theory of logic which is not at any point obviously wrong is to have achieved a work of extraordinary difficulty and importance.
Not if it can't handle long division.
This merit, in my opinion, belongs to Mr Wittgenstein's book, and makes it one which no serious philosopher can afford to neglect.
We can't neglect Frank Ramsey who did a lot of the translating for the Tractatus. But we must shit on retards almost as stupid as ourselves.