Changes

A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [[Charles Sanders Peirce]] developed for [[logic]].

A '''logical graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [[Charles Sanders Peirce]] developed for [[logic]].

In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical [[formal system|formalism]], or a graph-theoretic [[formal language]], designed to be interpreted for logic.

In his papers on ''[[qualitative logic]]'', ''[[entitative graph]]s'', and ''[[existential graph]]s'', Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, 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.  This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.

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.  This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.