Category Archives: Proof Theory

Praeclarum Theorema • 2

Posted on October 14, 2023 by Jon Awbrey

Re: Praeclarum Theorema • 1 And here’s a neat proof of that nice theorem — Reference Leibniz, Gottfried W. (1679–1686?), “Addenda to the Specimen of the Universal Calculus”, pp. 40–46 in G.H.R. Parkinson (ed., trans., 1966), Leibniz : Logical Papers, … Continue reading →

Posted in Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , | 8 Comments

Praeclarum Theorema • 1

Posted on October 13, 2023 by Jon Awbrey

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W. Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This … Continue reading →

Posted in Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , | 9 Comments

Praeclarum Theorema

Posted on October 5, 2023 by Jon Awbrey

Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W. Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. … Continue reading →

Posted in Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , | 8 Comments

Survey of Animated Logical Graphs • 5

Posted on March 28, 2023 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, 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 , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

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

Posted on January 15, 2022 by Jon Awbrey

Re: Conceptual Graphs • Gary Zhu GZ: I’m quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs, Iconicity, Interpretation • Discussion 2

Posted on October 21, 2021 by Jon Awbrey

Re: Logical Graphs, Iconicity, Interpretation • 2 Re: Laws of Form • John Mingers JM: The quote you have given does not match the standard Peircean trichotomy of icon, index, symbol.  See this quote from [CP 4.447 …] Dear John, I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • Discussion 1

Posted on October 13, 2021 by Jon Awbrey

Re: Logical Graphs, Iconicity, Interpretation • 1 Re: Laws of Form • John Mingers JM: I’m impressed that you have read Ricoeur — my impression is that Americans don’t have much time for Continental philosophy (a huge generalisation of course). … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • 2

Posted on October 4, 2021 by Jon Awbrey

In the first place there are likenesses or copies — such as statues, pictures, emblems, hieroglyphics, and the like.  Such representations stand for their objects only so far as they have an actual resemblance to them — that is agree … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Logical Graphs, Iconicity, Interpretation • 1

Posted on October 3, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 81

Posted on August 26, 2021 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • A Negative Comment On Negations Minsky and Papert’s Perceptrons was the work that nudged me over the line from gestalt psychology, psychophysics, relational biology, etc. and made me believe AI could fly.  I later … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments