Author Archives: Jon Awbrey

Differential Propositional Calculus • Discussion 4

Posted on March 20, 2021 by Jon Awbrey

It is one of the rules of my system of general harmony, that the present is big with the future, and that he who sees all sees in that which is that which shall be. Leibniz • Theodicy Re: R.J. … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

All Process, No Paradox • 9

Posted on March 18, 2021 by Jon Awbrey

In the midst of this strife, whereat the halls of Ilúvatar shook and a tremor ran out into the silences yet unmoved, Ilúvatar arose a third time, and his face was terrible to behold.  Then he raised up both his … Continue reading →

Posted in Animata, C.S. Peirce, Category Theory, Cybernetics, Differential Logic, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Process, Semiotics, Spencer Brown, Systems Theory, Tertium Quid, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 7 Comments

All Process, No Paradox • 8

Posted on March 16, 2021 by Jon Awbrey

These are the forms of time, which imitates eternity and revolves according to a law of number. Plato • Timaeus Re: Laws of Form • Seth • James Bowery (1) (2) (3) • Lyle Anderson Dear Seth, James, Lyle, Nothing … Continue reading →

Posted in Animata, Boolean Functions, C.S. Peirce, Cybernetics, Differential Logic, Discrete Dynamics, Laws of Form, Logic, Logical Graphs, Lou Kauffman, Mathematics, Paradox, Peirce, Plato, Process, Spencer Brown, Timaeus, Time | Tagged , , , , , , , , , , , , , , , , , | 7 Comments

Differential Propositional Calculus • Discussion 3

Posted on March 15, 2021 by Jon Awbrey

That mathematics, in common with other art forms, can lead us beyond ordinary existence, and can show us something of the structure in which all creation hangs together, is no new idea.  But mathematical texts generally begin the story somewhere in … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

All Process, No Paradox • 7

Posted on March 13, 2021 by Jon Awbrey

Unlike more superficial forms of expertise, mathematics is a way of saying less and less about more and more.  A mathematical text is thus not an end in itself, but a key to a world beyond the compass of ordinary … Continue reading →

Posted in Animata, C.S. Peirce, Change, Cybernetics, Differential Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Process, Process Thinking, Spencer Brown, Systems Theory, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 8 Comments

Animated Logical Graphs • 66

Posted on March 9, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) Once we bring the dual interpretations of logical graphs … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 15 Comments

Animated Logical Graphs • 65

Posted on March 4, 2021 by Jon Awbrey

Thus, what looks to us like a sphere of scientific knowledge more accurately should be represented as the inside of a highly irregular and spiky object, like a pincushion or porcupine, with very sharp extensions in certain directions, and virtually … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 15 Comments

Animated Logical Graphs • 64

Posted on March 4, 2021 by Jon Awbrey

If exegesis raised a hermeneutic problem, that is, a problem of interpretation, it is because every reading of a text always takes place within a community, a tradition, or a living current of thought, all of which display presuppositions and … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments

Animated Logical Graphs • 63

Posted on March 2, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) • (62) We’ve been using the duality between entitative and existential interpretations of logical graphs to get … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments

Animated Logical Graphs • 62

Posted on February 28, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) Another way of looking at the dual interpretation of logical graphs from a group-theoretic point of view … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 18 Comments