Descartes's Meditations on First Philosophy contains one of the most convincing metaphysical arguments that has ever surfaced in the field of philosophy. The cogito argument seems to survive the most radical form of skepticism and provides Descartes ground from which he can develop a complete metaphysic. The cogito argument serves as the base premise for his overall metaphysical thesis. However, upon critical investigation it becomes evident that the logical qualities of the cogito and other formulations of the principle are not as clear and understandable as its intuitive qualities. One could interpret the cogito as a self-evident proposition (as Descartes did in the Meditations on First Philosophy), a rhetorical tautology, or an erroneous categorical syllogism. What is interesting is that in any interpretation, the cogito remains one of the most psychologically meaningful and intuitively true principles of all time.
After removing his entire epistemological framework in Meditation I, Descartes needed a place to stand in order to build his other arguments. He needed to assert the fact that he exists with absolute certainty in order to make descriptive arguments about anything else that might exist or be known. Descartes carefully formulated the cogito as a statement rather than an argument in the Meditations on First Philosophy, stating that “this proposition (pronunciatum) I am, I exist, is necessarily true each time it is expressed by me, or conceived in my mind.1” He carefully avoids making the inference that occurs in the famous formulation “Cogito ergo sum” by removing the inference indicator “ergo” from the statement. This was most likely deliberate due to some of the possible logical problems that arise from inferential formulations of this principle.
If the cogito is interpreted as inferential (which the use of “ergo” suggests), then it necessarily has a missing premise. The full formulation of the argument would look like this:
P1. I am thinking
P2. All things that are thinking, exist
--
C. I exist
A well known argument against this interpretation is that P2 does not survive Descartes's radical doubt. In Meditation II Descartes dismisses the knowledge that there exists types of things that are capable of thinking. According to Descartes's arguments in Meditation VI, one must first know that there is a God to maintain the knowledge of external things and their properties, such as thinking things and their existence. This objection was formulated in the Second Objections against his Meditations of the First Philosophy:
You are not yet certain of the existence of God, and you say that you are not certain of anything, and cannot know anything clearly and distinctly until you have achieved clear and certain knowledge of the existence of God. It follows from this that you do not yet clearly and distinctly know that you are a thinking thing, since, on your own admission, that knowledge depends on the clear knowledge of an existing God; and this you have not yet proved in the passage where you draw the conclusion that you clearly know what you are.2
According to Wikipedia, Søren Kierkegaard offers another critique against Descartes's cogito as a syllogistic argument.* The syllogism is formulated differently, as it does not contain the trouble premise “all things that think, exist.” Even without this premise, this formulation contains an interesting problem. It seems to presupposes I 's existence:
P1. All X are things that think
P2. I am that X (All I 's are X)
C1. Therefore I think
C2. Therefore I am
C2 does not follow from the premises. I must be presupposed to exist before it can fit into the category X. In other words, I must exist before I can have the property of thinking. The critique mentioned before made exactly this point. However, there is good reason to suspect that Kierkegaard left out the premise “all things that think, exist” for reasons other than that it is inconsistent with Descartes's radical doubt. The premise is by itself logically moot, because if a thing has any sort of property, it must exist to have that property, but the property itself does not provide the entity existence. It is not proper to think that things exist because they have a certain property. The problem premise could be logically rephrased to “I exist, and I have the property of thinking.”
In his response to this objection, Descartes explicitly denied that the cogito is a syllogistic argument, but that it is instead a self-evident proposition:
When I said that we can know nothing for certain until we are aware that God exists, I expressly declared that I was speaking only of knowledge of those conclusions which can be recalled when we are no longer attending to the arguments by means of which we deduced them. […] When we become aware that we are thinking things, this is a primary notion which is not derived by means of any syllogism. When someone says 'I am thinking, therefore I am, or I exist'. He does not deduce existence from thought by means of a syllogism, but recognizes it as something self-evident by a simple intuition of the mind. This is clear from the fact that if he were deducing it by means of a syllogism, he would have to have had previous knowledge of the major premiss 'Everything which thinks is, or exists'; yet in fact he learns it from experiencing in his own case that it is impossible that he should think without existing. It is in the nature of our mind to construct general propositions on the basis of our knowledge of particular ones.3
In Descartes's interpretation, the cogito principle is a self-evident proposition. He claims in analogy that these types of propositions are understandable without a certain epistemological framework (his being outlined in Meditation VI) by admitting that an atheist “can be clearly aware that the three angles of a triangle are equal to two right angles.” However, he continues “that this awareness of his is not true knowledge, since no act of awareness that can be rendered doubtful seems fit to be called knowledge.3” It seems that he is claiming that a self-evident proposition is clear and understandable independent from knowledge of it, and thereby functions as a true premise for the conclusion that God exists, who is responsible for giving Descartes knowledge.
Descartes seems to fall short in responding to this critique in two ways. It is unclear how the cogito can be only a proposition, and not a syllogistic argument. It seems that the proposition uses the condition of thinking to assert the necessity of existing. If it remains a syllogism, then it is quite a stretch to say that the argument can be truly independent from one's knowledge of its terms; of course this syllogism is valid, but testing its premises for truth value requires one to have knowledge of both thinking and the self (or, the thing that is thinking). On the other hand, conceiving the cogito as a self-evident statement and not an inferential argument is difficult. The difference between an argument and a self-evident statement is not intuitive, and Descartes falls short of articulating the exact logical differences. Why would a self-evident proposition not have the same problem as a syllogistic argument, being that Descartes is not able to know for certain that he is a thinking thing?
Jaakko Hintikka offers a very strong theory which states that the cogito is a special “performative” statement that is also in effect inferential. The statement functions as a self-evident proposition; every time Descartes thinks of his existence, or doubts it, or contemplates anything of his mental state, it is necessary that he exists, otherwise there would be a performative contradiction. In effect, it is similar to a situation where a friend knocks on your closed office door, to which you reply “I'm not here!” Not being there would be a direct contradiction to you performing this action (speaking). The same contradiction would occur if Descartes thought to himself “Do I exist?... No!” Descartes began to articulate this aspect of his theory in the second response to critiques on his meditations, as I previously quoted. However, Descartes stopped short. Hintikka's theory continues to explain how a performative proposition has effectively the same inferential feature of a syllogistic argument, without having premises with conditional truth values.
There is no incompatibility whatsoever between saying that cogito, ergo sum is a performance and that it is an inference. There is no need for one to deny, even if one should claim that the Cogito is essentially performative, that in it sum is inferred from the cogito, provided that the sole basis of this inference is the fact that the denial of the corresponding implication "if I think, then I exist"-namely, "I think, but I do not exist"-is existentially inconsistent (self-defeating).4
The main difference, he claims, is where a syllogistic conception of the cogito gains its persuasiveness as opposed to a performative conception:
[The cogito's] persuasiveness is largely due to the fact it is existentially self-verifying to say or to think "I exist"; which fact is virtually identical with the fact that it is existentially self-defeating to say or to think "I do not exist." [...] On Weinberg's view, the certainty of sum is derivative; it depends (i) on the certainty of the fact that he is thinking as well as (ii) on the certainty of a necessary connection between thinking and existence. The persuasiveness of the Cogito, on this view, is not due to the self-evidence of an actually contemplated sum but to the prior (logically, if not temporally, prior) certainty of the statement "I think" plus the certainty of the principle "one cannot think without existing" (fieri non possit, ut id quod cogitet, nisi existat).4
Hintikka's perspective resolves the main problem that arises when defending cogito under Descartes's radical doubt. Hinktikka's fleshed out illustration supports Descartes's defense that there is no need to rely on knowledge to prove the validity of its proposition.
Even in the light of Hintikka's defense, there may still be problems with the cogito. Many of these problems arise due to one's own personal epistemology. It is of course more practical and fair to critique the cogito based on Descartes's own terms, and all of the critiques mentioned so far have been consistent with Descartes's own epistemology. However, I see one large contradiction in his epistemology that directly relates to the cogito, where he claims in Meditation VI that he can conceive of his mind distinctly and independent from the objective world. This certain awareness of the mind is of course necessary in the cogito.
His defense is that there exists in his mind both images (the triangle) and concepts (the chiliogon), and that the images are found from perception of the objective world. On the other hand, the concepts can exist only in his mind independent from the objective world. Therefore, there is a distinction between the objective world and his mind. I see this as an unknowable distinction in the terms of Descartes's radical doubt; in order to draw the line between one's mind and the objective world, one must have awareness of both. The problem as it relates to the cogito is how Descartes can know the I in the proposition. Without distinct knowledge of himself, he may be able to argue that something exists, but he cannot make any ontological descriptions of himself or any other conception he is aware of.
There is a very interesting relationship between epistemology and metaphysics. The terms of one are consequential to the terms of the other. I believe the problems that arise over the course of the Descartes's meditations and the development of his metaphysic are a result him attempting to work from his initially blank epistemology. He starts by throwing away all knowledge and by doing so, he necessarily throws away all ontology. It makes sense then, that the first place he starts is the most basic for both; I think, I am; knowledge, existence; epistemology, metaphysics. These statements do not contain the descriptions that Descartes seeked to develop with the meditations. To make these descriptions, one must rely on the subjective perceptions of the entity that creates the epistemological and metaphysical dialog. Consider for a moment that a ruler is an intellect; its measurements are its perceptions of the world. In its simple epistemology, it knows the inch (or centimeter, depending on its subjective perspective) and thereby makes distinguishes this ontological feature of the world. It could continue in the same fashion as Descartes, and argue “I measure, therefore I exist.” Then it could say, “Well I know my measurements, they are the inch, and there are twelve of them. And my existence has a cause, so it must be that I was manufactured. I could be deceived, but my manufacturers would most likely have given me proper measurement lines. I know these lines distinctly and clearly. I also know that there could be more or less than twelve inches out there, even though I am indivisibly twelve. Since I can make clear and distinct divisions of measurement, but I myself am indivisible, it must be that there exists a world separate from me. This world contains myself, my manufacturer, and the inch.”
This thought experiment is not meant to belittle Descartes's conclusions, but to illustrate that from the same starting point (the cogito) and same line of arguments, a different metaphysic can be found. Starting from the cogito does not give Descartes a chance to “get it right,” in the sense that if all his logical arguments are sound then he has painted an objectively true metaphysic. What it does do is show that Descartes has a built a metaphysic from the ground up, and that all his assumptions come during the construction of his metaphysic.
1Taken from John Veitch's 1901 translation of Meditation II. (Accessed on Google Books)
2From the Second Objections: CSM II 89. Quote taken from René Descartes, John Cottingham, Dugald Murdoch Descartes: selected philosophical writings, Page 139. Cambridge University Press 1988, Cambridge UK: ISBN 0-521-35812-4 (Accessed on Google Books)
*I was unfortunately not able to find a copy of Kierkegaard's original text that the Wiki article cites, nor another credible independent reference on this specific theory. However I think this alternate syllogistic form deserves consideration and a place in my essay. The original citation on wiki points to: Kierkegaard, Søren. Philosophical Fragments. Trans. Hong, Princeton, 1985. p. 38-42.
3From the Second set of Replies. Quote taken from René Descartes, John Cottingham, Dugald Murdoch, The philosophical writings of Descartes. Pages 100-101. Cambridge University Press 1984, Cambridge UK: ISBN 0 521 28808 8. (Accessed on Google Books)
4 Jaakko Hintikka Cogito, Ergo Sum as an Inference and a Performance The Philosophical Review, Vol. 72, No. 4 Duke University Press Oct., 1963. Pages 487-496. (Accessed on JSTOR)