Peirce's Logic
There are two different ways to approach Peirce's logic. One is to focus on how the main topics of logic evolved and were shaped within Peirce's own majestic framework. This ‘bottomup’ approach will not only provide us with a genuine insight into Peirce's logic but also make a contribution to another greater body of research—Peirce's philosophy. However, the bottomup method has a serious obstacle: the enormous nexus of Peirce's ideas to unravel and separate.
The other, almost opposite style of approach is to highlight Peirce's wellknown achievements in logic and to locate Peirce's contributions in the context of modern logic. This ‘topdown’ approach has merit both in its defined scope and in its appeal to those who are interested in the development of logic in general. On the other hand, the topdown approach carries with it the risk of isolating Peirce's logic from his entire philosophy.
The entry aims to mix these two methods so that we may present Peirce's logic both for Peirce scholars and for those interested in the development of modern logic. Without getting lost in Peirce's ambitious blueprint for philosophy, we connect his main views in logic within his own philosophy so that a coherent picture of Peirce's logic may emerge. We single out the common theme of Peirce's various contributions to modern logic, namely, to extend logic, as characterized by the following three different dimensions:
 extension of the scope of formalism: from propositional to predicate logic (discussed in Section 2),
 extension of kinds of systems: from symbolic to diagrammatic systems (discussed in Section 3), and
 extension of semantic values: from twovalued to threevalued logic (discussed in the supplement Peirce's ThreeValued Logic).
The three contributions of Peirce's logic have been discussed in existing literature, but only separately from one another. This treatment has given the wrong impression that Peirce's contributions to modern logic are scattered all over the place without any consistent theme. However, by examining carefully how each of these three historical achievements was proposed by Peirce himself, we find Peirce was determined to carry out an important mission—to extend the horizon of logic.
 1. Extension of logic and logical systems
 2. From monadic to dyadic/polyadic logic
 3. From symbolic to iconic representation
 Bibliography
 Other Internet Resources
 Related Entries
1. Extension of logic and logical systems
Charles Sanders Peirce was a philosopher, but it is not easy to classify him in philosophy, mainly because his work touched on many different areas of philosophy. Logic was one of the main topics on which Peirce wrote. If one focuses on logic, however, it becomes apparent that Peirce's concept of logic and his work on logic were much broader than his predecessors', his contemporaries', and ours. Peirce located logic in his large architectonic framework of philosophy, which is why some philosophers strongly believe that Peirce's logic cannot be properly understood without understanding his pragmatism and his semiotics, to mention but two. Even within the traditional boundaries of logic, Peirce made too many contributions to outline in a single article.
Acknowledging the nature of this nexttoimpossible task, we focus on Peirce's revolutionary achievements as follows: extending the horizon of logic in two dimensions, one from monadic properties to relations and the other from symbolic to diagrammatic systems. While the former contribution has positioned Peirce as a founder of modern logic along with Frege, it took much longer for the latter achievement of Peirce's to receive proper attention from logicians. The main goal of this entry is not only to present Peirce's accomplishments in extending both logic and logical systems, but also to explore the relation between these two novel developments.
In the next section, we locate the root of Peirce's introduction of quantifiers and bound variables. Starting with his 1870 paper “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus,” we follow the steps Peirce took until he presented the final form of his firstorder logic in his 1885 paper “On the Algebra of Logic: A Contribution to the Philosophy of Notations.” Our focus is on the main motivation behind Peirce's search for a new logic (rather than on the details of the final product) that could represent relations. Interestingly enough, we find that the same goal but from a slightly different angle is a driving force behind Peirce's new diagrammatic system, Existential Graphs (‘EG’ henceforth), that is, how to represent relational states of affairs in a better way. This is the topic of the third section. Again, it is important to remember that Peirce's Existential Graphs are not just an expansion of logical languages but underline Peirce's new approach to logic and formalization.
Finally, there is a brief discussion of Peirce's notes developing semantics for threevalued logic in the supplement
Peirce's ThreeValued Logic.
2. From monadic to dyadic/polyadic logic
Peirce and Frege, independently of each other, introduced quantifiers and bound variables, which is a big leap from the traditional Aristotelian logic to modern logic. What is the essence of the leap made by Peirce (and Frege)? Is it just a matter of introducing new notation, i.e. quantifiers and variables, so that we may easily formalize our reasoning? Nobody could deny the power of formalization which has led early 20th century mathematicians to surprising achievements and results.^{[1]}
If so, modern logic would simply be Aristotelian logic plus quantifiers/variables. Then, one of Peirce's main contributions to logic would be only to increase the scope of formalization. Some might agree with this evaluation, believing that increasing the scope of formalization is equivalent to increasing the scope of logic.
While acknowledging the enormous impact of the adoption of quantifiers/bound variables on the world of logic and mathematics, we would like to explore Peirce's insight behind the new formalism. In this section, we will show how Peirce's conviction about the novelty of the logic of relatives led him to the invention of quantifiers/variables. Hence, quantification theory, according to Peirce, is not a matter of an extension of formal vocabulary, but an expansion into territory that is qualitatively different from what Aristotelian logic covers.
Peirce's 1885 paper “On the Algebra of Logic: A Contribution to the Philosophy of Notations” has been considered to be the place where Peirce's quantification theory was fully presented. This is why we hear that there is a six year interval between Frege's Begriffsschrift (1879) and Peirce's quantification theory. Since Peirce was not aware of Frege's work on the topic, it is correct give credit to both logicians for their work on the foundations of modern logic. Nonetheless, there are two main reasons why Frege's contribution to the foundations of modern logic is distinctive: (i) Frege's Begriffsschrift was published before Peirce's “On the Algebra of Logic,” and (ii) Frege presented a logical system equipped with axioms and rules.
But the story has a couple of twists. One is that Peirce's 1870 paper exhibits his struggle for the essential feature of modern logic—the algebra of relations and quantified phrases, as we will see in section 2.1. The other interesting fact is that Peirce's work and notations were much better known to contemporary logicians and we had to wait for Russell to reintroduce Frege's first ‘discovery’ of quantifiers (Putnam 1982). For example, Ernst Schröder's Vorlesungen über die Algebra der Logik (1895) adopted Peirce's notation. Hence, strictly speaking, the Fregefirst view seems to be a more recent phenomenon than Peirce's/Frege's era.
Some Peirce scholars have also claimed that Peirce's invention of quantifiers is a product of Peirce's own philosophy of logic which is different from Frege's.^{[2]} Hintikka's (1997) proposal to explain a main difference between Frege's and Peirce's contribution to modern logic is quite intriguing. Borrowing van Heijenoort's distinction between Boole's logic as a calculus and Frege's universality of logic, Hintikka locates Peirce in Boole's camp, calling it the modeltheoretic tradition. Unlike Frege's view of the universe, the modeltheoretic tradition allows us to reinterpret a language and hence different universes may be assigned to quantifiers. Peirce's development of modal logic, according to Hintikka, is a good piece of evidence to show how fruitful Peirce's way of understanding quantifiers could be (Hintikka 1997). At the same time, Hintikka suggests that the recent Fregefirst view is a symptom of a bigger prejudice against the modeltheoretic tradition and for the universalist tradition of logic. Somewhat unique and unfortunate circumstances surrounding Peirce might be related to his own reputational lag, as some have speculated: No regular academic job, no luck with the publication of the major portion of his work on logic, unpopularity among mainstream academics, a certain obscurity found in his writings, etc.
It is not a goal of the present entry to settle this debate; the point is not to determine who deserves the credit as the founder of modern logic but rather to appreciate the novelty of the contribution each logician made to modern logic. In what follows, we focus on Peirce's own developments and aim to show that Peirce's insight about special features of relations (as opposed to nonrelations, i.e., properties) is the main driving force behind his inventions of both his quantification theory and his graphical systems. Hence, Peirce's invention of quantifiers/variables, we claim, is not just an introduction of new notation, but a reflection of Peirce's deep insight into a new logic to come. First, let's examine how Peirce's work on relations transformed into quantification theory.
2.1 Formalization of relations
Peirce's 1870 paper “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus” (DNLR) is the first place where Peirce presented the logic of relations in a full length, and his 1885 paper “On the Algebra of Logic: A contribution to the Philosophy of Notations” is where his quantification theory together with axiomlike “icons” presented in a comprehensive way.^{[3]}
As the title suggests, namely being faithful to Boole's algebraic notation, DNLR extends the territory of logic from nonrelations to relations.^{[4]} First, it is wellknown that a problem with Boole's existential propositions (as opposed to universal propositions) motivated Peirce (and others) to go beyond Boole's logic.^{[5]} It is somewhat instructive to compare the following three notations for Aristotelian statements:^{[6]}
Boole (1854)  Peirce (1870)  Mitchell (1883)  
All a are b.  ab = 0  a ≺ b  (a + b)_{1}  
No a is b.  ab = 0  a ≺ b  (a + b)_{1}  
Some a is b.  va = vb 

(ab)_{u}  
Some a is not b.  va = vb  [a ≺ b]  (ab)_{u} 
It is clear that all three logicians had quantification (i.e. “all” and “some”) in mind, but it is far from being clear whether Boole's problematic representation of existential statements caused Peirce to invent or move on to a notation for quantifiers and variables in something like a firstorder logic. Believing that is the case, and in light of Mitchell's more elaborate representation for twodimensional propositions (Mitchell 1883, 87), some have argued that Mitchell's use of quantifiers was the direct source for Peirce's introduction of quantifiers and bound variables (Geraldine Brady, in Houser et al., 1997). There is a strong possibility that Mitchell influenced Peirce's notation for quantifiers and bound variables (which appear in his 1885 paper). But, we need to note that Mitchell's subscript does not function as a bound variable. More importantly, this view, I am afraid, might overlook one crucial aspect of Peirce's quantification logic, namely his effort to mathematize and/or formalize relations. Hence, we cannot talk about Peirce's quantification logic without mentioning De Morgan's influence, in particular his writing on relations in logic.
The following picture emerges: Being inspired by Boole's algebra of logic, but at the same time taking his father's (Professor Benjamin Peirce) negative view of logic seriously,^{[7]} Peirce explored a way to extend Boole's spirit to a larger domain of our reasoning. The title of the 1870 paper spells out the project: “Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic.” The paper started with mentioning De Morgan's work on relations^{[8]} but after several examples concluded that “[t]his system [De Morgan's system] still leaves something to be desired.” By praising Boole's work in the next sentence, Peirce hinted at his plan to bring in the algebra of logic to improve the shortcomings of De Morgan's system. On the other hand, Boole's algebra of logic is “restricted to that simplest and least useful part of the subject, the logic of absolute terms” (CP, 3.45). Hence, Peirce's project is “to inquire whether it [Boole's algebra of logic] cannot be extended over the whole realm of formal logic … [and] to show that an affirmative answer can be given to this question” (CP, 3.45). What does he mean by ‘the whole realm of formal logic’? Peirce answers: “Deductive logic can really not be understood without the study of the logic of relatives” (CP, 3.641).
Correctly believing that traditional Aristotelian logic is too limited to be used for comprehensive deductive reasoning, Peirce sought to extend the algebra of logic beyond monadic predicates (which correspond to Boole's classes) so that our reasoning involving relations may be formalized in a system. In that sense, Peirce's pioneer work on modern logic started in the 1870 paper. This is not to raise again the Fregefirst or Peircefirst debate, but to draw our attention to the goal of Peirce's project, that is, to broaden the scope of formalization in logic. It is not a matter simply of the introduction of new vocabulary for quantifiers and bound variables where Peirce's main contribution to modern logic lies, but of his sharp appreciation of the distinction between properties and relations. Peirce's insight early on as to the importance of reasoning involving relations is a key element in understanding a difference between Peirce's and Frege's developments of firstorder logic.^{[9]} Furthermore, in the next section we will show how Peirce's obsession with the logic of relations led him to the invention of Existential Graphs.
Peirce intuited a fundamental difference between the logic of nonrelatives versus the logic of relations.^{[10]} Peirce makes an insightful remark about distinct logical nature for relations when negation is combined: “[W]hile in nonrelative logic negation only divides the universe into two parts, in relative logic the same operation divides the universe into 2^{n} parts, where n is the number of objects in the system which the relative supposes” (CP, 3.221, 1880). Suppose P is a monadic predicate (which is nonrelative). Then, given an object in the universe, we know it is either P or notP. However, in the case of relations, negation complicates the division of the universe. With a binary relation on a given pair of objects,^{[11]} there are four possible combinations, depending on whether it is “yes” or “no” to first and second elements of the pair. In the same manner, a ternary relation has the eight ways to carve up the given universe. It seems obvious that the complication that relations bring in our reasoning pushed Peirce to develop new notational systems. In other words, Peirce's invention of quantifiers and bound variables was an outcome of his struggle to expand the scope of formalization to cover relations. Merrill's paragraph is a nice summary for the matter:
It is widely recognized that Peirce's two most important contributions to logic were the logic of relations and the theory of quantification. It is also clear that these two aspects of his logic are closely connected, since Peirce's search for an adequate logic of relations stimulated his development of quantification theory. The quantification complexities of many relational statements cried out for quantifiers. (Merrill 1997, 158)
Hence, Peirce and Frege approached the project of modern logic from different directions: Peirce struggled with the formalization of reasoning involving relations and produced the representation of quantifiers/variables, while Frege aimed to present a system comprehensive enough to represent arithmetic. Peirce's battle for a new system of logic between 1870 and 1885 could remind us that propositional logic is as powerful as monadic predicate logic and quantifiers are needed for nonmonadic predicates. In the entry of Dictionary of Philosophy and Psychology (1911), Peirce himself summarizes the literature on the logic of relatives in the following way: “C.S. Peirce, in 1870, extended Boole's algebra of logic, so as to apply to them, and after many attempts produced a good general algebra of logic, together with another algebra specially adapted to dyadic relations (Studies in Logic, by members of the Johns Hopkins University, 1883, Note B, 187203)” (CP, 3.643).
His 1870 paper is far from being a final product of modern logic, but a milestone as the first attempt to formalize relations and to introduce quantified phrases. The goal of the project is, as Peirce lays out at the beginning of the paper, to apply Boole's algebra of logic to the realm of relations which De Morgan was interested in, and as we all know by now, firstorder logic is a logic of relations insofar as quantifiers and bound variables are dispensable for a logic of monadic predicates. Along with a notational distinction between monadic versus relational predicates in terms of plain fonts and italics, “lw” denotes “whatever is lover of a woman” (CP 3.68) and “l^{w}” means “a lover of every woman” (CP, 3.77). By connecting multiplication with the phrase ‘every’ and addition with ‘some,’ the following passage is a precursor for the notations which appear in his 1885 paper:
From this [Π′ ≺ Σ′, where Π′ signifies logical multiplication and Σ′ signifies logical addition] it follows that s^{w} ≺ sw [i.e. a servant of every woman is a servant of a woman] … From this we have (ls)^{w} ≺ lsw [i.e. a loverofaservant of every woman is a loverofaservant of a woman]. (CP, 3.97)
These notations and algebra led Dipert to the following statement: “C.S.Peirce was the first person in the history of logic to use quantifierlike variablebinding operators (briefly in 1870, W2, 392f, predating Frege's Begriffsschrift (1879))” (Dipert 2004, 290).
However, the limit of the project of the 1870 paper is clear. It does not present a calculus for the logic of relations: “I regret that I am not in a situation to be able to perform this labor [a calculus, or art of drawing inferences based on the notation I am to describe]” (CP, 3.45). Hence, as Dipert said, “this [no concern with axioms for logic or any ordering of theorems] causes for the modern reader an appearance of casualness, even sloppiness” (Dipert 2004, 297). Here is Putnam's observation:^{[12]} “Peirce gave no system of axioms for firstorder logic, although his “existential graphs” are a complete proof procedure for firstorder logic (an early form of natural deduction)” (Putnam 1982, 298). While a good portion of that paper was devoted to classification among relations, the paper has important notions which became consistent themes throughout Peirce's numerous writings on logic: assigning logical interpretations to mathematical (i.e., algebraic in this case) operations,^{[13]} relations as sets of ordered pairs, logical sum and logical product, compositions among relations, and matrix representation.^{[14]}
2.2 Introduction of vocabulary
Ten years later in a more comprehensive and more surveystyle paper, “On the algebra of logic,”^{[15]} we find the introduction of Σ and Π to express logical sums and logical products, and existential and universal quantifiers, respectively (CP, 3.223, 3.247 and 3.249). Interestingly enough, Peirce again focuses on compositions of relations and predicts when complexity arises, which must have pushed him to the invention of a new notation. In 1882,^{[16]} we see the appearance of these two quantifiers with bound variables: “If l denotes any general dual relative, then the coefficient of the pair I:J in l is written (l)_{i j}” (CP, 3.309). “Every relative term, x, is separable into a part called ‘selfx,’ Sx, such that Sx = Σ_{x}(x)_{ii}(I : I)” (CP, 3.310).
One more significant step before the completion of Peirce's notation of firstorder logic was taken in his 1883 appendix “The logic of relatives.”^{[17]} Even though it is not a complete paper but a note, the key notions of his new notation are spelled out more clearly than in previous papers. A relation is modeled by a pair of objects: “A dual relative term, such as “lover,” “benefactor,” “servant,” is a common name signifying a pair of objects” (CP, 3.328). Even though the basic idea for ordered pairs existed in the 1870 paper, we can see more clearly how it is combined with quantifiers and bound variables in the 1883 Note (CP, 3.329):
A general relative may be conceived as a logical aggregate of a number of such individual relatives. Let l denote “lover”; then we may write
l = Σ_{i}Σ_{j}(l)_{ij}(I : J)
where (l)_{ij} is a numerical coefficient, whose value is 1 in case I is a lover of J, and 0 in the opposite case, and where sums are to be taken for all individuals in the universe. (CP, 3.329)
With these tools, Peirce started formalizing sentences which require multiple quantifiers:
Thus,
Σ_{i}Σ_{j}(l)_{ij} > 0means that something is a lover of something; and
Π_{i}Σ_{j}(l)_{ij} > 0means that everything is a lover of something (CP, 3.351).
In the same paragraph, another significant move was made toward the modern style of firstorder logic, that is, to remove algebraic representation:
We shall, however, naturally omit, in writing the inequalities, the ‘> 0’ which terminates them all; and the above two propositions will appear as
Σ_{i}Σ_{j}(l)_{ij} and Π_{i}Σ_{j}(l)_{ij}(C, 3.351)
It is worthwhile noting that multiple quantifiers, i.e., both universal and existential quantifiers, are introduced in one sentence, and as we all know, this complicates the matter a great deal. It did not escape Peirce's attention:
The logic of relatives is highly multiform; it is characterized by innumerable immediate inferences, and by various distinct conclusions from the same sets of premises. … The effect of these peculiarities is that this algebra cannot be subjected to hard and fast rules like those of the Boolian calculus; and all that can be done in this place is to give a general idea of the way of working with it. (CP, 3.342)
When the relative and nonrelative operations occur together, the rules of the calculus become pretty complicated. (CP, 3.351)
Obviously, Peirce noticed a fundamental difference between the logic of nonrelatives and the logic of relatives, which corresponds to a difference between propositional and firstorder logic. I suspect this is one of the reasons why Peirce didn't share Frege's interest in developing an axiomatic system, at least for a while, until his EG was invented. For the rest of the Note, Peirce presents examples in the new notation involving multiple quantifiers. (CP, 3.352–3.357)
Reading one of Peirce's bestknown logic papers, the 1885 paper “On the algebra of logic: A contribution to the philosophy of notation,”^{[18]} we realize that as far as firstorder logic goes, the key concepts and vocabulary were already formed in his previous work discussed above. We also note that the goal of the 1885 paper outlined in the first section is more or less the same as the proposal made in his 1870 paper: “The first is the extension of the power of logical algebra over the whole of its proper realm” (CP, 3.364). Also, he almost reiterates the limit of the project which he “regrets” in 1870: “I shall not be able to perfect the algebra sufficiently to give facile methods of reaching logical conclusions” (CP, 3.364). That is, we should not expect a fullblown deductive system in this paper, but “I can only give a method by which any legitimate conclusion may be reached and any fallacious one avoided” (CP, 3.364). He carries out his promise in section 3 of the paper, by suggesting a list of methods of transformation, which is not complete. The following are some of the rules involving quantifers:^{[19]}
 ∀xφ(x) ∧
∀yφ(y) =
∀x∀y(φ(x) ∧
φ(y))
∃xφ(x) ∧ ∀yφ(y) = ∃x∀y(φ(x) ∧ φ(y))
∃xφ(x) ∧ ∃yφ(y) = ∃x∃y(φ(x) ∧ φ(y))  ∀x∀yχ(x,y) =
∀y∀xχ(x,y)
∃x∃yχ(x,y) = ∃y∃xχ(x,y)
∀x∃y(φ(x) ∧ ψ(y)) = ∃y∀x(φ(x) ∧ ψ(y))
∀x∃yχ(x,y) ≠ ∃y∀xχ(x,y)
∃x∀yχ(x,y) ⇒ ∀y∃xχ(x,y)  ∃x∀yχ(x,y) = ∃x∀y(χ(x,y) ∧ χ(x,x))
3. From symbolic to iconic representation
So far, we have argued that Peirce's insight on relations pushed him to extend the territory of logic from monadic, nonrelational, propositional logic to relational quantification logic. This is the beginning of modern logic as we know it. In this section, we take up a different angle of Peirce's adventure—to extend forms of representation from symbolic systems to diagrammatic systems. Believing the appreciation of this aspect of Peirce's project is yet to be fully realized, we present a story where his two different kinds of extension—one from nonrelations to relations and the other from symbolic to diagrammatic—are connected with each other.
In spite of Peirce's own evaluation of EG as ‘my chef d'oeuvre,’ EG had to wait to be understood for a half century until two philosophers—Don Roberts and Jay Zeman—produced their impressive work.^{[20]} In the 1980's, EG was receiving attention from new disciplines—computer science and artificial intelligence—thanks to John Sowa's novel application of EG to knowledge representation. More recently, interdisciplinary research on multimodal reasoning has drawn our attention to nonsymbolic systems (see, e.g., Barwise & Allwein (eds.) 1996, and Barwise & Etchemendy 1991) and EG, not surprisingly, occupied the top of their list. In that context, focusing on differences between symbolic versus diagrammatic systems, Shin came up with a new way of understanding the EG system.
While it is only linear expressions that we have run into during our journey from Peirce's 1870 to 1885 writings, the notation adopted in Frege's 1879 Begriffsschrift is more iconic; at least it is not as linear as Peirce's in the above period. However, it is Peirce, not Frege, who invented a fullblown nonsymbolic system for firstorder logic—Existential Graphs. As the EG system has been investigated more rigorously, philosophical questions involving Peirce's invention of the system have been raised as well. The discovery of EG's power and novelty has naturally led us to other parts of Peirce's philosophy. Why and how did the invention of EG come about? What does EG reveal about Peirce's view of logic and representation?
As the foremost important theoretical background for Peirce's EG, many of us have pointed out Peirce's theory of signs, which classifies signs as being of three kinds—symbols, indices, and icons. It is natural to connect Peirce's interest in icons with his invention of graphical systems. We do think the connection is real and the more we explore his view on signs the better we understand his EG (Shin 2002, 22–35). But, we do not think his sign theory could provide us with everything we need for the story of EG. There is a big gap between Peirce's talk about icons^{[21]} and his invention of fullblown graphical systems.
In a slightly different and bigger picture, van Heijenoort's's distinction between Boole's calculus ratiocinator versus Frege's lingua characteristica could be related to the topic. Agreeing with both Hintikka's and Goldfarb's evaluation that Peirce belongs to Boole's tradition, Shin finds a connection between the modeltheoretic view of logic (where Boole and Peirce are placed) and EG's birth. (See Shin 2002, 14–16.) However, Peirce's awareness of the reinterpretation of language is necessary, but not sufficient, for his pursuit of a different form of representation. While acknowledging the possibility of different models of a given system was presupposed by Peirce's project for various kinds of systems, not every Boolean has presented multiple systems.
3.1 Pragmatic maxim
Without challenging these existing explanations involving Peirce's EG, in this entry we would like to bring in one overlooked but crucial aspect of Peirce's journey to EG so that our story may fill in part of the puzzle of Peirce's overall philosophy. Peirce's mission for a new logic started with how to represent relations, which led him to invent quantifiers and bound variables, as we discussed in the previous section. The same commitment, that is, to represent relations in a logical system, we claim, was a main motivation behind Peirce's search for a new kind of sign systems—iconic representation of relations. Peirce's work on Euler/Venn diagrams provides us with another piece of evidence to support our claim that the main motivation behind EG was to represent relations. While improving Venn systems, Peirce realizes that the following defect cannot be eliminated:
[T]he system [Venn's] affords no means of exhibiting reasoning, the gist of which is of a relational or abstractional kind. It does not extend to the logic of relatives. (CP, 4.356)
Again, we do not think this is the crucial ingredient for the creation of EG, but one key element which works nicely together with his theory of signs and his modeltheoretic view of logic.
Peirce's graphical representation first appears in his 1897 paper “The Logic of Relatives” (The Monist, 7 (1897): 161–217 and reprinted in CP, 3.456–3.552). After his own new notation came out in 1885 as seen above, why did Peirce revisit the logic of relations? The first paragraph of the paper provides a direct answer:
I desire to convey some idea of what the new logic is, how two “algebras,” that is, systems of diagrammatical representation by means of letters and other characters, more or less analogous to those of the algebra of arithmetic, have been invented for the study of the logic of relatives, and …. (CP, 3.456)
Two things should be noted. One is that diagrammatic systems are also called ‘algebra’ by Peirce. That is, according to Peirce, algebra is not limited to symbolic systems. The other is that Peirce makes it clear that two different forms of algebra carry out the new logic, not new logics.
How does he start the project of a different form of systems for the same logic as the logic implemented in his 1885 notation? “I must clearly show what a relation is” (CP, 3.456). The clear understanding of ‘relations,’ Peirce believes, is a guide for his excursion into different forms of logical systems. To the reader's surprise, Peirce devotes three sections to the three grades of meaning presented in his wellknown paper “How To Make Our Ideas Clear.”^{[22]} (See the entry on Peirce's Theory of Signs.)
The first grade of understanding the word ‘relation’ comes from our ordinary experience, and the second grade is to have a more abstract and general definitionlike understanding. According to Peirce, that is not enough to achieve a full understanding of the word ‘relation’' Finally, Peirce's hallmark of the pragmatic maxim leads us to the third grade of clarity:
It appears, then, the rule for attaining the third grade of clearness of apprehension is as follows: Consider what effects, which might conceivably have practical bearings, we conceive the object of our conception to have. Then the whole of our conception of those effects is the whole of our conception of the object. (CP, 5.402)
In order to understand what a relation is, we need to know what follows from it. Then, the question is how we know what its consequences are. Here is one answer given by Peirce in the 1897 paper, as far as the term “relation” goes:
The third grade of clearness consists in such a representation of the idea that fruitful reasoning can be made to turn upon it, and that it can be applied to the resolution of difficult practical problems. (CP, 3.457)
Therefore, how a relation is represented is crucial in figuring out what follows from a relational state of affairs. Better representations will yield more ‘fruitful reasoning’ and hence, will be more helpful for solving practical problems. It is obvious that in the paper Peirce intends to search for more desirable representations. Importantly, in section 4 when the third grade of clearness of the meaning ‘relation’ is discussed, diagrammatic representation of relations makes its first appearance.
Being inspired by A. B. Kempe's graphic representation, Peirce finds an analogy between relations and chemical compounds: “A chemical atom is quite like a relative in having a definite number of loose ends or ‘unsaturated bonds,’ corresponding to the blanks of the relative” (CP, 3.469). A chemical molecule consists of chemical atoms, and how atoms are connected with one another is based on the number of loose ends of each atom. For example, chemical atom H has one loose end and chemical atom O has two. So, the following combination is possible, and it is a representation of the water molecule, H_{2}O:
H
│H ─ O
An analogy to the logic of relations runs like this: A proposition consists of names (proper names or indices) and predicates, and each predicate has a fixed arity. For example, the predicate ‘love’ needs two names and ‘give’ three. Hence, the following diagrammatic representation is grammatical and it is a representation of the proposition “John loves Mary.”
Mary
│John ─ Loves
Peirce created a novel and productive analogy in representation between chemistry and the logic of relation by adopting the doctrine of valency as the key element for the analogy, as shown in the above two diagrams. Believing that this graphic style of representation would help us conceive the consequences or effects of a given relation in a more efficient way, Peirce presents Entitative Graphs, which is a predecessor of EG.^{[23]}
EG keeps the representation of a relation developed here, and remains as Peirce's final and the most cherished notation for the logic of relations (CP, 3.394–3.529). EG consists of three parts, Alpha, Beta, and Gamma, which correspond to propositional, firstorder, and modal logic, respectively. After presenting the Alpha system in a formal way, we discuss the Beta system of EG focusing on Peirce's novel ideas in expanding a propositional graphic system to a quantificational graphic system. For more details, we recommend works on EG by Roberts, Zeman, Sowa, and Shin.
3.2 Alpha system
[Syntax]
Vocabulary
 Sentence symbols: A_{1}, A_{2}, …
 Cut
Wellformed diagrams
 An empty space is a wellformed diagram.
 A sentence symbol is a wellformed diagram.
 If D is a wellformed diagram, then so is a single cut of D (we write ‘[D]’) .
 If D_{1} and D_{2} are wellformed diagrams, then so is the juxtaposition of D_{1} and D_{2} (write ‘D_{1} D_{2}’).
 Nothing else is a wellformed diagram.
Here we present two equivalent reading methods for the system. The Endoporeutic reading algorithm, formalized based on Peirce's own suggestion, is a traditional way to understand EG. An alternative reading method, the Multiple reading algorithm, was more recently presented to approach EG in a more efficient way.^{[24]}
[Endoporeutic Reading Algorithm]
 If D is an empty space, then it is translated into ⊤.
 If D is a sentence letter, say A_{i}, then it is translated into A_{i}.
 Suppose the translation of D is α. Then, [D] is translated into (¬α).
 Suppose the translation of D_{1} is α_{1} and the translation of D_{2} is α_{2}. Then, the translation of D_{1} D_{2} is (α_{1} ∧ α_{2}).
[Multiple Readings Algorithm]^{[25]}
 If D is an empty space, then it is translated into ⊤.
 If D is a sentence letter, say A_{i}, then it is translated into A_{i}.
 Suppose the translation of D is α. Then, [D] is translated into (¬α).
 Suppose the translation of D_{1} is
α_{1} and the translation of D_{2} is
α_{2}.
 the translation of D_{1} D_{2} is (α_{1} ∧ α_{2}),
 the translation of [D_{1} D_{2}] is (¬α_{1} ∨ ¬α_{2}),
 the translation of [D_{1} [D_{2}]] is (α_{1} → α_{2}), and
 the translation of [[D_{1}] [D_{2}]] is (α_{1} ∨ α_{2}).
Each of these two readings has its own strength. The Endopreutic reading assures us that the Alpha system is truthfunctionally complete, since it has power to express conjunction and negation. However, this traditional method has been partly responsible for the following two incorrect judgments about Alpha diagrams: (i) There is not much difference between the Alpha system and a propositional language with only two connectives, ∧ and ¬, except that Alpha diagrams have cuts instead of symbolic connectives. (ii) When it comes down to practical use, just as we do not want to use only two connectives in a language, we have no reason to adopt the Alpha system over propositional languages with more connectives.
Challenging these misconceptions, the Multiple readings algorithm shows that Alpha diagrams do not have to be read off as a sentence with ‘∧’ and ‘¬’ only, but can be directly read off in terms of other connectives as well. Two questions may be raised: (i) Is there a redundancy in the Multiple readings method? For example, is 4(b) above dispensable in terms of 3 and 4(a)? (ii) Does this new reading show that the Alpha system is just like a propositional language with various connectives?
Let us answer these questions through the following simple example:
Example:
The following graph is translated into the following four formulas:
¬(¬R ∧ ¬S) Endoporeutic Reading R ∨ S 4(d) of Multiple Readings ¬R → S 3 and 4(c) of Multiple Readings ¬¬R ∨ ¬¬S 3 and 4(b) of Multiple Readings
The Endoporeutic reading allows us to get the first reading only, but we may obtain different sentences by the Multiple Readings. Of course, all of these sentences are logically equivalent. Here is an interesting point: In the case of symbolic systems, we need to prove the equivalence among the above sentences by using inference rules. But, derivation processes are dispensable in the case of the Alpha system when the Multiple readings are adopted.^{[26]} Hence, having the clause 4(b) above in addition to clauses 3 and 4(a) is not redundant, but instead highlights a fundamental difference between Alpha diagrams and a symbolic language with various connectives. (See Shin 2002, §§4.3.2, 4.4.4, and 4.5.3.)
Since we have the semantics for propositional logic and our reading methods translate Alpha diagrams into a propositional language, we can live without the direct semantics. However, if one insists on the direct semantics, here we go.
[Semantics]
Let v be a truth function such that it assigns T or F to each sentence letter and T to an empty space. Now, we extend this function to v as follows:
 v(D) = v(D) if D is a sentence symbol or an empty space.
 v([D]) = T iff v(D) = F.
 v(D_{1} D_{2}) = T iff v(D_{1}) = T and v(D_{2}) = T.
Since it is a deductive system, we need inference rules. (See Roberts 1973, 40–45.)
[Transformation Rules]
R1 The rule of erasure. Any evenly enclosed graph may be erased. R2 The rule of insertion. Any graph may be scribed on any oddly enclosed area. R3 The rule of iteration. If a graph P occurs on SA or in a nest of cuts, it may be scribed on any area not part of P, which is contained by {P}.^{[27]} R4 The rule of deiteration. Any graph whose occurrence could be the result of iteration may be erased. R5 The rule of the double cut. The double cut may be inserted around or removed (where it occurs) from any graph on any area.
Emphasizing the symmetry both in erasure versus insertion and in even versus odd number of cuts, Shin rewrote the rules (2002, 84–85):
[Reformulated Transformation Rules]
RR1: In an Earea, say, area a,
 we may erase any graph, and
 we may draw graph X, if there is a token of X either
 in the same area, i.e., area a, or
 in the nextouter area from area a.
RR2: In an Oarea, say, area a,
 we may erase graph X, if there is another token of X either
 in the same area, i.e., area a, or
 in the nextouter area from area a, and
 we may draw any graph.
RR3: A double cut may be erased or drawn around any part of a graph.
For examples of deduction sequences, refer to Roberts' pp. 4546 and Shin 2002, p. 91.
3.3 Beta system
In §2, we showed that formalizing relations was a key motivation behind Peirce's new logic—firstorder logic. In §3.1, we established a connection between Peirce's own pragmatic maxim and his graphic representation of relations. Peirce did not aim to present a new logic by the invention of a graphic system, but to present another new notation for the logic carried out by quantifiers and bound variables. He almost took it for granted that a graphic representation of relations helps us observe their consequences in a more efficient way. Hence, the Beta system may be considered to be the final stop of Peirce's long journey which started in 1870 at the latest.
We will not go into the formal details of the Beta system in the entry but refer to Chapter 5 of Shin where three slightly different approaches to Beta graphs, Zeman's, Roberts', and Shin's, are discussed at a full length. While Zeman's reading is comprehensive and formal, Roberts' method seems to appeal to a more intuitive understanding of the system. Taking advantage of the merits of these two existing works, Shin developed a new reading method of Beta graphs and reformulated the transformation rules of the system.^{[28]} Her approach focuses on visual features of Beta graphs and highlights fundamental differences between symbolic versus diagrammatic systems. In the remaining part of the entry, we would like to examine how the essence of the logic of relations is graphically represented in the Beta system so that the reader may place EG in the larger context of Peirce's enterprise.
The introduction of quantifiers and bound variables is believed to be one of the key steps of firstorder logic in the case of symbolic systems. This is why some logicians take Peirce's 1885 paper “On the Algebra of Logic: A contribution to the Philosophy of Notations” to be the birthplace of modern logic. Then, how does Peirce represent quantifiers and bound variables in Beta graphs?
Interestingly enough, when Peirce considered a graphic system, representation of quantifiers was not his first concern, but representation of relations. As we said in §3.1, for a full understanding of relations Peirce presented diagrammatic representation based on an analogy to chemical molecules. Hence, the arity of a predicate is represented by the number of lines radiating from the predicate term. Next, Peirce extends the use of a line to connect predicates:
In many reasonings it becomes necessary to write a copulative proposition in which two members relate to the same individual so as to distinguish these members.… [I]t is necessary that the signs of them should be connected in fact. No way of doing this can be more perfectly iconic than that exemplified in [the following graph] (CP, 4.442):
The line connecting two predicates, representing one and the same object, is called a line of identity by Peirce. That is, the sameness is represented visually in Beta diagrams.^{[29]} In the case of a symbolic language, we may adopt one and the same variabletype to represent the identity. For example, the above diagram says ∃x(x<A ∧ B<x), and hence, the variabletype x (roughly) corresponds to the identity line. However, the same variabletype is not sufficient for expressing the sameness in other cases, e.g., ∃x(x<A ∧ B<x) → ∃x(x<C).
The way universal and existential statements are represented in the Beta system highlights a difference between graphic and symbolic systems. Rather than adopting one more syntactic device for quantification, Peirce relies on the following visual features:
[A]ny line of identity whose outermost part is evenly enclosed refers to something, and any one whose outermost part is oddly enclosed refers to anything there may be.^{[30]}
Let us borrow the two following graphs from Roberts^{[31]}:
The first graph (where the outermost part of the line is evenly, zero, enclosed) says that something good is ugly, and the second graph (where the outermost part is enclosed once) says that everything good is ugly.^{[32]}
How about the scope problem which arises when multiple quantifiers are used? In the case of a symbolic system, the linear order takes care of the problem. Peirce's solution for EG is to read off another kind of visuality: The less enclosed the outermost part of a line is, the larger the scope that the line gets.
Roberts' following example illustrates the scope matter nicely (1973, 52):
The first graph says ∀x(Catholic(x) →∃y(Adores(x,y) ∧ Woman(y))) and the second ∃y(Woman(y) ∧ ∀x(Catholic(x) → Adores(x,y))). In the first graph, the line whose outermost part is oddly enclosed is less enclosed than the line whose outermost part is evenly enclosed. Therefore, the universal quantifier has larger scope than the existential quantifier. In the second graph, it is the other way around.
Let us summarize three interesting features of the Beta system:
 Relations are represented graphically, not symbolically, in the Beta system, in terms of a line. We argued that ultimately Peirce's pragmatic maxim was behind this alternative way of representation.
 A distinction between universal versus existential statements is represented by the visual fact about whether the outermost part of a line lies in an area enclosed either by an odd number or by even number of cuts.
 The order of quantification is represented by the following visuality: The less enclosed a line is, the more extensive scope it has.
Bibliography
A. Primary Sources
Primary sources for C. S. Peirce's work
See the list of primary sources in the entry on Charles Sanders Peirce.
Works by C. S. Peirce cited in this entry
[CP], Collected Papers of Charles Sanders Peirce, Charles Hartshorne and Paul Weiss (eds.), Cambridge, MA: Harvard University Press, 1960, Volumes 3–5.
 (1870) “Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus,” in Memoirs of the American Academy, 9: 317–78; reprinted in CP, 3.45–3.148.
 (1878) “How To Make Our Ideas Clear,” in Popular Science Monthly, 12: 286–302; reprinted in CP, 5.388–5.410.
 (1880) “On the algebra of logic,” in American Journal of Mathematics, 3: 15–57; reprinted in CP, 3.154–3.251.
 (1882) “Brief description of the algebra of relatives,” manuscript; reprinted in CP, 3.306–3.321.
 (1883) “The logic of relatives” in Studies in logic by members of the Johns Hopkins University, C.S. Peirce (ed.), Note B, pp. 187–203; reprinted in CP, 3.328–3.358.
 (1885) “On the algebra of logic: A contribution to the philosophy of notation,” in The American Journal of Mathematics, 7 (2): 180–202; reprinted in CP, 3.359–3.403.
 (1885?) “Note,” undated but written for the issue of The American Journal of Mathematics, just after the previous article; reprinted in CP, 4.403A–4.403M.
 (1897) “The logic of relatives,” in The Monist, 7: 161–217; reprinted in CP, 3.456–3.552.
 (1903) “Existential Graphs,” in A Syllabus of Certain Topics of Logic, 15–23; reprinted in CP, 4.394–4.417.
 (1903) “On Existential Graphs, Euler's Diagrams, and logical algebra,” Unpublished manuscript; printed in CP, 4.418–4.529.
 (1906) “Prolegomena to an apology for pragmaticism,” in The Monist, 16: 492–546; reprinted in CP, 4.530–4.572.
 (1911) “Notes on symbolic logic and mathematics,” in Dictionary of Philosophy and Psychology (Volume 1), J. M. Baldwin (ed.), New York: The Macmillan Company, p. 518; and reprinted in CP, 3.609–3.645.
 (1911) “Euler's Diagrams,” in Dictionary of Philosophy and Psychology (Volume 2), J. M. Baldwin (ed.), New York: The Macmillan Company, p. 28; reprinted in CP, 4.347–4.371.
B. Secondary Sources
 Atkin, Albert, 2009, “Peirce's theory of signs,” Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/spr2009/entries/peircesemiotics/>.
 Barwise, Jon and Gerard Allwein (eds.), 1996, Logical Reasoning with Diagrams, New York: Oxford University Press.
 Barwise, Jon and John Etchemendy, 1991, “Visual information and valid reasoning,” in Visualization in Teaching and Learning Mathematics, W. Zimmerman and S. Cunningham (eds.), Washington, DC: Mathematical Assoication of America, pp 9–24.
 Brady, Geralidine, 1997, “From th, algebra,of relations to the logic of quantifiers,” in Houser et al. (eds.) 1997, pp. 173 – 192.
 Burch, Robert, 1997, “Peirce o, the,application of relations to relations,” in Houser et al. (eds.) 1997, pp. 206 –233.
 –––, 2010, “Charles Sanders Peirce,” Stanford Encyclopedia of Philosophy (Fall 2010 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2010/entries/peirce/>.
 Dau, Frithjof Dau, 2006, “Fixing Shin's Reading Algorithm for Peirce's Existential Graphs, ” in Diagrammatic Representation and Inference (Lecture Notes in Computer Science, Vol. 4045), D. BarkerPlummer, R. Cox, and N. Swoboda (eds), HeidelbergBerlin: SpringerVerlag, pp. 88–92.
 Dipert, Randall, 1984, “Peirce, Frege, the logic of relations, and Church's theorem,” in History and Philosophy of Logic, 5 (1): 49–66.
 –––, 1984, “Peirce's 1883 Studies in Logic,” in History and Philosophy of Logic, 4: 1–9. [A review of the 1983 reprinted edition.]
 –––, 1984, “Review of Studies in Logic by members of Johns Hopkins University,” in Transactions of the Charles S. Peirce Society, 20 (4): 469–472.
 –––, 1995, “Peirce's underestimated place in the history of logic: A response to Quine,” in Peirce and Contemporary Thought, by Kenneth L. Ketner (ed.), New York: Fordham University Press.
 –––, 1996, “Reflections on iconicity, representation, and resemblance: Peirce's theory of signs, Goodman on resemblance, and modern philosophies of language and mind,” Synthese, 106: 373–397.
 –––, 2004, “Peirce's deductive logic: Its development, influence, and philosophical significance,” in The Cambridge Companion to Peirce, Cheryl Misak (ed.), Cambridge: Cambridge University Press, pp. 287–324.
 Frege, Gottlob, 1879, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle a. S.: Louis Nebert. Translated in Conceptual Notation, and related articles, Terrell Ward Bynum (trans.), Oxford: The Clarendon Press.
 Goldfarb, Warren, 1979, “Logic in the twenties: The nature of the quantifier,” in Journal of Symbolic Logic, 44 (3): 351–368.
 GrattanGuinness, Ivor and Alison Walsh, 2008, “Benjamin Peirce,” Stanford Encyclopedia of Philosophy (Fall 2008Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2008/entries/peircebenjamin/>
 Herzberger, Hans G. , 1981, “Peirce's remarkable theorem,” in Pragmatism and Purpose: Essays Presentened to Thomas A. Goudge, Leonard Wayne Sumner (ed.), Toronto: University of Toronto Press, pp. 4158 and 297301.
 Hintikka, Jaakko, 1980, “C. S. Peirce's ‘First Real Discovery’ and its Contemporary Relevance,” in The Monist, 63: 304–315.
 –––, 1988, “On the development of the modeltheoretic viewpoint in logical theory,” Synthese, 77: 1–36.
 –––, 1990, “Quine as a member of the tradition of the universality of language,” Perspective on Quine, Robert Barret and Roger Gibson (eds.), Cambridge, MA: B. Blackwell, pp. 159–175.
 –––, 1997, “The Place of C.S. Peirce in the history of logical theory,” in The Rule of Reason, Brunning and Forster (eds.), Toronto: University of Toronto Press.
 Houser, N., and D. Roberts and J. van Evra (eds.), 1997, Studies in the logic of Charles Sanders Peirce, Bloomington and Indianapolis: Indiana University Press.
 Ketner, Kenneth L. (ed.), 1995, Peirce and Contemporary Thought, New York: Fordham University Press.
 Iliff, Alan,, 1997, “The role of the matrix representation in Peirce's development of the quantifiers,” in Houser et al. (eds.) 1997, pp. 193–205.
 Merrill, Daniel, 1997, “Relations and quantification in Peirce's logic, 1870–1885” in Houser et al. (eds.) 1997, pp. 158 – 172.
 Mitchell, O. H., 1883, “On a new algebra of logic,” in C.S. Peirce (ed.), Studies in logic by members of the Johns Hopkins University, Boston: Little, Brown, and Company, pp. 72–106.
 Putnam, Hilary, 1982, “Peirce the Logician,” in Historia Mathematica, 9: 290–301
 Quine, W. V. O., 1985, “In the Logical Vestibule,” Times Literary Supplement, 12: 767.
 –––, 1995, “Peirce's Logic,” in Peirce and Contemporary Thought, by Kenneth L. Ketner (ed.), New York: Fordham University Press, pp. 23 –31
 Roberts, Don, 1973, The Existential Graphs of Charles S. Peirce, The Hague: Mouton.
 Savan, David, 1988, An introduction to C. S. Peirce's Full System of Semiotics, Toronto; Toronto Semantic Circle, 2nd edition
 Shin, SunJoo, 1994, “Kant's Syntheticity Revisited by Peirce,” Synthese, 113: 1–41.
 –––, 2002, The Iconic Logic of Peirce's Graphs, Cambridge: MIT Press.
 Sowa, John, 1984, Conceptual Structure: Information Processing in Mind and Machine, Reading, MA: AddisonWesley.
 Van Evra, James, 1997, “Logic and mathematics in Charles Sanders Peirce's ‘Description of a notation for the logic of relatives’,” in Houser et al. (eds.) 1997, pp. 145–157.
 van Heijenoort, Jean, 1967, “Logic as calculus and logic as language,” Synthese, 17: 324–330.
 Zalta, Edward, 2010, “Frege's Logic, Theorem, and Foundations for Arithmetic,” Stanford Encyclopedia of Philosophy (Fall 2010 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2010/entries/fregelogic/>.
 Zeman, J. Jay, 1964, The Graphical Logic of C. S. Peirce, Ph. D. Dissertation, Department of Philosophy, University of Chicago.
 Zeman, J. Jay, 1986, “Peirce's Philosophy of Logic,” Transactions of the Charles S. Peirce Society, 22: 1–22.
Other Internet Resources
 Hammer, Eric, “Peirce's Logic”, Stanford Encyclopedia of Philosophy (Fall 2010 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2010/entries/peircelogic/>. [This was the previous entry on Peirce's logic in the Stanford Encyclopedia of Philosophy—see the version history.]
Related Entries
Frege, Gottlob: logic, theorem, and foundations for arithmetic  Peirce, Benjamin  Peirce, Charles Sanders  Peirce, Charles Sanders: theory of signs
Acknowledgments
We would like to thank Randall Dipert for his excellent comments on the present entry. The main text of this entry is by SunJoo Shin but the supplement on threevalued logic is from the previous entry on this topic by Eric Hammer. He is thus credited as a coauthor for this entry.