Tag Archives: Leibniz

Animated Logical Graphs • 1

Posted on January 8, 2015 by Jon Awbrey

For Your Musement … Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic. ☞ Proof Animations See the following article for a full … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Duality, Form, Graph Theory, Iconicity, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Peirce, Peirce's Law, Praeclarum Theorema, Pragmatism, Proof Theory, Propositional Calculus, Semiotics, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

“What we’ve got here is (a) failure to communicate” • 6

Posted on November 15, 2013 by Jon Awbrey

Excerpt from Warren S. McCulloch, “What Is a Number, that a Man May Know It, and a Man, that He May Know a Number?” (1960) Please remember that we are not now concerned with the physics and chemistry, the anatomy … Continue reading →

Posted in Abduction, Amphecks, Aristotle, Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Combinatorics, Deduction, Duns Scotus, Induction, Leibniz, Logic, Logic of Relatives, Mathematics, Neural Models, Ockham, Peirce, Propositional Logic, Psychons, Relation Theory, Sources, Triadic Relations, Warren S. McCulloch, William James | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

The Present Is Big With The Future

Posted on April 1, 2013 by Jon Awbrey

Now that I have proved sufficiently that everything comes to pass according to determinate reasons, there cannot be any more difficulty over these principles of God’s foreknowledge.  Although these determinations do not compel, they cannot but be certain, and they … Continue reading →

Posted in Causality, Certainty, Chance, Contingency, Determination, Determinism, Differential Calculus, Differential Logic, Evil, Free Will, Freedom, Hologrammautomaton, Infinitesimals, Leibniz, Preëstablished Harmony, Theodicy | Tagged , , , , , , , , , , , , , , , | 17 Comments

Praeclarum Theorema

Posted on October 5, 2008 by Jon Awbrey

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus that was noted and named by G.W. Leibniz. Continue reading →

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