Tag Archives: Logical Graphs

Differential Logic • Discussion 16

Re: Survey of Differential Logic • 3 Re: Laws of Form • Lyle Anderson LA: Thanks for posting this.  Particularly the Differential Logic and Dynamic Systems. It appears this is part of the trail to connecting Forms with Tensors.  Heim … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Selection 13

I continue with my Selections and Comments examining Peirce’s 1870 Logic of Relatives, one of those works which convinced me from my earliest grapplings I would need to learn a lot more mathematics before I’d have any hope of understanding … Continue reading

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 1 Comment

Differential Logic and Dynamic Systems • Discussion 7

Re: Differential Logic and Dynamic Systems • Intentional Propositions Re: FB | Differential Logic • Marius V. Constantin Marius Constantin asks about the logical value of an intention which is not carried out. MVC: I have in my intention to … 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, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Comment 3

In passing to more complex combinations of relative terms and the extensional relations they denote, as we began to do in Comments 10.6 and 10.7, I used words like composite and composition along with the usual composition sign to describe … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 5

Re: Conceptual Graphs • Peiyuan Zhu PZ: I’m studying imprecise probabilities which initially works as an extension in Boole’s Laws of Thoughts.  It seems like Boole was solving a set of algebraic equations for probabilities where some of the probabilities … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 4

Re: Peirce’s 1870 “Logic of Relatives” • Proto-Graphical Syntax Re: FB | Ancient Logic • Henning Engebretsen HE: What’s your point, it’s obviously too graphical, but perhaps you are driving at something else.  Explain? Dear Henning, My aim here is … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1870 “Logic of Relatives” • Discussion 3

All other sciences without exception depend upon the principles of mathematics;  and mathematics borrows nothing from them but hints. C.S. Peirce • “Logic of Number” A principal intention of this essay is to separate what are known as algebras of … Continue reading

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Triadic Relations • Discussion 3

Re: Triadic Relations • (1) • (2) • (3) Re: Conceptual Graphs • Edwina Taborsky ET: A few comments on your outline of the Sign.  I think one has to be careful not to set up a Saussurian linguistic dyad.  … Continue reading

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | Leave a comment

Genus, Species, Pie Charts, Radio Buttons • Discussion 5

Re: Genus, Species, Pie Charts, Radio Buttons • 1 Re: Laws of Form • John Mingers Dear John, Once we grasp the utility of minimal negation operators for partitioning a universe of discourse into several regions and any region into … Continue reading

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 1 Comment