Search results
Results From The WOW.Com Content Network
Diagrammatic reasoning is reasoning by means of visual representations. The study of diagrammatic reasoning is about the understanding of concepts and ideas, visualized with the use of diagrams and imagery instead of by linguistic or algebraic means.
In contrast, diagrammatology is currently the term of choice for the arts and humanities, where it is closely associated with Charles Sanders Peirce's work on diagrammatic reasoning. In the introduction to his seminal 2011 work "Diagrammatology", Frederik Stjernfelt describes the reasoning behind his use of the term:
The existential graphs and diagrammatic reasoning of Charles Sanders Peirce are arguably the oldest form of string diagrams, they are interpreted in the monoidal category of finite sets and relations with the Cartesian product. [6]
Sun-Joo Shin is a Korean-American philosopher known for her work on diagrammatic reasoning in mathematical logic, including the validity of reasoning using Venn diagrams, the existential graphs of Charles Sanders Peirce, and the philosophical distinction between diagrammatic and symbolic reasoning. [1]
Diagrammatic visualization using IBIS notation is often called issue mapping. [2]: ix IBIS was invented by Werner Kunz and Horst Rittel in the 1960s. According to Kunz and Rittel, "Issue-Based Information Systems (IBIS) are meant to support coordination and planning of political decision processes.
Created Date: 8/30/2012 4:52:52 PM
Reasoning mechanisms are based on graph notions, basically the classical notion of graph homomorphism; this allows, in particular, to link basic reasoning problems to other fundamental problems in computer science (e.g., problems concerning conjunctive queries in relational databases, or constraint satisfaction problems).
The ZX-calculus is a rigorous graphical language for reasoning about linear maps between qubits, which are represented as string diagrams called ZX-diagrams. A ZX-diagram consists of a set of generators called spiders that represent specific tensors. These are connected together to form a tensor network similar to Penrose graphical notation.