Category Archives: Visualization

Animated Logical Graphs : 12

Re: Facebook Discussion • MBM I’ve always been fond of picture proofs — it was one of the things that drew me to graph theory, topology, and the logical graphs of C.S. Peirce and Spencer Brown in the first place.  Sue was … Continue reading

Posted in Abstraction, Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Complementarity, Computational Complexity, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, Interpretation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs : 11

Re: Richard Coyne • Inside Out Logic Venn diagrams make for very iconic representations of their universes of discourse.  That is one of the main sources of their intuitive utility and also the main source of their logical limitations — … Continue reading

Posted in Abstraction, Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Complementarity, Computational Complexity, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, Interpretation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Theorem Proving, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic • Comment 3

Re: Laws Of Form Discussion • BL In my previous comment on boundaries in object universes and venn diagrams, and always when I’m being careful about their mathematical senses, the definitions of “topology” and “boundary“ I have in mind can … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic • Comment 2

Re: Laws Of Form Discussion • JB As always, we have to distinguish between the diagram itself, the representation or sign inscribed in some medium, and the formal object it represents under a given interpretation. A venn diagram is an … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Comment 1

Re: Gil Kalai • Pivotal Variables Just a tangential association with respect to logical influence and pivotability.  I have been exploring questions related to pivotal variables (“Differences that Make a Difference” or “Difference In ⟹ Difference Out”) via logical analogues … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Logic, Logical Graphs, Logical Influence, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pivotal Variables, Propositional Calculus, Propositional Equation Reasoning Systems, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 10

Re: Peirce List Discussion • John Sowa JFS: In the Lowell Lectures [1903] Peirce defined the Sheet of Assertion as the representation of a universe that was constructed during a discourse between Graphist and Grapheus. But that is just one … Continue reading

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 9

Re: Peirce List Discussion • JFS JFS: In 1911, Peirce clarified [the] issues by using two distinct terms:  ‘the universe’ and ‘a sheet of paper’.  The sheet is no longer identified with the universe, and there is no reason why one couldn’t or … Continue reading

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment