Tag Archives: Propositional Calculus

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

Posted on July 21, 2017 by Jon Awbrey

Re: Laws of Form I’m making an effort to present this material in a more gradual and logical order than I’ve ever managed to do before.  There are issues about the relationship between episodic and semantic memory that are giving … Continue reading →

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

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

Posted on July 20, 2017 by Jon Awbrey

It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown’s Laws of Form in … Continue reading →

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

Charles Sanders Peirce, George Spencer Brown, and Me

Posted on July 19, 2017 by Jon Awbrey

James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to join that discussion as soon as I could work … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

The Present Is Big With The Future • Comment 2

Posted on June 9, 2017 by Jon Awbrey

My interest in this theme of Leibniz goes back to a time when I began exploring generalized measures of determination and qualitative analogues of differential calculus — doctrines of absolute determinism or predestination had long ago loosened their hold on … Continue reading →

Posted in C.S. Peirce, Determination, Differential Calculus, Differential Logic, Hologrammautomaton, Infinitesimals, Leibniz, Logic, Logical Graphs, Mathematics, Peirce, Preëstablished Harmony, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

The Present Is Big With The Future • Comment 1

Posted on June 2, 2017 by Jon Awbrey

Re: Peirce List • John Sowa Re: Peirce List • Jon Awbrey Here is a passage from Leibniz where he half decrypts half encrypts the big idea sparking his discovery of the differential calculus. The Present Is Big With The … Continue reading →

Posted in C.S. Peirce, Determination, Differential Calculus, Differential Logic, Hologrammautomaton, Infinitesimals, Leibniz, Logic, Logical Graphs, Mathematics, Peirce, Preëstablished Harmony, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , | 10 Comments

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

Time, Topology, Differential Logic • 6

Posted on November 30, 2016 by Jon Awbrey

Re: Peirce List • Edwina Taborsky • John Sowa • Jon Awbrey • Jeff Downard Let me see if I can get back in the saddle on this topic, the dormitive virtues of tryptophan and a few pounds added notwithstanding. … Continue reading →

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 5 Comments

Time, Topology, Differential Logic • 5

Posted on November 19, 2016 by Jon Awbrey

And the founder, having shod a plough with a brazen ploughshare, and having yoked to it a bull and a cow, himself drove a deep furrow round the boundary lines, while those who followed after him had to turn the … Continue reading →

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 10 Comments

Time, Topology, Differential Logic • 4

Posted on November 15, 2016 by Jon Awbrey

Re: Peirce List Discussion • JFS • JA JA: Trying to understand inquiry and semiosis in general as temporal processes is one of the things that forced me to develop differential logic as an extension of propositional logic, for which … Continue reading →

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 9 Comments

Time, Topology, Differential Logic • 3

Posted on November 14, 2016 by Jon Awbrey

Re: Peirce List Discussion • JA Worldly events are interfering with my concentration quite a bit this week, perhaps for days to come, but it does help to immerse myself in work.  I am starting a blog series to follow … Continue reading →

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 9 Comments