13 relations: Charles Sanders Peirce, Charles Sanders Peirce bibliography, Conceptual graph, Entitative graph, Existential graph, Formal language, Formal system, Graph (discrete mathematics), Logic, Propositional calculus, Syntax (logic), Truth table, Venn diagram.
Charles Sanders Peirce
Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".
New!!: Logical graph and Charles Sanders Peirce · See more »
Charles Sanders Peirce bibliography
This Charles Sanders Peirce bibliography consolidates numerous references to Charles Sanders Peirce's writings, including letters, manuscripts, publications, and Nachlass.
New!!: Logical graph and Charles Sanders Peirce bibliography · See more »
Conceptual graph
Conceptual graphs (CGs) are a formalism for knowledge representation.
New!!: Logical graph and Conceptual graph · See more »
Entitative graph
An entitative graph is an element of the diagrammatic syntax for logic that Charles Sanders Peirce developed under the name of qualitative logic beginning in the 1880s, taking the coverage of the formalism only as far as the propositional or sentential aspects of logic are concerned.
New!!: Logical graph and Entitative graph · See more »
Existential graph
An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote on graphical logic as early as 1882, and continued to develop the method until his death in 1914.
New!!: Logical graph and Existential graph · See more »
Formal language
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.
New!!: Logical graph and Formal language · See more »
Formal system
A formal system is the name of a logic system usually defined in the mathematical way.
New!!: Logical graph and Formal system · See more »
Graph (discrete mathematics)
In mathematics, and more specifically in graph theory, a graph is a structure amounting to a set of objects in which some pairs of the objects are in some sense "related".
New!!: Logical graph and Graph (discrete mathematics) · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Logical graph and Logic · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Logical graph and Propositional calculus · See more »
Syntax (logic)
In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them.
New!!: Logical graph and Syntax (logic) · See more »
Truth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001).
New!!: Logical graph and Truth table · See more »
Venn diagram
A Venn diagram (also called primary diagram, set diagram or logic diagram) is a diagram that shows all possible logical relations between a finite collection of different sets.
New!!: Logical graph and Venn diagram · See more »
Redirects here:
Logical Graph, Logical graphs.