1 Logic and psychology
By 1868, the results of Peirceâs logical and philosophical investigations during the 1860s were in print; the material that was covered in his two series of lectures on the Logic of Science, at Harvard in 1865 and the Lowell Institute the following year, emerged in five technical papers in the Proceedings of the American Academy of Arts and Sciences and in an important and brilliant series of three papers in the Journal of Speculative Philosophy.1 These three papers contain a single unified argument, presenting an account of mind and reality which enabled Peirce, in the third paper, to explain the validity both of deductive reasoning and of ampliative inference. In the course of explaining the possibility of knowledge they introduced many of the pervasive themes in Peirceâs thought; ideas were used which, developed and transformed, were retained throughout the development of his philosophy. So, a survey of these early papers will provide us with an overview of the problems that prompted Peirceâs philosophical work and the sorts of approach to them that he favoured. We shall also be able to understand the difficulties that stimulated the subsequent changes in his doctrines. Therefore, this chapter will offer an account of the arguments and conclusions of the three papers:
I shall refer to them as QFM, CFI and GVL respectively.
Peirce begins both of the series of lectures by defending the autonomy of logic against thoseâthe âAnthropological Logiciansâ such as James
Mill and John Stuart Millâwho âthink that Logic must be founded on a knowledge of human nature and requires a constant reference to human natureâ (CW1 361). As we shall see in the following chapter, this rejection of psychologismâin fact, the denial that any information from the sciences can have a bearing upon logic or epistemologyâwas a fundamental feature of Peirceâs work; it places him in a common tradition with Frege and much of twentieth-century philosophy. Thus, he would deny the claim of J.S.Mill that the object of Logic was âto attempt a correct analysis of the intellectual process called Reasoning or Inference, and of such other mental operations as are intended to facilitate thisâ (Mill, 1891, p. 23). However, he did not divorce logic from âintellectual processesâ completely, for he claimed that logic was âthe science whereby we are enabled to test reasonsâ (CW1 358). This does not mean, as Mill claimed, that logic is simply âa collection of precepts or rules for thinking, grounded on a scientific investigation of the requisites for valid thoughtâ (Mill, 1868, vol. 2, p. 146). Rather, logic is the âclassifying scienceâ which underlies the practice of testing reasons.
The âformalâ logician, such as Peirce, denies that psychological information is relevant to such classifications; the logician works on the âproducts of thoughtâ such as linguistically expressed sentences and arguments directly, and has no need to study the âconstitution of the human mindâ.
He employs many sorts of arguments to defend this view, and I shall not consider all of them here. A claim that he places some stress upon is that the logical forms shared by arguments that are classified together should not be thought of, primarily, as forms of thought. Consider this printed argument:
Peirce insists that this argument has a distinctive form, which anyone can recognize: the logical form is realized in a linguistic object, so it is perverse to think of the form as solely a form of thought (CW1 165). He grants that the linguistic object only has the form it does because it can be understood and thought in a certain way, but holds that that does not make the form any the less a real property of the inscription. The case is parallel to that of colour: no one doubts that the letters in the printed argument are black, yet the concept of blackness ascribes a character to things which they only have âin so far and because they can be seenâ (CW1 165).2 It is a real and objective property of the sign that it will affect us in a certain way. Another objection to Peirceâs position stresses, not that such arguments have to be understood by people, but that they are typically produced by human agents. However, this involves a form of the genetic fallacy. Like the âtester of reasonsâ, the flour tester requires a system of classifications to be used in his evaluations of flour samples.
The logician similarly has no need to take an interest in the production of arguments and the origins of logical concepts. A little later, in an 1869 lecture series on British logicians, Peirce stresses his âsomewhat singularâ opinion that the question whether an inference is a good one simply concerns the âreal factâ of whether, if the premisses are true, the conclusion is also: information about how the inference arises in the mind, or how the argument was produced can have no bearing upon this (R 584âthis should be in CW2). The non-psychological approach has other advantages too. It makes it easier to avoid errors, and relies upon fewer suspect capacities in obtaining its knowledge; it does not rely upon introspection, or upon some curious faculty for discerning the normative rules which govern the correct or ideal functioning of the mind (CW1 166ff).
Thus, Peirce defines logic, not as a descriptive or normative theory of human thought and inference, but as part of a general study of representations such as propositions and arguments. It restricts itself to a particular set of the facts about representationsâthose involved with the reference of words and predicates, the truth conditions of sentences and the validity of arguments, and classifies arguments in ways that are relevant to our concerns with discovering the truth. Since linguistic objects and thoughts are alike representationsâthis will receive further discussion in section 4 of this chapterâthe study of representation will yield information about the âforms of thoughtâ: however, logic benefits from abstracting from this aspect of them and studying publicly accessible linguistic expressions of arguments.
Peirceâs project extends beyond providing a âformalâ non-psychological account of the validity of the different forms of deductive inference. He wants to provide an explanation of the inferences that are central to the growth of scientific knowledge, to classify the different kinds of ampliative argument and provide an objective explanation of their validity. The importance he attaches to this task is evident from GVL.
Peirce sees that the strongest argument in favour of the psychological approach to logic rests on the claim that a formal logic of induction is not possible, and he is aware of considerations that seem to support that claim. One can see him facing an unpalatable dilemma which suggests that either the logic of induction must rest content with describing the inductive strategies that we find it reasonable to adopt, or else it must ground induction in some metaphysical principle such as the benevolence of God. Neither horn is compatible with the autonomy of logic as Peirce conceives it: the first leads straight to psychologism, the second to grounding logic in suspect reasonings which seem themselves to cry out for logical scrutiny. The aim of the three papers in the Journal of Speculative Philosophy is to overcome this dilemma and unlock the door of philosophy. The final paper uses the results of the other two to explain the validity of induction. In the earlier papers, he attacks the assumptions upon which the dilemma rests, and provides an account of mind and reality which rests upon a rejection of these assumptions. In the following section, I shall elaborate the set of Cartesian and nominalistic assumptions which support the dilemmaâthey represent tendencies of thought which, according to Peirce, have tainted most European logic and epistemology.
Peirceâs underlying motivations are metaphysical. As will become clearer in the third chapter, he saw his work as part of an attempt to carry through successfully the project that Kant attempted in the first Critique: much of his work in logic was prompted by the recognition that it would be necessary to correct Kantâs logic before an adequate system of categories could be constructed. In one of the papers in the Proceedings of the American Academy, the points are given a straightforwardly Kantian cast. The motivation for having a non-psychological logic was that Peirce shared the opinion of âseveral great thinkersâ that the only successful method of inquiry in metaphysics âyet lighted upon is that of adopting our logic as our metaphysicsâ (CW1 490). Thus, our logic will provide a non-psychological examination of the forms of human thought; and the account of synthetic inference will explain how we are able to unify the manifold of our experience. And, in advancing to explain the âgrounds of validity of the laws of logicâ, both deductive and inductive, Peirce presents a distinctive and original metaphysical view.
Let us now turn to some of the details of the position Peirce defended in these papers. I should stress, once again, that these are early papers. They reflect views not yet fully formed, and, in spite of Peirceâs subsequent admiration of them, we must recognize that they contain a lot that is sketchy, confused and obscure; many of the positions we find in them were quickly superseded. Since their influence has been considerable, they cannot be ignored in a book-length treatment of Peirceâs philosophy. Moreover, offering a reading of them serves two further purposes: it enables us to introduce some important elements in Peirceâs thought and display some of their systematic connections; and it provides helpful background for understanding the ways in which his ideas developed after 1870. The discussion in this chapter will be concerned with describing and understanding the general themes that characterized Peirceâs thought at this time; I shall not evaluate the details or probe the intentions underlying some of the more gnomic remarks that the papers contain. In this respect, the discussion is still introductory, preparing for the examination of Peirceâs mature doctrines in subsequent chapters.
2 Nominalism and the spirit of Cartesianism
The first section of the second of the 1868 papers, CFI, repudiates the âspirit of Cartesianismâ: Cartesianism is distinguished from scholastic philosophy by four errors about the nature of knowledge and philosophical method. Each of the four distinctive marks of Cartesianism represents a departure from a truth which had earlier been acknowledged.
(1) It teaches that philosophy must begin with universal doubt; whereas scholasticism had never questioned essentials.
(2) It teaches that the ultimate test of certainty is to be found in the individual consciousness; whereas scholasticism had rested on the testimony of sages and the Catholic church.
(3) The multiform argumentation of the middle ages is replaced by a single thread of inference depending often upon inconspicuous premisses.
(4) Scholasticism had its mysteries of faith, but undertook to explain all created things. But there are many facts which Cartesianism not only does not explain but renders absolutely inexplicable, unless to say that âGod makes them soâ is to be regarded as an explanation. (5.264)
Peirce claims that âmodern science and modern logicâ require that the Cartesian assumptions be rejected and call for something closer to the scholastic outlook. His four counterclaims represent doctrines that he often restated. Universal doubt is a fiction, and we should not pretend to doubt what we have no real reason for doubting. We should contribute to the progress towards knowledge of a community of inquirers, trusting to the âmultitude and varietyâ of our reasonings rather than to the strength of any one. Our reasonings âshould not form a chain that is no stronger than its weakest link, but a cable whose fibres may be ever so slender, provided they are sufficiently numerous and intimately connectedâ (5.265). Finally, philosophy should never allow that anything is absolutely inexplicable. Peirce presents an attractive picture of philosophy as a fallible communal form of inquiry. However, simply as a set of claims, what he says does not undermine Cartesianism. Cartesians are likely to deny that the method of doubt is unmotivated or impossible, and point to the first Meditation as providing a justification for the strategy. Moreover, they will hold that communal and fallible methods cannot answer to the sorts of problems that concern the philosopher or logician. So, do Peirceâs remarks have any argumentative weight at all?
One way to take them is as a reminder that, according to the Cartesian, the methods to be employed in philosophy are very different from those employed in other fields of inquiry; the burden of proof lies with someone who holds that philosophy is subject to the Cartesianâs special constraints. The Cartesian assumptions are not built into the way that central philosophical problems present themselves; additional argument is required to persuade us that the question âHow is synthetic inference possible?â cannot be approached in the fallibilist spirit that we normally employ in theoretical inquiries. Now, Peirce believed that certain not implausible assumptionsâthose that make up the picture he described as ânominalismââcould be used to support the Cartesian outlook. It is these assumptions that yield the dilemma mentioned in the previous section: indeed, that dilemma can be seen as a case of clause 4 of the definition of Cartesianismâthe validity of induction is either inexplicable or attributable to something like the benevolence of God. Thus, the first of the papers is, largely, devoted to undermining these assumptions, and the second to elaborating a framework which does not incorporate them. As is suggested in 5.265, Peirce does not have to be constrained by the requirements of the Cartesian method in attacking the assumptions which make that method attractive.3
What Peirce is criticizing is a picture which is manifested in a wide variety of philosophical theories; hardly any major philosopher escapes being called a nominali...