Category Archives: Boolean Algebra

Cactus Language • Mechanics 3

Posted on September 25, 2025 by Jon Awbrey

Although the definition of a cactus graph lobe in terms of its intrinsic structural components is logically sufficient it is also useful to characterize the structure of a lobe in extrinsic relational terms, that is, to view the structure that … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Mechanics 2

Posted on September 22, 2025 by Jon Awbrey

The structure of a painted cactus, insofar as it presents itself to the visual imagination, can be described as follows.  The overall structure, as given by its underlying graph, falls within the species of graph commonly known as a rooted … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Discussion 3

Posted on September 20, 2025 by Jon Awbrey

Re: Cactus Language • Stylistics 1 Re: Cybernetics • Shann Turnbull ST: How does your posting meet the test of being relevant to the Wiener definition of Cybernetic? Cybernetics can explain how all living things are self‑regulating, self‑governing and to … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Cactus Language • Mechanics 1

Posted on September 18, 2025 by Jon Awbrey

We are only now beginning to see how this works.  Clearly one of the mechanisms for picking a reality is the sociohistorical sense of what is important — which research program, with all its particularity of knowledge, seems most fundamental, … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 20

Posted on September 16, 2025 by Jon Awbrey

Re: Laws of Form • James Bowery JB: I’m interested in those who have approached the notion of self‑duality from the meta‑perspective of switching perspectives between Directed Cyclic Graphs of NiNAND and NiNOR gates (Ni for N‑Inputs à la boolean … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 19

Posted on September 10, 2025 by Jon Awbrey

Re: Laws of Form • James Bowery JB: I’m interested in those who have approached the notion of self‑duality from the meta‑perspective of switching perspectives between Directed Cyclic Graphs of NiNAND and NiNOR gates (Ni for N‑Inputs à la boolean … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 18

Posted on September 7, 2025 by Jon Awbrey

Re: Laws of Form • James Bowery JB: I’m interested in those who have approached the notion of self‑duality from the meta‑perspective of switching perspectives between Directed Cyclic Graphs of NiNAND and NiNOR gates (Ni for N‑Inputs à la boolean … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 17

Posted on August 22, 2025 by Jon Awbrey

Re: Laws of Form • James Bowery JB: I’m interested in those who have approached the notion of self‑duality from the meta‑perspective of switching perspectives between Directed Cyclic Graphs of NiNAND and NiNOR gates (Ni for N‑Inputs à la boolean … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Cactus Language • Pragmatics 16

Posted on August 20, 2025 by Jon Awbrey

Stricture, Strait, Constraint, Information, Complexity The ways in which strictures and straits at different levels of complexity relate to one another can be given systematic treatment by introducing the following pair of definitions. Excerpt of a Stricture The excerpt of … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Pragmatics 15

Posted on August 18, 2025 by Jon Awbrey

Stricture, Strait, Constraint, Information, Complexity From here it is easy to see how the concatenation of languages is related to the intersection of sets and thus to the conjunction of logical propositions.  In the upshot a cartesian product is described … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments