Category Archives: Logic

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

Tenacity, Authority, Plausibility, Inquiry

Posted on January 15, 2013 by Jon Awbrey

Re: Peter Cameron • Mathematics and Logic My favorite polymathematician, Charles Sanders Peirce, gave a fourfold classification of what he called “methods of fixing belief”, or “settling opinion”, most notably and seminally in his paper, “The Fixation of Belief” (1877).  … Continue reading →

Posted in Authority, Belief, Belief Fixation, C.S. Peirce, Fixation of Belief, Inquiry, Logic, Method, Philosophy of Science, Plausibility, Science, Scientific Inquiry, Scientific Method, Tenacity, Uncertainty | Tagged , , , , , , , , , , , , , , | 4 Comments

Theme One • A Program Of Inquiry 3

Posted on December 31, 2012 by Jon Awbrey

Re: Peirce List • Gary Richmond The program I wrote for my M.A. in Psych was barely a prototype, a “test of concept”, as they say, but I continued to develop and apply the underlying collection of ideas to a number … 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

Theme One • A Program Of Inquiry 2

Posted on December 21, 2012 by Jon Awbrey

Re: Peirce List • Jerry Chandler I think I was probably the first person in that particular psychology department to submit a program as a master’s thesis, at any rate they didn’t have regular procedures set up for that kind … 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