Category Archives: Mathematics

Pragmatism About Theoretical Entities • 1

Posted on January 20, 2015 by Jon Awbrey

By theoretical entities I mean things like classes, properties, qualities, sets, situations, or states of affairs, in general, the putative denotations of theoretical concepts, formulas, sentences, terms, or treatises, in brief, the ostensible objects of signs. A conventional statement of … Continue reading →

Posted in Abstraction, C.S. Peirce, Essentialism, Hypostatic Abstraction, Logic, Mathematics, Metaphysics, Method, Nominalism, Ockham, Ockham's Razor, Peirce, Pragmatic Maxim, Pragmatism, Realism, Semiotics, Theory | Tagged , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs • 2

Posted on January 14, 2015 by Jon Awbrey

Re: Peirce List • Jim Willgoose 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 … Continue reading →

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

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 Double Negation Peirce’s Law Praeclarum Theorema Two‑Thirds Majority … Continue reading →

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

Frankl, My Dear • 12

Posted on November 24, 2014 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: Dick … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 10 Comments

Frankl, My Dear • 11

Posted on November 10, 2014 by Jon Awbrey

Re: Dick Lipton & Ken Regan • (1) • (2) Let’s take a moment from the differential analysis of the proposition in Example 1 to form a handy compendium of the results obtained so far. Example 1 (1) Enlargement Map of … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 10 Comments

Continuity, Generality, Infinity, Law, Synechism • 1

Posted on November 9, 2014 by Jon Awbrey

The concept of continuity Peirce highlights in his synechism is a logical principle somewhat more general than the concepts of either mathematical or physical continua. Peirce’s concept of continuity is better understood as a concept of lawful regularity or parametric … Continue reading →

Posted in Abduction, Aristotle, C.S. Peirce, Cardinality, Constraint, Continua, Continuity, Discreteness, Discretion, Epistemology, Generality, Infinity, Knowledge, Logic, Logic of Science, Mathematical Models, Mathematics, Natural Law, Physics, Quanta, Quantum Mechanics, Synechism, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Frankl, My Dear • 10

Posted on November 4, 2014 by Jon Awbrey

Re: Dick Lipton & Ken Regan • (1) • (2) (5) Figure 5 shows the 14 terms of the difference map as arcs, arrows, or directed edges in the venn diagram of the original proposition The arcs of are directed into … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 11 Comments

Frankl, My Dear • 9

Posted on November 3, 2014 by Jon Awbrey

“It doesn’t matter what one does,” the Man Without Qualities said to himself, shrugging his shoulders. “In a tangle of forces like this it doesn’t make a scrap of difference.” He turned away like a man who has learned renunciation, … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 13 Comments

Frankl, My Dear • 8

Posted on October 30, 2014 by Jon Awbrey

Re: Dick Lipton & Ken Regan • (1) • (2) (4) Figure 4 shows the eight terms of the tacit extension as arcs, arrows, or directed edges in the venn diagram of the original proposition Each term of the tacit extension … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 11 Comments

Frankl, My Dear • 7

Posted on October 29, 2014 by Jon Awbrey

Re: Dick Lipton & Ken Regan • (1) • (2) We continue with the differential analysis of the proposition in Example 1. Example 1 (1) A proposition defined on one universe of discourse has natural extensions to larger universes of discourse. … Continue reading →

Posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl | Tagged , , , , , , , , | 12 Comments