A logical
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
is a special type of diagrammatic structure in any one of several systems of graphical
syntax that
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism".
Educated as a chemist and employed as a scientist for t ...
developed for
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...
.
In his papers on ''
qualitative logic'', ''
entitative graphs'', and ''
existential graphs'', Peirce developed several versions of a graphical
formalism, or a graph-theoretic
formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of sy ...
, designed to be interpreted for logic.
In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.
See also
*
Charles Sanders Peirce bibliography
This Charles Sanders Peirce bibliography consolidates numerous references to the writings of Charles Sanders Peirce, including letters, manuscripts, publications, and . For an extensive chronological list of Peirce's works (titled in English), s ...
*
Conceptual graph
*
Propositional calculus
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations ...
*
Truth table
*
Venn diagram
A Venn diagram is a widely used diagram style that shows the logical relation between sets, popularized by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships ...
External links
{{commonscat-inline, Logical graphs
Logical GraphExistential Graphs Jay Zeman, ed., U. of Florida. With 4 works by Peirce.
Frithjof Dau's page of readings and links on existential graphsincludes lists of: books exclusively on existential graphs; books containing existential graphs; articles; and some links and downloadables.
Xin-Wen Liu, Institute of Philosophy, Chinese Academy of Social Sciences, Beijing, PRC. A whole lot there.
Mathematical logic
Charles Sanders Peirce
Diagrams