§3. The Irreducibility of the Categories

86. The answer to all such arguments is that no desire can possibly desire its own satisfaction, no judgment can judge itself to be true, and no reasoning can conclude that it is itself sound. For all these propositions stand on the same footing and must stand or fall together. If any judgment judges itself to be true, all judgments — or at least all assertory judgments — do so likewise; for there is no ground of discrimination between assertory judgments in this respect. Either therefore the judgment, J, and the judgment »I say that J is true« are the same for all judgments or for none. But if they are identical, their denials are identical. But their denials are respectively »J is not true« and »I do not say that J is true,« which are very different. Consequently no judgment judges itself to be true. All that J does is to furnish a premiss which is complete evidence warranting my assertion in another judgment that J is true. It is important to draw this distinction. The judgment J may, for example, be that »Sirius is white.« That is a judgment about Sirius. To myself who perceive myself making this judgment, or to another who hears me assert it and admits my veracity, the evidence is complete that I believe Sirius to be white. But the two propositions »Sirius is white« »I judge that Sirius is white« are two distinct propositions.

There are precisely analogous distinctions in the other cases. I may desire that my sick child should recover, and afterwards reflecting upon the intensity of that desire, I probably shall be unable to refrain from desiring that that desire should be gratified. But I cannot desire that a desire of mine should be gratified unless I already have such a desire; and I have no such desire as long as I am yet in the act of forming the desire, so that the desire is not yet complete. I dare say that some people's psychical disposition is such that they have no sooner formed a strong desire than their thoughts take a subjective turn and they forthwith begin to think what satisfaction it would give them if that desire were gratified, and such people find it difficult to conceive that there are other people whose thoughts follow a train of objective suggestions and who think very little about themselves and their gratifications. That is just one of those respects in which different people may be expected to differ widely. But in no case is the desire absolutely the same as the desire of the satisfaction of that desire.

87. To return, then, to Sigwart's argument, I not only deny what he asserts that when I make an inference I can only do so because of a certain feeling of logical satisfaction that is connected with doing so, but I maintain that I never can draw an inference because of such a feeling. On the contrary, I never know the inference will afford me any such satisfaction except by a subsequent reflexion after I have already drawn it. It may be that on recognizing the satisfaction the inference gives me I shall consider that as an additional reason for believing in it. But this is another inference which in its turn will afford a new gratification if I stop to reflect about it.

In point of fact it is a serious error of reasoning to regard the sense of logicality as anything more than a tolerably strong argument in favor of the soundness of an inference. For although no doubt the sense of logicality carries men right in the main, yet it very frequently deceives them.

But Sigwart's argument is plainly either wholly fallacious or else what it proves is that which he himself distinctly maintains that it proves, namely, that the soundness of an argument consists in nothing but the Gefühl of logicality. Yet this is a downright absurd position for a logician to take; since, if it were true, there could be no such thing as sincere reasoning that was illogical, and logic, as the criticism of arguments and discrimination of the good from the bad, would have no existence at all; and my sincere argument that Sigwart is wholly in the wrong would be a decision from which there would be no appeal.

If the Holy Father by virtue of his infallibility were to command the faithful to believe that everything that any protestant had ever said was ipso facto necessarily true, it could hardly strain one's assent more.

88. It is certainly hard to believe, until one is forced to the belief, that a conception, so obtrusively complex as Thirdness is, should be an irreducible unanalyzable conception. What, one naturally exclaims, does this man think to convince us that a conception is complex and simple, at the same time! I might answer this by drawing a distinction. It is complex in the sense that different features may be discriminated in it, but the peculiar idea of complexity that it contains, although it has complexity as its object, is an unanalyzable idea. Of what is the conception of complexity built up? Produce it by construction without using any idea which involves it if you can.

89. The best way of satisfying oneself whether Thirdness is elementary or not — at least, it would be the best way for me, who had in the first place a natural aptitude for logical analysis which has been in constant training all my life long (and I rather think it would be the best way for anybody provided he ruminates over his analysis, returns to it again and again, and criticizes it severely and sincerely, until he reaches a complete insight into the analysis) — the best way, I say, is to take the idea of representation, say the idea of the fact that the object, A, is represented in the representation, B, so as to determine the interpretation, C: to take this idea and endeavor to state what it consists in without introducing the idea of Thirdness at all if possible, or, if you find that impossible, to see what is the minimum or most degenerate form of Thirdness which will answer the purpose.

Then, having exercised yourself on that problem, take another idea in which, according to my views, Thirdness takes a more degenerate form. Try your hand at a logical analysis of the Fact that A gives B to C.

Then pass to a case in which Thirdness takes a still more degenerate form, as for example the idea of »A and B.« What is at once A and B involves the idea of three variables. Putting it mathematically, it is Z = XY, which is the equation of the simpler of the two hyperboloids, the two-sheeted one, as it is called.

Whoever wishes to train his logical powers will find those problems furnish capital exercise; and whoever wishes to get a just conception of the universe will find that the solutions of those problems have a more intimate connection with that conception than he could suspect in advance.

90. I have thus far been intent on repelling attacks upon the categories which should consist in maintaining that the idea of Reaction can be reduced to that of Quality of Feeling, and the idea of Representation to those of Reaction and Quality of Feeling taken together. But meantime may not the enemy have stolen upon my rear, and shall I not suddenly find myself exposed to an attack which shall run as follows:

We fully admit that you have proved, until we begin to doubt it, that Secondness is not involved in Firstness nor Thirdness in Secondness and Firstness. But you have entirely failed to prove that Firstness, Secondness, and Thirdness are independent ideas for the obvious reason that it is as plain as the nose on your face that the idea of a triplet involves the idea of pairs, and the idea of a pair the idea of units. Consequently, Thirdness is the one and sole category. This is substantially the idea of Hegel; and unquestionably it contains a truth.

Not only does Thirdness suppose and involve the ideas of Secondness and Firstness, but never will it be possible to find any Secondness or Firstness in the phenomenon that is not accompanied by Thirdness.

91. If the Hegelians confined themselves to that position they would find a hearty friend in my doctrine.

But they do not. Hegel is possessed with the idea that the Absolute is One. Three absolutes he would regard as a ludicrous contradiction in adjecto. Consequently, he wishes to make out that the three categories have not their several independent and irrefutable standings in thought. Firstness and Secondness must somehow be aufgehoben. But it is not true. They are in no way refuted nor refutable. Thirdness it is true involves Secondness and Firstness, in a sense. That is to say, if you have the idea of Thirdness you must have had the ideas of Secondness and Firstness to build upon. But what is required for the idea of a genuine Thirdness is an independent solid Secondness and not a Secondness that is a mere corollary of an unfounded and inconceivable Thirdness; and a similar remark may be made in reference to Firstness.

92. Let the Universe be an evolution of Pure Reason if you will. Yet if, while you are walking in the street reflecting upon how everything is the pure distillate of Reason, a man carrying a heavy pole suddenly pokes you in the small of the back, you may think there is something in the Universe that Pure Reason fails to account for; and when you look at the color red and ask yourself how Pure Reason could make red to have that utterly inexpressible and irrational positive quality it has, you will be perhaps disposed to think that Quality and Reaction have their independent standing in the Universe.