Tag Archives: Analogy

Survey of Precursors Of Category Theory • 1

Posted on May 15, 2015 by Jon Awbrey

A few years ago I began a sketch on the “Precursors of Category Theory”, aiming to trace the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  A Survey of … Continue reading →

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Sign Relations, Surveys, Triadic Relations, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 20 Comments

Animated Logical Graphs • 6

Posted on March 13, 2015 by Jon Awbrey

Re: Peirce List • Jim Willgoose At root we are dealing with a genre of very abstract formal systems.  They have grammars that determine their well-formed expressions and rules that determine the permissible transformations among expressions, but they lack all … Continue reading →

Posted in Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, Laws of Form, 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

Animated Logical Graphs • 5

Posted on January 28, 2015 by Jon Awbrey

Re: Peirce List Discussion • HP A computational problem is defined as a set of problem instances with specified properties.  An algorithm solves a problem if it computes the correct answer to every problem instance in that set. The use … 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

Animated Logical Graphs • 4

Posted on January 27, 2015 by Jon Awbrey

Re: Peirce List • Helmut Raulien It’s fair to say most of my university coursework leaned to the theoretical side but I did cobble together a respectable enough background in computing, statistics, and industrial-organizational styles of systems and simulation that … 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

Animated Logical Graphs • 3

Posted on January 26, 2015 by Jon Awbrey

Re: Peirce List • Helmut Raulien I have a little more leisure now to start climbing back into the saddle, so let me see where we left off … Try looking into the article I linked before: Logical Graphs Or … 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 • 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

Icon, Likeness, Likely Story, Likelihood, Probability • 3

Posted on December 12, 2013 by Jon Awbrey

Re: Peirce List • Phyllis Chiasson A more complete excerpt and the translator’s notes are very helpful here. A probability (εικος) is not the same as a sign (σηµειον).  The former is a generally accepted premiss ;  for that which people … Continue reading →

Posted in Analogy, Aristotle, C.S. Peirce, Icon Index Symbol, Induction, Inquiry, Likelihood, Likely Story, Likeness, Logic, Mathematics, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , | 1 Comment

Icon, Likeness, Likely Story, Likelihood, Probability • 2

Posted on December 11, 2013 by Jon Awbrey

Re: Peirce List • Phyllis Chiasson I’m still a bit fuzzy on how Aristotle’s account relates to Peirce’s usage, though I’m pretty sure Peirce must have taken Aristotle’s usage into account, but it does seem that Aristotle drew some sort … Continue reading →

Posted in Analogy, Aristotle, C.S. Peirce, Icon Index Symbol, Induction, Inquiry, Likelihood, Likely Story, Likeness, Logic, Mathematics, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , | 1 Comment

Icon, Likeness, Likely Story, Likelihood, Probability • 1

Posted on December 11, 2013 by Jon Awbrey

Re: Peirce List • Benjamin Udell • Michael Shapiro Here’s a likely locus classicus for “icon” in its logical sense — A probability (εικος) is not the same as a sign (σηµειον).  The former is a generally accepted premiss;  for … Continue reading →

Posted in Analogy, Aristotle, C.S. Peirce, Icon Index Symbol, Induction, Inquiry, Likelihood, Likely Story, Likeness, Logic, Mathematics, Probability, Probable Reasoning, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , | 2 Comments