Category Archives: Logic

Riffs and Rotes • 2

Posted on March 3, 2013 by Jon Awbrey

Re: Peter Cameron • Addition and Multiplication of Natural Numbers The interaction between addition and multiplication in the natural numbers has long been an interest of mine, leading to broader questions about the relationship between algebra and combinatorics.  My gropings … Continue reading →

Posted in Arithmetic, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | Leave a comment

I Wonder, Wonder Who

Posted on February 25, 2013 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Who Invented Boolean Functions? The question recalls recent discussions of discovery and invention in the mathematical field, bringing back to mind questions I’ve wondered about for as long as I can remember. Speaking … Continue reading →

Posted in Anamnesis, Aristotle, Boole, Boolean Functions, C.S. Peirce, Discovery, Invention, Learning, Logic, Mathematics, Meno, Model Theory, Peirce, Plato, Propositional Calculus, Recollection, Semiotics, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Notes On Categories • 1

Posted on February 22, 2013 by Jon Awbrey

Continued from “Notes On Categories” (14 Jul 2003) • Inquiry List • Ontology List NB.  This page is a work in progress.  I will have to dig up some still older notes from the days of pen and paper before … Continue reading →

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | 10 Comments

Theme One • A Program Of Inquiry 4

Posted on February 14, 2013 by Jon Awbrey

Re: Next Polymath Project • What, When, Where? Here’s a bit of data on the Theme One Program I worked on all through the 1980s.  My aim was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading →

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Château Descartes

Posted on February 14, 2013 by Jon Awbrey

But if we are to select those dimensions which will be of the greatest assistance to our imagination, we should never attend to more than one or two of them as depicted in our imagination, even though we are well … Continue reading →

Posted in Analytic Geometry, Cartesian Coordinate System, Cartesian Philosophy, Cartesian Product, Descartes, Dualism, Dyadicism, Inquiry, Logic, Mathematics, Philosophy, Reductionism, Relation Theory | Tagged , , , , , , , , , , , , | 3 Comments

The Difference That Makes A Difference That Peirce Makes • 1

Posted on February 7, 2013 by Jon Awbrey

Being one who does not view Peirce’s work as a flickering foreshadowing of analytic philosophy, logical whatevism, or anything else you want to call it, but leans more to thinking of the latter philosophies as fumbling fallbacks losing what ground … Continue reading →

Posted in C.S. Peirce, Inquiry, Logic, Mathematics, Philosophy, Pragmatism, Science, Scientific Method, Semiotics | Tagged , , , , , , , , | 1 Comment

Propositions As Types Analogy • 1

Posted on January 29, 2013 by Jon Awbrey

Re: R.J. Lipton • Mathematical Tricks One of my favorite mathematical tricks — it almost seems too tricky to be true — is the Propositions As Types Analogy. And I see hints the 2‑part analogy can be extended to a … Continue reading →

Posted in Animata, C.S. Peirce, Combinator Calculus, Combinatory Logic, Curry–Howard Isomorphism, Graph Theory, Lambda Calculus, Logic, Logical Graphs, Mathematics, Proof Theory, Propositions As Types Analogy, Type Theory | Tagged , , , , , , , , , , , , | 3 Comments

Riffs and Rotes • 1

Posted on January 28, 2013 by Jon Awbrey

Re: Richard J. Lipton • Making Primes More Random There’s a study called generalized primes which investigates in a more general way the relationship between arbitrary elements called primes and the composites which can be formed from them according to … Continue reading →

Posted in Arithmetic, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | 2 Comments

Triadic Relation Irreducibility • 2

Posted on January 18, 2013 by Jon Awbrey

Re: Peirce List • Matt Faunce • Jon Awbrey • Jon Awbrey Though my present object has more to do with the logical and mathematical aspects of triadic relations than it does with their psychological embodiments, the following exchange on … Continue reading →

Posted in C.S. Peirce, Category Theory, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relational Manifolds, Sign Relations, Teridentity, Thirdness, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 1 Comment

Triadic Relation Irreducibility • 1

Posted on January 17, 2013 by Jon Awbrey

The core insight of Peirce’s conceptual system is the recognition that triadic relations are sui generis, constituting a class by themselves.  Understanding the properties of triadic relations and the consequences of their irreducibility is critical to understanding Peirce’s thought and work.  … Continue reading →

Posted in C.S. Peirce, Category Theory, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relational Manifolds, Sign Relations, Teridentity, Thirdness, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 11 Comments