Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Entitative_graph> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Entitative_graph 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 is isomorphic to the entitative graphs.".
- Entitative_graph wikiPageID "3698082".
- Entitative_graph wikiPageLength "3305".
- Entitative_graph wikiPageOutDegree "38".
- Entitative_graph wikiPageRevisionID "649912890".
- Entitative_graph wikiPageWikiLink Category:Charles_Sanders_Peirce.
- Entitative_graph wikiPageWikiLink Category:Diagrams.
- Entitative_graph wikiPageWikiLink Category:History_of_logic.
- Entitative_graph wikiPageWikiLink Category:History_of_mathematics.
- Entitative_graph wikiPageWikiLink Category:Mathematical_logic.
- Entitative_graph wikiPageWikiLink Category:Philosophical_logic.
- Entitative_graph wikiPageWikiLink Charles_Hartshorne.
- Entitative_graph wikiPageWikiLink Charles_Sanders_Peirce.
- Entitative_graph wikiPageWikiLink Charles_Sanders_Peirce_bibliography.
- Entitative_graph wikiPageWikiLink Complement_(order_theory).
- Entitative_graph wikiPageWikiLink Diagram.
- Entitative_graph wikiPageWikiLink Disjunction.
- Entitative_graph wikiPageWikiLink Duality_(mathematics).
- Entitative_graph wikiPageWikiLink Existential_graph.
- Entitative_graph wikiPageWikiLink First-order_logic.
- Entitative_graph wikiPageWikiLink Formal_system.
- Entitative_graph wikiPageWikiLink Formula.
- Entitative_graph wikiPageWikiLink G._Spencer-Brown.
- Entitative_graph wikiPageWikiLink Jordan_curve_theorem.
- Entitative_graph wikiPageWikiLink Lattice_(order).
- Entitative_graph wikiPageWikiLink Laws_of_Form.
- Entitative_graph wikiPageWikiLink Laws_of_form.
- Entitative_graph wikiPageWikiLink Logic.
- Entitative_graph wikiPageWikiLink Logical_disjunction.
- Entitative_graph wikiPageWikiLink Logical_graph.
- Entitative_graph wikiPageWikiLink Normal_modal_logic.
- Entitative_graph wikiPageWikiLink Paul_Weiss_(philosopher).
- Entitative_graph wikiPageWikiLink Propositional_calculus.
- Entitative_graph wikiPageWikiLink Satisfiability.
- Entitative_graph wikiPageWikiLink Satisfiable.
- Entitative_graph wikiPageWikiLink Semantics.
- Entitative_graph wikiPageWikiLink Simple_closed_curve.
- Entitative_graph wikiPageWikiLink Sun-Joo_Shin.
- Entitative_graph wikiPageWikiLink Syntax.
- Entitative_graph wikiPageWikiLink Tautology_(logic).
- Entitative_graph wikiPageWikiLinkText "Entitative graph".
- Entitative_graph wikiPageWikiLinkText "entitative graph".
- Entitative_graph hasPhotoCollection Entitative_graph.
- Entitative_graph subject Category:Charles_Sanders_Peirce.
- Entitative_graph subject Category:Diagrams.
- Entitative_graph subject Category:History_of_logic.
- Entitative_graph subject Category:History_of_mathematics.
- Entitative_graph subject Category:Mathematical_logic.
- Entitative_graph subject Category:Philosophical_logic.
- Entitative_graph hypernym Element.
- Entitative_graph type MilitaryUnit.
- Entitative_graph type Philosopher.
- Entitative_graph type Field.
- Entitative_graph type Infographic.
- Entitative_graph type Philosopher.
- Entitative_graph 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.".
- Entitative_graph label "Entitative graph".
- Entitative_graph sameAs m.09v_r4.
- Entitative_graph sameAs Q5380539.
- Entitative_graph sameAs Q5380539.
- Entitative_graph sameAs 实体图.
- Entitative_graph wasDerivedFrom Entitative_graph?oldid=649912890.
- Entitative_graph isPrimaryTopicOf Entitative_graph.