Tag Archives: Laws of Form

The Difference That Makes A Difference That Peirce Makes • 7

Posted on May 31, 2017 by Jon Awbrey

Re: Peirce List • GF • GF • GR In our “Inquiry as Action : Risk of Inquiry” paper, originally presented at a conference on “Hermeneutics and the Human Sciences”, Susan and I sought to trace the interminglings of signs … Continue reading →

Posted in C.S. Peirce, Complementarity, Inquiry, Laws of Form, Logic, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 6

Posted on May 30, 2017 by Jon Awbrey

Re: Peirce List • Gary Fuhrman The uses to which Susan Awbrey and I turned Aristotle’s passage from De Interp can be found in our paper from 1992/1995. Awbrey, J.L., and Awbrey, S.M. (1992), “Interpretation as Action : The Risk of … Continue reading →

Posted in C.S. Peirce, Complementarity, Inquiry, Laws of Form, Logic, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 5

Posted on May 17, 2017 by Jon Awbrey

Re: Peirce List • Gary Richmond When I think back to the conceptual changes my first university physics courses put me through, a single unifying theme emerges.  Relativity Theory and Quantum Mechanics had a way of making the observer an active … Continue reading →

Posted in C.S. Peirce, Complementarity, Inquiry, Laws of Form, Logic, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 4

Posted on May 14, 2017 by Jon Awbrey

Re: Peirce List • Mike Bergman The mathematical perspectives and theories that made modern physics possible, perhaps even inevitable, were developed by many mathematicians, both abstract and applied, all throughout the 19th Century.  There was a definite sea change in … Continue reading →

Posted in C.S. Peirce, Complementarity, Inquiry, Laws of Form, Logic, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs • 10

Posted on March 3, 2017 by Jon Awbrey

Re: Peirce List Discussion • Charles Pyle Let’s consider Peirce’s logical graphs at the alpha level, the abstract forms of which can be interpreted for propositional logic.  I say “can be interpreted” advisedly because the system of logical graphs itself … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

The Difference That Makes A Difference That Peirce Makes • 3

Posted on February 28, 2017 by Jon Awbrey

It was fifty years ago this month that I first came North to Michigan, prospecting for a college to enter in the Fall.  I reached East Lansing in the middle of what would later be regaled as the Blizzard of … Continue reading →

Posted in C.S. Peirce, Chemistry, Complementarity, Inquiry, Laws of Form, Logic, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs • 9

Posted on May 24, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations The insight it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, but … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

Animated Logical Graphs • 8

Posted on May 23, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms for propositional logic.  There is a … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Animated Logical Graphs • 7

Posted on May 22, 2015 by Jon Awbrey

Re: Ken Regan • The Shapes of Computations There are several issues of computation shape and proof style that raise their heads already at the logical ground level of boolean functions and propositional calculus.  From what I’ve seen, there are … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Survey of Theme One Program • 1

Posted on May 18, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures to support an integrated learning and reasoning interface, … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment