Author Archives: Jon Awbrey

Animated Logical Graphs • 15

Posted on June 30, 2019 by Jon Awbrey

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 or presence … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 14

Posted on May 28, 2019 by Jon Awbrey

Re: Systems Science • Joseph Simpson One thing I added to the current Survey of Animated Logical Graphs is an earlier report titled “Futures Of Logical Graphs” (FOLG), which takes up a number of difficult issues in more detail than … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 13

Posted on May 24, 2019 by Jon Awbrey

Cf: Survey of Animated Logical Graphs The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Survey of Animated Logical Graphs • 2

Posted on May 22, 2019 by Jon Awbrey

This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing … Continue reading →

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

Conceptual Barriers • 3

Posted on May 14, 2019 by Jon Awbrey

Re: Ontolog Forum • Paola Di Maio Partly this discussion and partly just the mood I’m in brought to mind a motley assortment of old reminiscences.  My first years in college I oscillated (or vacillated) between math and physics, eventually … Continue reading →

Posted in Artificial Intelligence, C.P. Snow, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Two Cultures, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | 1 Comment

Conceptual Barriers • 2

Posted on May 13, 2019 by Jon Awbrey

Re: Ontolog Forum • Paola Di Maio Synchronicity being what it is, here for your contemplation are two pictures from a current discussion on Facebook. See Tables 8 and 9 in the following article and section. Application of Higher Order … Continue reading →

Posted in Artificial Intelligence, C.P. Snow, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Two Cultures, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | 1 Comment

Conceptual Barriers • 1

Posted on May 8, 2019 by Jon Awbrey

Re: Ontolog Forum • John Sowa My first year at college the university held a cross-campus colloquium taking its theme from C.P. Snow’s Two Cultures about the need for and difficulties of cross-disciplinary communication and collaboration in our day.  The university … Continue reading →

Posted in Artificial Intelligence, C.P. Snow, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Two Cultures, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | 1 Comment

Semiotics, Semiosis, Sign Relations • Discussion 1

Posted on April 29, 2019 by Jon Awbrey

Re: Semiotic Triangle • John Corcoran Concepts for Peirce are mental symbols, so they fall under the general designation of signs.  For triadic sign relations in general, then, we are dealing with a triadic relation among (1) objects of signs, … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 15 Comments

Abductive Inference, Concept Formation, Hypothesis Formation • 1

Posted on April 26, 2019 by Jon Awbrey

In pragmatic semiotics, concept formation like hypothesis formation falls under the heading of abductive inference.  A lot has been said and there’s a lot more to say about that, but things are too much in flux right now to allow … Continue reading →

Posted in Abduction, C.S. Peirce, Complexity, Concept Formation, Differential Calculus, Differential Logic, Dyadic Relations, Dynamical Systems, Dynamics, Geometry, Hypothesis Formation, Inference, Logic, Logic of Relatives, Mathematics, Peirce's Categories, Physics, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Signspiel • 1

Posted on April 17, 2019 by Jon Awbrey

Re: Ontolog Forum • John Sowa All sorts of players have given us all sorts of spiel about speech acts over the years but Peirce stands out from the chorus in giving us models of semiotic processes whose generation by triadic … Continue reading →

Posted in C.S. Peirce, Cybernetics, Logic, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations | Tagged , , , , , , , , | 4 Comments