Welcome to Objectivism Online Forum

Welcome to Objectivism Online, a forum for discussing the philosophy of Ayn Rand. For full access, register via Facebook or email.

Sign in to follow this  
Followers 0

Peikoff’s Dissertation – Prep

4 posts in this topic


The Status of the Law of Contradiction in Classical Logical Ontologism

Leonard Peikoff – Ph.D. Dissertation (NYU 1964)

Leonard Peikoff first met Ayn Rand when he was seventeen. That was in 1951. His cousin Barbara Wiedman (later Branden) had become a friend of Rand’s in the preceding year. The young friends of Rand had read and been greatly moved by her novel The Fountainhead, and they were greatly impressed with Rand and her philosophical ideas as conveyed to them in conversation with her. In 1953 Peikoff moved to New York from his native Canada (where he had completed a pre-med program) and entered New York University to study philosophy, which was his passion. He was able to read Atlas Shrugged in manuscript form prior to its publication and to converse with its author. He continued at NYU for his Ph.D. in Philosophy, which he completed in 1964. That was the year Allan Gotthelf entered graduate school in Philosophy.

Ayn Rand and her distinctive ideas on metaphysics and logic, as published in 1957 in Atlas Shrugged, do not appear in Peikoff’s dissertation. Except for one modest point, his treatment of his topic is consistent with Rand’s views on metaphysics and logic, as well as with her thought on universals (ITOE 1966–67) and her broad-brush arc of the history of philosophy. His dissertation is worthy of study, certainly by me, for what have been many of the positions and arguments concerning the ontological status and epistemological origin of the Principle of Noncontradiction (PNC) in Western philosophy from Plato to mid-twentieth century. It is valuable as well for a picture of what Peikoff could bring to the discussions with Rand and her close circle, as well as to their recorded lectures and published essays (including his own “Analytic-Synthetic Dichotomy” published by Rand as an immediate follow-on to her ITOE) in the ten years or so after 1957.

A speculative sidebar: Beyond Rand’s philosophy, I doubt that Leonard Peikoff ever had anything to learn from Nathaniel Branden in philosophy. The flow of learning in philosophy not Objectivism was likely entirely the other way. That goes for the flow of reliable information in that domain as well between Peikoff and Rand. By the late ‘60’s, Peikoff, and Rand too, could of course learn from the studies of Gotthelf in Greek philosophy.

I’ll sketch and comment on the course of the intellectual adventure that is Peikoff’s dissertation in a separate thread in Books to Mind. I’ll do that shortly. In the present thread, I want to just state his broad thesis (i–viii, 239–49), then turn (i) to the Kant resources Peikoff had available and relied upon in his story and (ii) to setting out from my own available resources, these decades later, what were Kant’s views and teachings on logic, what was always available in German, and what now in English.

Under the term classical in his title, Peikoff includes not only the ancient, but the medieval and early modern. By logical ontologism, he means the view that laws of logic and other necessary truths are expressive of facts, expressive of relationships existing in Being as such. Peikoff delineates the alternative ways in which that general view of PNC has been elaborated in various classical accounts of how one can come to know PNC as a necessary truth and what the various positions on that issue imply in an affirmation that PNC is a law issuing from reality. The alternative positions within the ontology-based logical tradition stand on alternative views on how we can come to know self-evident truths and on the relation of PNC to the empirical world, which latter implicates alternative views on the status of essences and universals.

Opposed to the classical logical ontologists are contemporary conventionalist approaches to logical truth. Peikoff argues that infirmities in all the varieties of classical logical ontologism open the option of conventionalism. He mentions that his own sympathies are with logical ontologism. Alas, repair of its failures lies beyond the inquiry of his dissertation.

dream_weaver and DonAthos like this

Share this post

Link to post
Share on other sites


Over a period of forty years (1756–96), Kant taught logic at least thirty-two times. Lecturers at the University of Konigsberg at that time were required to proceed upon a textbook recognized by the Prussian authorities. For his classes on logic, Kant used George Friedrich Meier’s Excerpt from the Doctrine of Reason (1752). The term excerpt (Auszug) here means that it treats its subject briefly, in contrast to a larger treatment. It does not mean the shorter treatment is a snippet from a larger work. Meier was a leading figure in the German Enlightenment. He had been a student of Christian Wolff and of Alexander Baumgarten. He studied John Locke in depth and helped introduce English philosophy in German lands. He straddled the rationalist and empiricist traditions. Auszug is not a text in formal logic, though it enters what we should be learning in an elementary logic text today by Meier’s bits on concepts, judgments, good definitions, proper inferences, and informal fallacies. Auszug touches on of all sorts of things that make the various types of human knowledge possible and the expression of knowledge excellent.

I set down here some sections from Auszug: §§109–11 (which bear on Peikoff’s remarks on p. 185) and §§43, 98, 103 referred to in the 109–11 stretch. The translation is by Aaron Bunch (Bloomsbury 2016).

§43. The ignorance of a human being is (1) an absolutely necessary and unavoidable ignorance, which he cannot avoid owing to the bounds of his power of cognition; and (2) a voluntary ignorance, whose contrary cognition he could attain if he wanted to.

§98. We must not assume: (1) that a cognition is true, just because we are aware of no internal impossibility in it; (2) that it is false, just because we are aware of no internal possibility in it; (3) that a cognition is true, the groundlessness and false grounds and consequences of which we are unaware; (4) that a cognition is false, of which we cognize no correct grounds and consequences. For we human beings are not all-knowing.

§103. Learned cognition can be false in a threefold way: (1) if the cognition of the things is false, although the cognition of the grounds is correct; (2) if the cognition of the grounds is false, although the cognition of the things is correct; (3) if the representation of the connection between the true grounds and consequences is incorrect . . . . Thus, a true learned cognition must be at the same time a correct cognition of the things, of the grounds, and of their connection . . . .

§109. Error consists in our taking false cognition to be true, and true cognition to be false. Consequently, (1) every erroneous cognition is false . . . (2) not every false cognition is erroneous, namely if we cognize that it is false; (3) error arises from false cognition. Had we no false cognition at all, we could also have no errors. Error is worse than merely false cognition, for error is a secret poison. Learned cognition can therefore be erroneous in a threefold way §103.

§110. Error arises §109 if we break the rules of the 98th paragraph. The first source or all errors is thus ignorance . . . , if it is accompanied  by haste, whereby we deny that of which we have no cognition.

§111. Error is either avoidable or unavoidable. The former arises from an avoidable ignorance, and the latter from an unavoidable ignorance §43. The former is nothing but a blameworthy disgrace to learned cognition, but the latter cannot and may not be avoided.

It’s safe to wake up now.

I should make two points concerning §110. The focus on haste in the production of error is likely simply a Cartesian hand-me-down analysis of error: human will outrunning human understanding. The focus on denials concerning things of which we have no cognition (also in §98) is mainly a bowing of the head to religious mysteries. Sealing obeisance to mysticism into theories of rational cognition was not an innovation of Immanuel Kant.

Kant lectured for his logic classes, cued from Meier’s Auszug, but Kant was allowed to register and did register objections and to use points in this approved text as springboards to state his own views concerning those points and their neighborhoods. We have a few sets of class notes taken by students in Kant’s logic lectures. One set was taken in the early 1770’s, so that would be after his Inaugural Dissertation (1770) and during the period in which he was turning his thinking around to full vista of his Critical philosophy, as would be brought to press in 1781 in Critique of Pure Reason (KrV). A couple of sets of logic-lectures student notes are from around 1780, when Kant was completing KrV. Another set is from the early 1790’s. We have English translations of all these sets of class notes, issued by Cambridge in 1992. It is interesting to follow the student notes from the Kant lectures corresponding to §§109–11 across those different years of notes. (Any one of them is more interesting than Auszug itself.)

One of Kant’s students was Gottlob Benjamin Jäsche. He had courses under Kant in 1791, and by end of the century, he had become a professor at Königsberg and an exponent of Kant’s philosophy. At Kant’s request, Jäsche composed a manual. It was issued in 1800, and it is titled Immanuel Kant’s Logic – A Manual for Lectures. Kant gave his lecture copy of Auszug, with all its margin notes and interleaved papers with notes that Kant had relied on at some time or other across his forty years of teaching logic. Jäsche tried to decipher the notes and include in the manual the notes he estimated to be in the later portion of Kant’s career. Kant never saw or approved the finished product. This manual remained available continuously in its original German to this day. It is given some wary weight by scholars trying to represent Kant’s views on logic. Today, Anglophone scholars know this work as The Jäsche Logic, and it is included with the other sets of student notes of Kant’s logic lectures translated into English in Immanual Kant – Lectures on Logic (Cambridge 1992).

In his dissertation, Peikoff had to rely on the portion of The Jäsche Logic that had been translated by T. K. Abbott into English in 1885 under the title Kant’s Introduction to Logic. The contemporary translator for the Cambridge collection mentions that “Abbott’s translation, though not bad, is so loose and so old-fashioned in its terminology that I have not made any use of it.” Peikoff cites the Abbott translation of the Jäsche production as simply Kant, not Jäsche. That seems to have been customary in the era of Peikoff’s dissertation. William and Martha Kneale’s monumental The Development of Logic issued in 1962. They too cite the Jäsche production as Kant, not Jäsche. Incidentally, Peikoff in his dissertation does not mention anything from this book. Perhaps he had not studied it in time. Information in this text sometimes improved on points advanced by Peikoff from his older resources, and I shall mention some of these (not related to Kant) in the next thread.

Writings of Kant himself would be the primary source in any representation of his view (which of course does not have any fog of translation for the German reader or scholar). I’d rate the original, German version of Jäsche’s manual as somewhere between a primary and a secondary source, and I’d rate that portion translated by Abbott (“not bad”) still between primary and secondary. It was unfortunate for Peikoff 1964 that Abbott did not include in his translation the Preface to the Jäsche Logic, that Abbott also did not include the logic-proper portion of the Jäsche Logic, and that Peikoff did not have, apparently, the placement of Kant in the history of logic lain out by Kneale and Kneale (1962).

Peikoff relied also on a squarely secondary source for Kant’s picture, a source originating in English in 1860. I’ll look at that source in another post on this thread another day, hopefully soon. In my next post today in this thread, I’ll copy from an earlier study of mine, what one can say of Kant’s views on logic drawing simply from KrV. I wrote that piece years before I had gotten hold of Peikoff’s dissertation, and my contrast therein to Kant is not anyone among predecessors of Kant, but to me and to my contemporary Ayn Rand. Peikoff had KrV in hand, in English, back in his dissertation days, but he makes no mention with citation of these elements of KrV in his dissertation. What can be gleaned from KrV should be posted in this thread as part of the orienting preparation for the next thread which will tackle Peikoff’s dissertation and its offspring square on and which will engage many philosophers besides Kant.

dream_weaver likes this

Share this post

Link to post
Share on other sites


Normativity of Logic – Kant v. Rand

Stephen Boydstun 2009

In the perspective of Immanuel Kant, reasoning in accordance with logic can falter due to various empirical circumstances of the reasoning mind. Knowing those pitfalls and how to avoid them is what Kant would call applied logic. Principles of applied logic are partly from empirical principles. As for the principles of pure logic itself, logic apart from such applications, “it has no empirical principles” (B78 A54). The principles of logic are not principles of empirical psychology, and their ultimate authority stems from something deeper than empirical necessities of thought.

Logic for Kant was Aristotelian logic. [Or so Kant thought. Stoic logic had been mixed into what he took for simply logic and credited to Aristotle.] He thought this discipline to have been set out completely by Aristotle, and he thought such finality of the discipline was due to the distinctive character of the discipline that is logic. “Logic is a science that provides nothing but a comprehensive exposition and strict proof of the formal rules of all thought” (Bxiii). The office of logic is “to abstract from all objects of cognition and their differences; hence in logic the understanding deals with nothing more than itself and its form” (Bix; B170 A131). Logic is “vestibule” of the sciences in which we acquire knowledge. Logic is presupposed in all judgments constituting knowledge (Bix).

Knowledge requires the joint operation of a receptivity of the mind and a spontaneity of the mind. In our receptivity, sensible objects are given to us. In our spontaneity of conceptualization and judgment, those objects are thought (B29 A15). Sensory presentations are givens. The spontaneity of cognition is the ability to produce presentations ourselves. Kant calls understanding the faculty for bringing given sensible objects under concepts and therewith thinking those objects (B74–75 A50–51). Logic is “the science of the rules of the understanding as such” (B76 A52). These are “the absolutely necessary rules of thought without which the understanding cannot be used at all” (B76 A52).

Kant distinguishes the faculty of understanding from its superintendent, the faculty of reason. The understanding can arrive at universal propositions by induction. Correct syllogistic inferences among propositions are from reason (B169 A130; B359–60 A303–4). By its formal principles, reason provides unity to the rules of understanding (B359 A302). I should mention that it is not the role of reason (or of understanding) in logic that Kant tries to curb in his Critique of Pure Reason (B=1787 A=1781). This role Kant takes as within the proper jurisdiction of reason.

Kant regards logic as “a canon of understanding and of reason” (B77 A53; B170 A131). A canon is a standard or rule to be followed. How can rules of logic be rules to be followed by the understanding if they are the rules that characterize what is the form of all thought? How can the rules prescribe for X if they are descriptive of what X is? Let X be alternatively the faculty of understanding or the faculty of reason, the question arises.

Kant calls such logic general logic, and this he takes as abstracting away “from all reference of cognition to its object” (B79 A55). This conception of logic is significantly different from that of Rand: Logic is an art of identification, regimented by and towards the fact of existence and the fact that existence is identity.

Over a period of forty years, Kant taught logic at least thirty-two times. Syllogistic inference and non-contradiction were the rules for formal logic. Kant took these rules to concern some of the requirements for truth. They do not amount to all of the requirements for truth, “for even if a cognition accorded completely with logical form, i.e., even if it did not contradict itself, it could still contradict its object” (B84 A59). That much is correct, and Kant is correct too in saying that “whatever contradicts these rules is false” (B84 A59). Why? “Because the understanding is then in conflict with its own universal rules of thought, and hence with itself” (B84 A59).

How can the normativity of logic be accounted for if its principles are taken for correct independently of any relations they might have to existence and any of the most general structure of existence? Kant needs to explain how general logical norms for our thinking can be norms without taking their standard from the world and how such norms can be rules restricting what is possibly true in the world.

Might the source of norms for the construction of concepts be the source of norms for inferences when concepts are working in judgments? Can the normativity of forms of inference among judgments be tied to normativity in forms of judgments and normativity in the general forms of concepts composing those forms of judgment?

What requirements must concepts meet if they are to be concepts comprehending particulars in true ways? From the side of the understanding itself, the fundamental forms concepts may take are required to be systematically interconnected to satisfy the circumstance that the understanding “is an absolute unity” (B92 A67). Considered apart from their content, concepts rest on functions. “By function I mean the unity of the act of arranging various presentations under one common presentation” (B93 A68). So far, so good, but then Kant’s account stumbles badly.

Concepts are employed in the understanding to make judgments. In judgments, according to Kant, “a concept is never referred directly to an object” (B93 A68). Concepts, when not referring to other concepts, refer to sensory or otherwise given presentations (B177 A138–42). This is part of Kant’s systematic rejection of what he called intellectual intuition. That rejection is not entirely wrongheaded, but this facet of the rejection is one of Kant’s really bad errors. I say as follows: the fact that concepts relate perceptually given particulars does not mean that concepts do not refer directly to the particulars of which we have perceptual experience. It simply does not square with the phenomenology of thought to say that when we are using a concept we are not referring directly to the existents (or the possibility of them) falling under the concept.

Kant will have cut himself off from an existential source of normativity in judgment through concepts, thence a possible source of normativity for inferences among judgments, unless that normativity can be gotten through his indirect reference for concepts to existents through given presentations of existents. For Kant, as for most every epistemologist, concepts are unities we contrive among diverse things according to their common characteristics (B39 A25, B377 A320). The problem for Kant is that the diverse things unified are diverse given presentations in consciousness that become objects of consciousness only at the moments of conceptualization and judgment themselves (A103–6, A113–14, A119–23, B519–25 A491–97, B141–46). (Kant’s empirical realism, in A367–77, B274–79, and B232–47 A189–202, is subordinate to his transcendental idealism; but see Abela 2002 and Westphal 2004.)

The concept body can be used as a logical subject or in the predicate of a judgment. As subject in “Bodies are divisible,” body refers directly to certain given presentations of objects, but body does not refer to those objects unless in use in a judgment. In use for predicate in “Metals are bodies,” body refers to the subject concept metal, which in turn refers to certain given presentations of objects (B94 A69).

“The only use that the understanding can make of . . . concepts is to judge by means of them” (B93 A68). According to Kant, we cannot begin to understand the concept body otherwise than as in judgments. Right understanding of body means only knowledge of its particular right uses as the logical subject or in the logical predicate.

Kant observes that judgments, like concepts, are unities. It is the faculty of understanding that supplies those unities by its acts. The logical forms of judgment are not conformed to identity structures in the world or in given sensory presentations. Kant conceived those presentations as having their limitations set by relations of part to whole. He thought they could not also, in their state as givens, have relations of class inclusion (B39 A25, B377 A320). This is a facet of his overly sharp divide between sensibility and understanding. I have long held that relations of class inclusion are not concrete relations, unlike the relations of part-whole, containment, proximity, or perceptual similarity. That does not conflict, however, with the idea that what should be placed in which classes should be actively conformed to particular concrete relations found in the world.

Kant thought that our receptivity of given sensory presentation is not cognitive and requires conceptualization in order to become experience (B74–75 A50–51). “All experience, besides containing the senses’ intuition through which something is given, does also contain a concept of an object that is given in intuition, or that appears. Accordingly, concepts of objects as such presumably underlie all experiential cognition as its a priori conditions” (B126 A93). The sensory given presentation contains particular and specific information about the object that can be thought in concepts and judgments concerning the object. But the most general and necessary forms of objects in experience is not information supplied by the sensory given presentations (sensory intuitions), but by the understanding itself for agreement with itself (B114–16, B133n).

Without the general form of objects supplied by the understanding, there is no cognitive experience of an object. “Understanding is required for all experience and for its possibility. And the first thing that understanding does for these is not that of making the presentation of objects distinct, but that of making the presentation of an object possible at all” (B244 A199).

Kant is concerned to show that there are general patterns of necessity found in experience that are seamless with logical necessities. He errs in supposing that that seamlessness comes about because the general forms for any possible experience of objects logically precedes any actual experience of objects. That a percipient subject must have organization capable of perception if it is to perceive is surely so. Consider, however, that a river needs channels in order to flow, yet that does not rule out the possibility (and actual truth) that the compatibility of a valley and a river was the result of the flow of water.

According to Kant, we could have no experience of objects without invoking concepts bearing, independently of experience, certain of the general forms had by any object whatsoever. The unity-act of the understanding that is the conceptual act, which gives a unified content, an object, to given sensory presentations is also the very unity-act that unifies the various concepts in a judgment (B104–5 A78–79).

An additional power Kant gives to the understanding is the power of immediate inference. From a single premise, certain conclusions can be rightly drawn. “The proposition All human beings are mortal already contains the propositions that human beings are mortal, that some mortals are human beings, and that nothing that is immortal is a human being” (B360 A303). In these inferences, all of the material concepts, human being and mortal, appearing in conclusions were in the premise. Such inferences can be made out to be the mediate inferences of a syllogism, but only by adding a premise that is a tautology such as Some mortals are mortal (D-W Logic 769; J Logic 115).

Mediate inferences require addition of a second judgment, a second premise, in order to bring about the conclusion from a given premise. The proposition All scholars are mortal is not contained in the basic judgment All men are mortal since the concept scholar does not appear in the latter. The intermediate judgment All scholars are men must be introduced to draw the conclusion (B360 A304).

The basic judgment—the major premise of the syllogism—is thought by the understanding. This is the thinking of a rule. Under condition of that rule, the minor premise of the syllogism is subsumed, by the power of judgment. Lastly, reason makes determinate cognition by the predicate of the basic rule the new judgment, which is the conclusion (B360–61 A304).

“What usually happens is that the conclusion has been assigned as a judgment in order to see whether it does not issue from judgments already given, viz., judgments through which a quite different object is thought. When this is the task set for me, then I locate the assertion of this conclusion in the understanding, in order to see whether it does not occur in it under certain conditions according to a universal rule. If I then find such a condition, and if the object of the conclusion can be subsumed under the given condition, then the conclusion is inferred from the rule which holds also for other objects of cognition. We see from this that reason in making inferences seeks to reduce the great manifoldness of understanding’s cognition to the smallest number of principles (universal conditions) and thereby to bring about the highest unity of this cognition.” (B361 A304–5)

The faculty of reason, in contradistinction from understanding, does not deal with given sensory presentations, but with concepts and judgments. “Just as the understanding brings the manifold of intuition under concepts and thereby brings the intuition into connection,” so does reason “bring the understanding into thoroughgoing coherence with itself” (B362 A305–6). Reason provides cognition with logical form a priori, independently of experience. The principles of the understanding may be said to be immanent “because they have as their subject only the possibility of experience” (B365 A309). The principles of reason may be said to be transcendent in regard to all empirical givens.

The spontaneity of thought is unifying activity, whether in conceiving, judging, or inferring. Readers here will have probably noticed in Kant the themes of integration and economy, which are major in Rand’s analyses of cognition. However, for Kant the unifying activity of the understanding and of reason is not “an insight into anything like the ‘intelligible’ structure of the world” (Pippin 1982, 93).

Kant represents understanding and reason as working together as a purposive system. I maintain, in step with Rand, that all purposive systems are living systems or artifacts of those living systems. We hold that only life is an ultimate end in itself; life is the ultimate setter of all needs. The purposive system that is the human mind is the information-and-control system having its own dynamic needs derivative to serving the needs of the human individual and species for continued existence. Life has rules set by its needs for further life.

Life requires not only coherent work among its subsystems, but fitness with its environment. Rules of life pertain to both. Rules of mind pertain to both (cf. Peikoff 1991, 117-19, 147-48). Rules of logic do indeed enable coherent work of the mind, but they also yield effective comprehension of the world. Identity and unity are structure in the world, and, in their organic elaboration, they are structure of the viable organism (cf. ibid., 125–26). The normativity of logic arises from the need of the human being for life in the world as it is.



Abela, P. 2002. Kant’s Empirical Realism. Oxford.

Kant, I. 1992. Lectures on Logic. J. M. Young, translator and editor. Cambridge.

——. 1996. Critique of Pure Reason. W. S. Pluhar, translator. Hackett.

Peikoff, L. 1991. Objectivism: The Philosophy of Ayn Rand. Dutton.


Pippin, R. B. 1982. Kant’s Theory of Form. Yale.

Westphal, K. R. 2004. Kant’s Transcendental Proof of Realism. Cambridge.

Eiuol likes this

Share this post

Link to post
Share on other sites

Posted (edited)


Peikoff’s squarely secondary source on Kant (d. 1804), relied upon in his dissertation, is Prolegomena Logica: An Inquiry into the Psychological Character of Logical Processes (1860, 2nd ed.). The author is Henry Longueville Mansel (1820–1871), an English philosopher, theologian, and priest. In philosophy he esteemed and followed broadly the Scottish thinker Sir William Hamilton (1788–1856). That is not the Sir William Hamilton we adore today. Our hero, the bringer of Hamiltonian Mechanics and inventor of quaternions was not from Edinburgh, but Dublin (1805–1865). William Hamilton of Edinburgh was a barrister, but with interest in research in formal logic and interest in German philosophy. He introduced Kant to English readers and tried to show harmony between Kant and the Scottish philosophers of Common Sense, such as Thomas Reid.

In Prolegomena to any Future Metaphysics (1783, 4:257–60, 369–71), Kant had cut down the possibility of success of Reid, Oswald, and Beattie in their appeals, however popular, to common sense for answer to Hume’s request for a warranty of thinking there to be any necessary connection between distinct events. Common sense, necessary and welcome as it is in the domain of its natural function, can only sensibly bear on that domain of perceptually manifest patterns (including applied mathematics), and it cannot be used to warrant any a priori principles, such as causality, contained in those patterns. Common sense cannot sensibly run on beyond its right domain and answer metaphysical questions. To the considerable fortune of our time, I should note the scholarship of Manfred Kuehn (1987) in tracking down the many ingresses of Scottish Common Sense philosophy to German lights, including Kant, in Scottish Common Sense in Germany 1768–1800.

Henry Mansel tells us in Prolegomena Logica that his own views are greatly indebted to Kant and to William Hamilton of Edinburgh, although, his own views do not coincide perfectly with either of theirs. One shared aim of Hamilton and Mansel was to concoct a bound to confound secular reason in its all-too-common vistas of materialism, atheism, and clockmaker deism. In 1858 Mansel gave a controversial lecture “The Limits of Religious Thoughts” plotting the old line that because we have no positive notions of God, the unconditioned, or the absolute (absolute in the senses: free from any relation as a condition of its existence or [ii] out of any relation to human knowledge), reason must be supplemented with faith, and no criticisms of theology based on human conceptions are valid. Follow-on treatises were lobed between J. S. Mill and Mansel.

C. S. Peirce (b.1839) was very familiar with the writings of William Hamilton of Edinburgh and the writings of Henry Mansel. In a personal manuscript of 1864: “I hold the Doctrine of Common Sense to be well fitted to Reid’s philosophical caliber and about as effective against any of the honored systems of philosophy as a potato-pop-gun’s contents might be against Gibraltar” (I.153). Peirce criticized Hamilton’s organization of syllogistic, with Hamilton’s quantification over predicates, in an 1865 lecture at Harvard (I.294–98). In 1886 Peirce would write:

“The quantification of the predicate, an idea originating with the botanist George Bentham, was for some years in vogue in this country and in England. It was developed with a singular defect of clear thought by Sir William Hamilton, and more ably by Stanley Jevons. . . . If the theory of the syllogism had been extended to relative terms, the quantification of the predicate might have been useful; but in the hands of Sir William Hamilton it only led to a complicated syllogistic, full of blunders; in the hands of Jevons, it stood in the way of a better development of a meritorious system of formal logic.” (V.352–53).

Peirce was not impressed with Hamilton’s efforts of innovation in formal logic, which were a dim prospect anyway for Hamilton, who was short on mathematics. The spring of formal logic with reaches far beyond its medieval spring would first sing, in 1847, in George Boole. I shall be returning to this nineteenth-century chorus in my other thread of straight-off survey and discussion of Peikoff’s dissertation.

Peirce wrote a paragraph during the winter of 1869–70 remarking on Henry Mansel’s Prolegomena Logica:

“Now if you examine Hamilton’s logic or any of those logics which are the immediate product of pure Kantianism as his was (—not his [Hamilton’s] peculiar system but his lectures in which his system does not appear as it was worked up later) you will find logic defined as the Science of Thought as Thought—or something of that sort. . . . Take for example Mr. Mansel’s admirable Prolegomena Logica where the Kantian conception of logic is developed in the most consistent and beautiful manner.” (II.349)

I’ll just see about that.

We are ready now for the Peikoff dissertation itself, for that other thread.



The citations for Peirce in the preceding are from Writings of Charles S. Peirce – A Chronological Edition (Indiana). By the way, Hamilton’s Lectures on Logic and Metaphysics [1859], an entry in Peikoff’s bibliography, is available for free online at archive.org.

Edited by Boydstun

Share this post

Link to post
Share on other sites
You are commenting as a guest. If you have an account, please sign in.
Reply to this topic...

×   You have pasted content with formatting.   Remove formatting

  Only 75 emoticons maximum are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

Sign in to follow this  
Followers 0

  • Recently Browsing   0 members

    No registered users viewing this page.