Tag Archives: Visualization

Operator Variables in Logical Graphs • 2

Posted on April 7, 2024 by Jon Awbrey

Operand Variables In George Spencer Brown’s Laws of Form the relation between the primary arithmetic and the primary algebra is founded on the idea that a variable name appearing as an operand in an algebraic expression indicates the contemplated absence … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Operator Variables in Logical Graphs • 1

Posted on April 6, 2024 by Jon Awbrey

In lieu of a field study requirement for my bachelor’s degree I spent two years in various state and university libraries reading everything I could find by and about Peirce, poring most memorably through reels of microfilmed Peirce manuscripts Michigan … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Peirce’s 1885 “Algebra of Logic” • Discussion 2

Posted on April 3, 2024 by Jon Awbrey

Re: FB | Daniel Everett One thing I’ve been trying to understand for a very long time is the changes in Peirce’s writing about math and logic from 1865 to 1885.  If there’s anything I’ve learned from reading Peirce in … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 2 Comments

Peirce’s 1885 “Algebra of Logic” • Discussion 1

Posted on April 2, 2024 by Jon Awbrey

Re: FB | Daniel Everett DE: One of the most important papers in the history of logic.  “On the Algebra of Logic” was the first to introduce the term “quantifier”. Peirce, C.S. (1885), “On the Algebra of Logic : A … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 2 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 4

Posted on April 1, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (concl.) In this paper, I purpose to develop an algebra adequate to the treatment of all problems … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 3

Posted on March 30, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (cont.) For instance, take the syllogistic formula, This is really a diagram of the relations of and … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 2

Posted on March 26, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (cont.) I have taken pains to make my distinction of icons, indices, and tokens clear, in order … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Peirce’s 1885 “Algebra of Logic” • Selection 1

Posted on March 24, 2024 by Jon Awbrey

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs Any character or proposition either concerns one subject, two subjects, or a plurality of subjects.  For example, … Continue reading →

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Survey of Animated Logical Graphs • 7

Posted on March 18, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 46 Comments

Survey of Inquiry Driven Systems • 6

Posted on February 28, 2024 by Jon Awbrey

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables some … Continue reading →

Posted in Abduction, Adaptive Systems, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Cybernetics, Deduction, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Logic, Logic of Science, Mathematics, Mental Models, Pragmatic Maxim, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments