About: Entitative graph     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:MilitaryUnit, within Data Space : el.dbpedia.org associated with source document(s)

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. See 3.468, 4.434, and 4.564 in Peirce's Collected Papers. The syntax is: * The blank page; * Single letters, phrases; * Objects (subgraphs) enclosed by a simple closed curve called a cut. A cut can be empty. The semantics are:

AttributesValues
rdf:type
rdfs:label
  • Entitative graph (en)
rdfs:comment
  • 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. See 3.468, 4.434, and 4.564 in Peirce's Collected Papers. The syntax is: * The blank page; * Single letters, phrases; * Objects (subgraphs) enclosed by a simple closed curve called a cut. A cut can be empty. The semantics are: (en)
sameAs
dbp:wikiPageUsesTemplate
Subject
gold:hypernym
prov:wasDerivedFrom
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
Link from a Wikipage to another Wikipage
has abstract
  • 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. See 3.468, 4.434, and 4.564 in Peirce's Collected Papers. The syntax is: * The blank page; * Single letters, phrases; * Objects (subgraphs) enclosed by a simple closed curve called a cut. A cut can be empty. The semantics are: * The blank page denotes False; * Letters, phrases, subgraphs, and entire graphs can be True or False; * To surround objects with a cut is equivalent to Boolean complementation. Hence an empty cut denotes Truth; * All objects within a given cut are tacitly joined by disjunction. A "proof" manipulates a graph, using a short list of rules, until the graph is reduced to an empty cut or the blank page. A graph that can be so reduced is what is now called a tautology (or the complement thereof). Graphs that cannot be simplified beyond a certain point are analogues of the satisfiable formulas of first-order logic. Peirce soon abandoned the entitative graphs for the existential graphs, whose sentential (alpha) part is dual to the entitative graphs. He developed the existential graphs until they became another formalism for what are now termed first-order logic and normal modal logic. The primary algebra of G. Spencer-Brown's Laws of Form is isomorphic to the entitative graphs. (en)
foaf:isPrimaryTopicOf
is Wikipage redirect of
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git151 as of Feb 20 2025


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software