Monthly Archives: January 2013

Duality Indicating Unity : 1

Re: R.J. Lipton • Mathematical Tricks A formal duality points to a higher unity — a calculus of forms whose expressions can be read in two different ways by switching the meanings assigned to a pair of primitive terms. I … Continue reading

Posted in Abstraction, C.S. Peirce, Duality, Form, Indication, Interpretation, Peirce, Unity | Tagged , , , , , , , | 5 Comments

Propositions As Types : 1

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

Posted in Abstraction, C.S. Peirce, Combinator Calculus, Combinatory Logic, Computation, Computational Complexity, Computer Science, Curry–Howard Isomorphism, Formal Language Theory, Graph Theory, Lambda Calculus, Logic, Logical Graphs, Mathematics, Peirce, Programming Languages, Propositions As Types Analogy, Type Theory | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Riffs and Rotes : 1

Re: R.J. Lipton • Making Primes More Random There is a study called generalized primes that investigates in a more general way the relationship between arbitrary elements called primes and all the composites that can be formed from them according … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , | 1 Comment

repetition wears on the human soul

repetition wears on the human soul

Posted in Repetition | Tagged | Leave a comment

Plato’s Puppet Returns

Re: Peter Cameron • Discovery and Invention Between the discovery and the invention, Falls the Shadow, who knows, you know, By tracking backward, retracing the steps Of the tourist, who comes not to conquer, But to enjoy the winding stair … Continue reading

Posted in Anamnesis, Artificial Intelligence, Discovery, Education, Epistemology, Inquiry, Inquiry Driven Systems, Intelligent Systems, Invention, Learning, Meno, Philosophy, Plato, Psychology, Semiotics, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Triadic Relation Irreducibility : 2

Re: Peirce List Discussion • MF • JA • JA 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 the matter … Continue reading

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

Triadic Relation Irreducibility : 1

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, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Philosophy, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relational Manifolds, Sign Relations, Teridentity, Thirdness, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 11 Comments