Skip to main content
Log in

Two papers on existential graphs by Charles Peirce

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Notes

  1. [Louis Couturat (1868–1914). See Peirce’s letter to Josiah Royce 19 January 1902. The article in question was Peirce’s draft entry “Symbolic Logic” for Baldwin’s Dictionary of Philosophy and Psychology].

  2. [On the notebook cover is written: “For the National Academy of Sciences 1906 April Meeting in Washington”. Peirce prepared the following paper to be a 40 min presentation, as the timing that appears in the marginal, reproduced here, make it clear. The timing is quite accurate, assuming that the graphs were projected or drawn on the blackboard prior to the presentation. If Peirce also read MS 499 first, it would have added some 25 min to the total reading time, making the entire presentation certainly consistent with what conference report in the Nation described as the last and “a long paper by Mr. C. S. Peirce”].

  3. [Alt. from MS S-36:]  ...be discoursing about. Any object we please may be looked upon as logically indivisible or individual; and the dot considered in itself has no other meaning than that its object is so apprehended. But to scribe it on the recto is so apprehended. But to scribe it on the recto is to assume a responsibility. It is to assert that this object exists in the universe. The place on the sheet refers to the individual occasion at which the assertion takes place. Two dots, then, denote each an individual object; and they present themselves to the asserting mind on different occasions. Whether or not they are different existents does not appear. Now if we wish to describe that occasion, we shall naturally write the description along by it. Suppose for instance that this dot \(\bullet \) denotes the present moment and this part of Washington. Then if we wished to make believe that it now and here rains we should scribe \(\bullet \)it rains or \(\bullet \)rains. A dot on another part of the sheet will denote some other existential occasion, say Peking at this instant; and if we wished to assume that it is snowing there, we should write against that dot \(\bullet \)snows. Now suppose we say that any such graph always asserts the same thing, no matter what may be scribed on distant parts of the sheet. If then both graphs are scribed both will be asserted. We now come to consider the verso, which is usually appropriated to imparting information about subjective possibilities or what may be true for aught we know. Now since the act of scribing a graph records an item of information, and since every item of information consists either in adding to the number of facts that we know to exist or else in subtracting from the subjective possibilities, it follows that a graph scribed on the recto must be affirmed while a graph scribed on the verso must be denied.

  4. [Ernst Schröder (1841–1902). See Peirce’s letter to William James, 25 Dec 1909, and MS 478, 1903, Syllabus of Logic, Remark on the Gamma Rims].

  5. [MS 478, 1903, the unpublished parts are to be published in Pietarinen, A.-V. (ed.), Logic of the Future: Peirce’s Writings on Existential Graphs, to appear].

  6. [Del.:] Thirdly, any part of a ligature or line of identity, including any points of teridentity, but excluding any extremities may be erased provided that attached to all the new extremities so formed there be scribed one and the same singular monadic graph, which must not occur anywhere else; and the original line may be restored at any time. This device is a mere superfluity which occasionally helps in puzzling cases. It needs no special permission. It here serves as an introduction to the following. Any annular area which [is] entirely blank unless for lines of identity each reading from the outer cut to the inner one can be anywhere suppressed by allowing the outer and inner areas to merge, the two cuts being closed up, and such an annular area may be created in any area. (30 min)

  7. See Peirce to F. A. Woods, October 14, 1913, where Peirce recounts his accident to have happened “23 months ago”, that is, in November. In the August 28, 1913 letter to Paul Carus he dates the accident to 13 December 1911.

  8. I must acknowledge that my assertion that the reader’s study of the reason of critic of necessary deduction will be greatly facilitated by the study practice of this diagrammatic syntax is merely an analogical inference from my own experience. I had studied and practiced the whole theory of reasoning for many years and perhaps was unconsciously puffed up with my acquisitions as a true the ideal student never will be. All I can say for certain is that after some years’ acquaintance with this syntax I found it had taught me a good deal more than I had at all suspected that it could. Beyond that I cannot know how much a reader will gain from similar practice.

  9. By the “Substance” of an assertion is to be understood that state of things or event whose Reality it asserts.

  10. C.d.r.V. 1st Aufl. S. 169ff.

  11. Any dispute on this point must, I think, be a dispute about words. For all I mean is that if a diagram, or model, or true representation of any kind that any being could make, should represent the Copulate Premiss to be true, it would ipso facto represent every Deductive Conclusion to be true, although, these being endlessly manifold, it could not expressly represent this of every such conclusion. That is it could not concentrate attention on them all; although it would mean all that consistency would make it mean; and being an assertion, it would assert all that. It is not words that are “asserted”, but facts: any dictionary ought to say that. Consequently, “Cain killed Abel”, “Abel was killed by Cain”, and “The death of Abel was directly due to the intentional agency of Cain” are not three assertions, but only three forms in which of one and the same assertion may be clothed.

  12. The number of interesting propositions deducible from the definition of such a single proposition as the def series of positive integers is very great, while that deducible from the definition of projective space is enormous.

  13. [Peirce either did not write this glossary or it has been lost as far as his present planned book on reasoning is concerned. See MS S-26 (1904), to appear in Pietarinen, A.-V. (ed.), Logic of the Future: Peirce’s Writings on Existential Graphs, for an extensive glossary nearing 200 terms in total on the terminology he employed for the theory and method of existential graphs].

  14. See Monist, Vol. VII, pp. 168 et seq.

  15. [The graph in Fig. 10, for which Peirce did not provide a reading, asserts that it is not the case that something exists that is identical to itself, in other words, it expresses a denial of well-definedness: that the universe of discourse is empty].

  16. [Figures 21, 22, which Peirce did not draw in the main sequence of the manuscript, are found among the loose pages (p. 15) and have been added here and renumbered].

    figure 35
    figure 36
    figure 37
    figure 38
    figure 39
    figure 40
    figure 41
    figure 42
  17. [Alt.:] In order still further to make the reader acquainted with the Syntax of Existential Graphs, a series of problems shall at once be proposed, each requiring something to be expressed in this Syntax, with their solutions, as follows:

    1. Required to express all those independent properties of Positive Integers, which are independent of any application of them. Solution. Let—\(w\) mean something is a positive integer; and let \(x\)\(l\)\(y\) mean \(x\) is lower than \(y\). Let \(x\)\(t\)\(y\) mean \(x\) is true of \(y\). [end of Alt.]

  18. [Peirce wrote both “can” and “cannot” here without, I presume, noticing to cross out “cannot”].

  19. [Figure numbering has been corrected from Fig. 22 to Fig. 23].

  20. [The graph in Fig. 28 may be taken to read, “If there is a neat animal then it is offspring of a cow and offspring of a bull”].

  21. [This corresponds to the double-cut rule].

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ahti-Veikko Pietarinen.

Appendix: Assurance Through Reasoning (MS 669)

Appendix: Assurance Through Reasoning (MS 669)

MS 669. 25 May to 2 June 1911. Houghton Library.

Deductive Reasoning. The word Deduction will here be used in a generalized sense to include all necessary, or mathematical Reasoning,—every reasoning of which the premisses,—or, as they will here be termed, the Copulate Premiss, having been asserted, the Conclusion cannot consistently be denied without self-contradiction; so that all that the latter asserts has really been already asserted in the former.Footnote 11 Although all Deduction, as I use the word, is thus Necessary Reasoning, it will, nevertheless, be convenient to speak of “Probable Deduction” as distinct from “Necessary Deduction”; the term “Probable Deduction” being used to denote any Necessary Reasoning that concludes that under stated conditions a given kind of event would have a stated Probability. Example: That any homogeneous cubical die will, at any given throw, turn up six is a chance against which the odds are 5–1. decidedly improbable. Therefore, it is very improbable that a pair of quite disconnected good dice should turn up sixes at any given throw without referring to any calculation of Probabilities.

The study of Necessary Deduction is much facilitated by expressing the Copulate Premiss, not in ordinary grammatical form, but in a sort of “diagrammatic syntax” of which an explanation shall forthwith be described, along with the terminology required in this description. A piece of paper having been taken for this use, and noun or verb written upon it is to be understood as asserting that the object, action, or state signified by what is written is actualized somewhere at some time, past, present or future. If two such words are written, both assertions are made. But if one or more of the words is surrounded by a fine line, that which would have been asserted if it had not been so enclosed is to be understood as being thereby, precisely and as a whole, denied. For example, Fig. 1 would assert that it does not both rain and thunder. Strictly it ought to mean that it either never rains or never thunders, but unless the reasoning turns on such an interpretation, it will not be worth while to be particular on such points, and when nothing to the contrary is asserted it is to be understood that all that is on any one of the sheet refers to some one place and some one time. Common sense on the part of the interpreter is supposed in this special respect, although in others a free rein must not be accorded to that useful servant to him who holds it with a firm hand.

figure 20

A heavy dot before a verb will denote the perfectly indefinite subject of the verb. A similar dot after the verb will denote with the same indefiniteness its direct object; and such a dot close under the verb will usually denote the dative indirect object. But such conventions must yield to convenience. Similarly, places about other words may be appropriated, each to denote “something” in a particular relation to that which the word signifies. Any such heavy dot may be prolonged into a heavy line; and when this is done the whole line continues to denote the same identical individual. If such line joins another, the junction asserts the identity of two “somethings”. But if it be desired to draw one such “line of identity” across another without joining them, there are two ways of doing so. The first is to make a little bridge, as in Fig. 2 which may be read “Somebody is husband of somebody that loves him”. The other way is to do away with the line and use one of the usual marks of reference, such as, *, \(\mathbf \dag \), \(\mathbf \ddag \), \({\mathbf \Vert }\), §, , as in Fig. 3.

figure 21
figure 22

In either case, it is to be carefully observed that this syntax is endoporeutic. This means that a “line of identity” is to be understood as lying in the outermost of the “areas” within which any part of it lies, meaning by an “area” (here and everywhere), all of the surface that lies inside and outside of precisely the same “cuts”, or fine oval lines.

Thus, Fig. 4 means “Somebody does not love some husband of hers”; Fig. 5, “Somebody is husband of whoever loves him” \(=\) “Somebody is loved, if at all, only by those (or some of them), of whom he is husband”; Fig. 6, “Somebody does not love anything that is not husband to her” \(=\) “Somebody has for her husband whatever there may be that she loves” \(=\) “Somebody if she love anybody, it is some husband of hers that she loves”.

figure 23
figure 24
figure 25

These two features, the finely drawn oval cut that denies as a whole, whatever it includes and the heavily drawn ligature that expresses the identity of whatever it abuts upon or is continuous with make the sum total of the essence of this Syntax. There is, therefore, no other difficulty in using it except that of knowing precisely what it is that one desires to express, without which one cannot think or do anything at all, to good purpose. There are, to be sure, a few signs besides those two, that are occasionally convenient; but they are never indispensable, and are not often wanted. The merit of this syntax is that when, by means of it, one has expressed one’s premisses, with sufficient distinctness (i.e. analytically enough), it only remains to make, according to three general permissions, suitable insertions, followed by suitable deletions, the effect of such insertions and deletions amounting only to the omission of a part of what has been asserted, and one will be able to read in what will then be on the sheet, whatever sound deductive conclusion from those premisses that one may have aimed at in the insertions and deletions. A false logic has caused the habit of speaking of the conclusion from given premisses, as if there were but one. The truth is that the number of conclusions deducible from any proposition is strictly infinite.Footnote 12 It is, therefore, necessary to determine what sort of conclusion one desires to draw or by what sort of operation one proposes to proceed before one can deduce definite conclusion.

Before going further it will be well to define a few technical expressions that have been found almost indispensable in describing the properties of this Syntax. A full glossary shall be appended to this chapter.Footnote 13

The Phemic Sheet, or the Sheet simply, is the surface on which the premisses are to be expressed, and from which, after insertions and deletions have been made, the deductive conclusion can be read off.

To scribe is to embody an infima species of pheme, or assertional sign, by writing or drawing.

A Cut is a fine oval line. It is called a Cut because, being the only kind of sign used in this system of syntax that does not, of itself express an assertion, and is in other ways sui generis, it is not convenient to speak of it as “scribed”; and besides imagining it to be cut through the sheet, we further imagine and speak of the part of the sheet within the “Cut” as if it were turned over so that what were exposed to view were the Verso side, unless the Cut in question be itself enclosed within another, or within any other odd number of others, in which case, of course, the even number of reversals will be imagined and spoken of as exposing the Recto again within it.

By an Area is meant so much of the exposed surface as lies wholly within and without the same identical Cuts. The Area within a Cut is called the Area of that Cut; while the Area in which the Cut has been made is called the Place of that Cut.

An Area that is enclosed in an even number of Cuts, or in none at all, is said to be “evenly enclosed”. Any other is “oddly enclosed”, since no Cut is allowed to intersect another.

The word “Graph” was introduced by the still lamented William K. Clifford to mean a diagram expressive of relations by means of lines abutting upon spots, after the fashion of those employed in organic chemistry. The syntax I am describing employs Graphs modified by Cuts. They are called Existential Graphs to distinguish them from another system of logical graphsFootnote 14 called Entitative Graphs. But ordinarily it will be convenient in the present essay, for the sake of abbreviating the long name Existential Graphs, the adjective is dropped. A Graph, then, as the word is used by the present when it is plain that an Existential Graph is meant, is not a sign or mark or any other existent or actual individual, but is a kind of sign

figure af

which if scribed on the Phemic Sheet (i.e. if an Instance of it stood on the Sheet) would make an assertion. The individual sign that results from the scribing of a Graph has been called an “Instance” of the Graph. This word “Instance” might conveniently be introduced into ordinary parlance. For example, only two words in our language are called articles; but one of these, the definite article, the, will commonly occur, on an average page of novel or essay, over twenty times. They are reckoned by the editor who asks for an article of so many thousand “words” as distinct words; but in fact they are only twenty or more instances of the same word; and if the editor takes any pleasure in speaking accurately he should call for an article of so many thousand “word-instances”. At any rate, it would be highly inconvenient to call “Graph-instances” Graphs.

The “line of identity” is a graph. For just as Fig. 7 asserts that “Fulbert does not love Abelard”, so Fig. 8 asserts that “Fulbert is not identical with Héloise”. But each Instance of a Graph must be either affirmative or negative, and consequently must lie wholly in one area. For that reason we must call the “ligature” of Fig. 8 not a Graph-instance, and consequently, not an Instance of the “Line of Identity”, but as a composite of three graph-instances. This gives rise to a subtile and difficult doctrine about ligatures, with which common-sense finds it hard to have patience, because in its eyes a ligature is the simplest thing in the world. Namely, only the outermost, or least enclosed, part of it signifies anything, and the rest only serves to point out the two individuals objects, each of which the identity it signifies is affirmed or denied, according as that outermost part is evenly or oddly enclosed (i.e. enclosed in an even or an odd number of cuts, zero being, of course, divisible by two and so even). We may pat common sense on the back for this facile method of interpretation; yet there is no difficulty at all in the more formally logical view that a ligature consists of as many separate graph-instances as are the areas into which parts of it enter, these different graph-instances being connected by the dot or dots where they cross a cut or cuts. At such a dot—theoretically, a mathematical point—there can be no predication, since there can be neither affirmation nor denial of that which is neither within nor without the cut. It must be borne in mind that Figs. 9, 10 are both absurd. For Fig. 9 asserts that something is not identical with anything at all—not even with itself.Footnote 15 Now Fig. 11 denies, not A, B, and C, but either A or B or C. For it only denies the truth of A, B and C as one copulate. Figure 7 may therefore be read, “Fulbert is something that is something, that is something etc. that is either nothing (not even when it is), unless it be nothing except something that is nothing etc. but something that does not love anything that is something that is Abelard”; which comes to this that “Fulbert does not love Abelard”. The number of times the ligature crosses the cut is immaterial, since at a crossing it merely transmits the identity from an outer line of identity to an inner one.

figure 26
figure 27
figure 28
figure 29
figure 30

It will be well to give examples of the most frequently occurring forms; and the reader is counselled to reason out for himself the interpretation of each. Figure 12 reads “something is a dog”; Fig. 13: “Nothing is a phoenix”.

figure 31
figure 32

Figure 14: “If it lightens, it thunders”. Strictly this should mean “If it ever lightens, it sometime thunders”. The truth is that it is very seldom requisite, in the critic of Deductive reasoning to observe distinctions of time. In order to do so, however, it would only be requisite to agree that a point on the upper part of the periphery of any graph of action or other change should denote an instant during such action or other change. Then Fig. 15 will read “It sometimes lightens and sometimes does not”.

figure 33
figure 34

Figure 16: “If it ever lightens it will shortly after thunder”. For were the outer cut of the figure not there, the interpretation would be “It sometime lightens without thundering at any shortly subsequent time”. Figure 17: “Every multicellular animal dies”. Figure 18: “There is a man who loves nothing but women”. Figure 19: “There is a man who loves every woman”. Figure 20: “Nothing but a man loves any woman”. Figure 21: “The only positive integer that is not higher than One is One itself”. Figure 22: “Philip is identical with whatever is Philip”; i.e. the name Philip denotes a definite Individual”Footnote 16 (“Some man” is an indefinite individual. “Any man there may be” is an indeterminate individual according to the terminology herein adopted.)Footnote 17

The Syntax of Existential Graphs has thus been described. The elementary signs this syntax may require are, in the first place, such as, thunders, \(\bullet \)man, \(\bullet \)lover\(\bullet \),

figure ag

,

figure ah

, \(\bullet \)beauty, \(\bullet \)water, \(\bullet \)possessor\(\bullet \) (as of a character or quality),

figure ai

(in the dyadic relation),

figure aj

(in triadic relation), \(\bullet \)a collection that

figure ak

and \(\bullet \)is a collection, \(\bullet \)is something that includes\(\bullet \), \(\bullet \)is something that excludes\(\bullet \), \(\bullet \)its members are in one to one correspondence to\(\bullet \).

In addition to signs of this sort, which may be multiplied indefinitely and can cannotFootnote 18 be considered as constituent parts of the syntax, the only signs it so constantly requires that they may be individually regarded as almost inseparable parts of the syntax, are the following: First, the cut, or perhaps more properly, the “Scroll”, which is a pair of cuts, the one enclosing the other, so that a scroll has two areas, its “outer close” and its “inner close”. In the order of the actual mental evolution of the syntax of existential graphs, the Scroll was first adopted as a sign required before all others because it represented a necessary Reasoning, as in Fig. 23,Footnote 19 which reads: “If the Copulate Premiss is true, the Conclusion is true”.

The Cut came to be thought of because of the immense frequency of occasions on which it was necessary to express the assertion “If \(X\) be true, then every assertion is true”. It was forced upon the logician’s attention that a certain development of reasoning was possible before, or as if before, the concept of falsity had ever been framed, or any recognition of such a thing as a false assertion had ever taken place. Probably every human being passes through such a grade of intellectual life, which may be called the state of paradisiacal logic, when reasoning takes place but when the idea of falsity, whether in assertion or in inference, has never been recognized. But it will soon be recognized that not every assertion is true; and that once recognized, as soon as one notices that if a certain thing were true, every assertion would be true, one at once rejects the antecedent that lead to that absurd consequence. Now that conditional proposition “If A is true, every proposition is true”, is represented, in the model of Fig. 24, “If A is true, C is true” by blackening the entire inner close, as if there were no room, in reason, for any additional consequence. This gives Fig. 25: “If A be true whatever can be asserted is true”, which is as much as to say that “A is not true and the inner close being cut very small”, we get, first Fig. 26 and finally Fig. 27, in which the idea of flat falsity is first matured.

figure 43
figure 44
figure 45
figure 46
figure 47

Beside the Syntax of Existential Graphs involves no other sign as essential to it except the Line of Identity, and the signs that grow out of that, such as the Point of Teridentity, where, as in Fig. 28,Footnote 20 a line of identity furcates, the Peg, or heavy dot which indicates that place on the periphery of a graph that denotes an individual kind of Subject of that graph (since, in this syntax, we have to recognize various other kinds of “Subjects” than the “subject nominative”, as for example, the Object Accusative, which this Syntax shows to be as much a Subject as the other, if “subject” is to have any real meaning; the Object Dative; the Instrumental Object; the Locative; and others usually in the Aryan languages expressed by adverbial phrases). There is also the place on the cut where a Ligature crosses it.

All these are so many Graphs, whose general significations are forced upon them by that of the line of identity. The only other is the bridge, which is required simply to save the trouble of pasting the two ends of a paper ribbon on the sheet to make a real bridge.

It will be acknowledged that a simpler Syntax, capable of expressing any proposition, however intricate, would be difficult to imagine. A proposition too intricate for any living human mind to grasp could be set down without ambiguity, by means of this Syntax with a very moderate amount of trouble. A proposition too intricate to be clearly expressed in a single sentence in any living tongue can be expressed without ambiguity in this syntax as soon as it is distinctly apprehended.

It now only remains to state formulate those general permissions to modify what has already been scribed which express the elementary logicality of those several forms of elementary deductive inference, out of which all other deductions can be built up. There are but two of these general illative permissions; but before stating them there is one other thing that has to be said. Namely, it is to be imagined that every graph-instance anywhere on the sheet can be freely moved about upon the sheet; and since a scroll both of whose closes are empty asserts nothing, it is to be imagined that there is an abundant store of empty scrolls on a part of the sheet that is out of sight, whence one of them can be brought into view whenever desired.Footnote 21 What is here said ought to be reckoned as a permission, but it is not an illative permission, i.e. a permission authorizing a species of inference.

First Illative Permission: the Rule of Deletion and Insertion. From any evenly enclosed area any enclosure or other graph-instance may be deleted, even if it involves the rupture of lines of identity on that area; and upon any oddly-enclosed area any enclosure or other graph-instance may may be scribed and any connections made by lines of identity.

Second Illative Permission: the Rule of Iteration and Deiteration. Any graph may be iterated on the same area or within any number of cuts in that area, the graph-instance so inserted having identically the same connections as that which it imitates; and if a Graph occurs twice in the same area or in two areas one within a series of cuts within the area where the other occurs, and two having identically the same connections, then a deiteration may be executed by deleting the innermost of the two or if they are on the same area by deleting either of the two.

These two permissions will suffice to enable any valid deduction to be performed. The few examples that shall forthwith be given might tempt a lively mind to exclaim: Why, this syntax draws conclusions of itself, automatically. This would be extravagant; but one may say that the Syntax together with the application of the two illative permissions does so, provided it be borne in mind not overlooked that such application can only be made by a living intelligence.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pietarinen, AV. Two papers on existential graphs by Charles Peirce. Synthese 192, 881–922 (2015). https://doi.org/10.1007/s11229-014-0498-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-014-0498-y

Keywords

Navigation