MyWikiBiz, Author Your Legacy — Saturday September 28, 2024
Jump to navigationJump to search
22 bytes removed
, 12:40, 17 August 2009
Line 1: |
Line 1: |
| 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. |