Homes
- homepage
- affiliations
Research (en)
- Publications
- Interests
Peirce's Graphs (en)
- Readings
- Moving pics
- MS 145
Zeman's sites:
- Existential Graphs
- C.S. Peirce
Über mich (ge)
- Lebenslauf
- Tagungen
- Vorträge
- Lehre
I intend to make this list -in the long run, of course- as complete as possible. So If you know more stuff which should be put on this list, please let me know.
Last, not least: Do not hesitate to inform me about misspellings etc. I do know that my english is far from perfect. And if you find any dead links or other problems, please let me know, too.
2005/11/21: I have created a `small' (1.8 MB) gif with an animated proof (a moving picture of thought, as Peirce would say) of Leibniz' splendid theorem, carried out with Peirce's Alpha graphs. You can find it here: Leibniz' Praeclarum Theorema
Changes on this website:
This german thesis is based on Burch's book and Wille's paper on the algebra of relations.
I think if you want to get a copy of this thesis, you should contact Rudolf Wille.
This book is a detailed and precise elaboration of the so-called Peircean Algebraic Logic (PAL). PAL is very closely related to Peirces logic of relatives. I consider the book rather technical and hard to read, but it provides detailed insights into the nature of existential graphs, particularly in the roles of the so-called teridentity and hypostatic abstraction. The main focus of the book is to provide a proof for Peirce's thesis that triadic realtions are neccessary and suffiecient for constructing all relations.
It is not appropriate for beginners on existential graphs; you should already be familiar with the graphs if you read the book.
As the author of this website, it is not very surprising that I am writing on a treatise about existential graphs on my own ... This treatise is still in preparation. I dare to supply a preliminary version of it which contains the core of my work. As the title says, I focus on a mathematical elaboration of Peirce's Alpha and Beta graphs. Nonetheless, the treatise contains a chapter about my understanding why Peirce considers his EGs to be the luckiest find of his career, some general considerations about the formalization of diagrams, and a chapter with some remarks to the books of Roberts, Shin and Zeman.
Update: 12. September 2006 I uploaded a new version of the treatise. The content is finished, it will only be subject of further proof-reading. If you find any mistakes, flaws, misprints etc, please let me know.
compressed pdf-file (3.2 MB) uncompressed pdf-file (4.5 MB)
So far, I don't know this one ...
Probadly the most popular secondary literature on existential graphs. This book offers a comprehensive description of the whole system of existential graphs. Particularly, the gamma part of existential graphs is described to a large extent (far more than the broken cuts, which is the main focus of most papers or books which deal with gamma). Obviously, Roberts worked through many, many manusscripts of Peirce, and he justifies his elaboration with a lot of quotations.
From a mathematical point of view, this book is unfortunately insufficient. Roberts does not provide any (technical or mathematical) definitions, and he relies solely on the graphical representations of graphs. Nonetheless, this is definetely a outstanding work. Together with the books of Shin and and Zeman, this is a "standard reading".
More detailed critics can be found here.
I enthusiastically read this book within two days. It is an elaboration of Peirce's alpha- and beta-graphs, including improved translations ("readings") to propositional and first order logic. I liked most the philosophical backgrounds this book offers.
Similar to the book of Roberts, this treatise lacks mathematical preciseness. Particularly, some of the rules Shin provides are not sound (but these flaws can easily be fixed), and the translation of beta graphs to first oder logic contains a flaw as well (I discussed this with Shin, and she agreed, thus I dare to express this critics).
Nonetheless, in all other aspects I enjoyed the book very much. It is very good read and can really recommend it. Together with the books of Roberts and and Zeman, this is a "standard reading".
More detailed critics can be found here.
A computer science approach for an automatic theorem prover on the basis of existential graphs. As far as I know, this is the only work using existential graphs for theorem proving. The underlying structures are abstractions of the diagrams and do not incorporate any diagrammatic or graphical features of existential graphs. Thus, those who are interested especially in problems concerning diagrammatic representations will hardly benefit from this thesis. Moreover, this thesis does not touch any philosophical questions on existential graphs. On the other hand: For those who are intested in deduction procedures, this is of course a good choice.
My impression is that this thesis sometimes mixes up syntax and semantics. So, in my view, although written by a computer scientist, this thesis lacks sometimes mathematical preciseness.
As far as I know, this thesis is not published. I think if you want to get a copy of this thesis, you should contact Robert Levinson.
So far, I did not read this book, so I provide a summary from Springers site:
Diagrammatology investigates the role of diagrams for thought and knowledge. Based on the general doctrine of diagrams in Charles Peirce's mature work, Diagrammatology claims diagrams to constitute a centerpiece of epistemology. The book reflects Peirce's work on the issue in Husserl's contemporanous doctrine of "categorial intuition" and charts the many unnoticed similarities between Peircean semiotics and early Husserlian phenomenology. Diagrams, on a Peircean account, allow for observation and experimentation with ideal structures and objects and thus furnish the access to the synthetic a priori of the regional and formal ontology of the Husserlian tradition. The second part of the book focusses on three regional branches of semiotics: biosemiotics, picture analysis, and the theory of literature. Based on diagrammatology, these domains appear as accessible for a diagrammatological approach which leaves the traditional relativism and culturalism of semiotics behind and hence constitutes a realist semiotics
Diagrams will never be the same. A fascinating and challenging tour through phenomenology, biology, Peirce's theory of signs and Ingarden's ontology of literature, all neatly tied together through the guiding thread of the diagrammatical. A veritable tour de force.
Barry Smith, SUNY at Buffalo, U.S.A.
With his meticulous scholarship, Frederik Stjernfelt shows that Peirce and Husserl were cultivating a broad and fertile common ground, which was largely neglected by both the analytic and the continental philosophers during the 20th century and which promises to be an exciting area of research in the 21st.
John F. Sowa, Croton-on-Hudson, U.S.A.
This book offers a mathematical elaboration of Peirce's alpha-graphs, Peirce's beta-graphs, and the part of Peirce's gamma-graphs which extend the beta-part by adding the so-called "broken cut" (this part corresponds to modal logic). Similar to Roberts, he justifies his elaboration with a lot of quotations, and he gives some philosophical background, too.
The only critics I have are: Like Shin and Roberts, Zeman does not provide an extensional semantics of EGs, `only' translations from graphs to propositional (for alpha), first order (for beta) and modal (for gamm) logic. These translatation are correct, but in my eyes a little bit clumsy (you can find a discussion of this in Shin's book as well). Zeman's definition is an abstract, mathematical definition (here I have to withdraw a former statement of mine on this website: sorry for that), but he does not discuss the relationship of his definition and the graphical representations of EGs (this relationship is fairly clear to him).
For reading this book, one should be little bit familiar with existential graphs: It is not as readable like the book of Shin. On the other hand, this book is in my opinion -from a mathematical point of view- the best book on existential graphs so far.
Together with the books of Roberts and Shin, this is a "standard reading".
More detailed critics can be found here.
Ok. This is advertisement for my thesis. Nonetheless, you will find a short introduction into existential graph in this treatise.
An elaboration of different diagrammatic systems, like Venn diagrams, Euler circles, or higraphs, containing an chapter on Peirce's alpha graphs.
I used this book as a textbook for a lecture on logic with diagrams (the part on venn diagrams). I have to say that from a mathematical point of view, this book is not precise enough, and it contains some (minor) flaws.
A master of arts in philosphy thesis. This easy-to-read thesis (50 pages) provides an abstract definition of Peirce's beta graphs by means of mathematical graph theory. This definition is similar to the definition of concept graphs with cuts (see my thesis), and very similar to Pollandts definition of relation graphs (see her ICCS-paper). Thus this approach has my full sympathies. But the argumentation does not go into details, some (in my view important) aspects are discussed only perfunctorily. The philosophical dimension of existential graphs is nearly discussed not at all. But this thesis is the only one I found so far which provides an abstract mathematical definition for existential graphs (which prescinds from the graphical properties of the diagrams), so it is definetely worth reading it.
Unfortunately, this syllabus, which gives valuable insight into Peirce's understanding of his graphs, is published only partly in the collected papers.
Lecture three is titled "the logic of relatives" and is about existential graphs. Moreover, you find some discussion in the comprehensive comments on the lectures as well.
A german translation of this lectures have recently been published by Suhrkamp Verlag.
Including a comprehensive 100 pages elaboration of EGs in Vol. 4 which is very instructive.
Robert W. Burch: Valental Aspects of Peircean Algebraic Logic..
In: Computers Math. Applic. Vol.23, No.6-9, pp.665-677, 1992.
An article on my own which translates Peirce's beta graphs to concept graphs with cuts (see my thesis). Even if you are not familiar with concept graphs, you can find some good hints how and -more important, why- beta graphs have to be read.
Another article on my own, where I discuss how graphs have to be handled in order to get a rigour formal system. I embedded my argumentation into a case study, namely Peirce's alpha graphs, thus you find a mathematization of these graphs, (syntax, semantics, calculus, including a proof that the calculus is sound and complete) in this paper.
There are basically three results in this paper, but I will only refer to two of them. First, it is shown that the erasre rulecan be removed from the calculus, and the calculus is still weakly complete (i.e., all tautologies can be proven). This is nice as the erasure rule is the only rule which does not fulfill the so-called `finite choice property'. Roughly speaking, this is like removing the cut-rule from a sequent calculus (of course, Gentzen's proof for this result is much more sophisticated than mine for removing the erasure rule), i.e. the remaining calculus is as `nice' as a cut-free sequent calculus. The second result then is interesting: There are formulas which can be proven in sequent calculi in polynomial length, but in cut-free sequent calculi, the lengths of the proofs increases exponentially. For alpha graphs, these formulas can be, even in the restricted calculus, in polynomial length. Thus this result shows drastically the fundamental difference between Peirce's transformation rules and contemporary calculi, like sequent calculi.
This paper describes a deeper understanding of ligatures -i.e., networks of lines of identity- in Peirce's existential graphs. In constrast to lines of lines of identity, ligatures do not neccessarily denote a single object. This makes them in some cases harder to read and understand. The paper introduces a special case of ligatures, so-called single-object-ligatures, which can basically be understood like lines of identity, and based on this notion, a simplified reading of existential graphs is introduced. The paper is based on some results of my treatise on EGs, but provides the results of it in a more informal manner.
Peirce's existential graphs describe a logic ofrelations, i.e., the Beta part of existential graphs corresponds to first order logic with identity, but without constants or functions. This paper investigates how the syntax, semantics and particularly the calculus of existential graphs has to be extended in order to capture constants and functions as well. I provide the paper, as it is submitted to ICCS (it is under review).
pdf-file
A sophisticated mathematical proof for Peirce's Reduction Thesis in a very general setting. The proof is ugly (many case distinctions), but correct (yes, I read it). The result is simply great!
As the title of the paper says, it consideres existential graphs from a philosophical point of view (and does not contain a single diagram ;-)). Not easy to read (at least not for me), but it cointains some good and important points (e.g., Peirce's purpose in developping existential graphs).
A paper, based on Burch's book and Wille's paper, which provides a mathematical elaboration of relation graphs (existential graphs with "pending edges" which describe relations).
A 3-pages paper on the different ways an existential graphs ca be perceived.
First of all: The results of this paper can be found in Shin'as book as well.
The paper offers a new translation (Shin uses the term "reading") of existential graphs to first order logic which benefits from the "visually clear facts" in a diagram. I do like her approach, as it unfolds the specific advantages of diagrammatic systems.
Unfortunately, her reading is not totally correct: see my paper. But this flaw can be corrected. If this is done, the translation is indeed very nice (much better to understand than Zemans translation of EGs (see Zeman's book).
In: Schärfe, Henrik; Hitzler, Pascal; Ohrstrom, Peter (Eds.): Conceptual Structures: Inspiration and Application. 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Springer, LNAI, Vol. 4068
The first paper which introduces two notions of iconicity, an operational and a optimal (imho, the latter is basically the common understanding of iconicity in Peirce's graphs). Pretty interesting.
The following links are not especially on existential graphs.
The annotated catalogue of the papers of Peirce by Richard S. Robin. Due to the annotation, this site is good to scan which papers of Peirce you should read for a specific purpose.
A rich source, including the Essential Peirce, lots of links, and a instructive site how the original manuscripts of Peirce are transcripted into a digital representation.
This is not especially on existential graphs, but you will find a lot of Peirce-related links here.
Including html-versions of some Peirce-texts, like "On a New List of Categories", "The Fixation of Belief " or "How to Make Our Ideas Clear".
Another site, containing some photos of Peirce, and a lot of Peirce-related links.
Including a search-function. Very helpful.
Hilary Putnam: Peirce the Logician,
Historia Mathematica, 1982.
A reading I do not know, but they sound related ...
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4