Author Archives: Jon Awbrey

And Now A Word From Our Sponsor …

Does your dualism lose its flavor on the bedpost overnight? Unblock your inquiry with a dose of Peirce’s Elixir Triadic❢ ☞ Inquiry Driven Systems • Are There Apps For That? Frequently encountered complementarities, dualities, or design trade-offs Integrating data-driven (empiricist) … Continue reading

Posted in Analogy, C.S. Peirce, Dualism, Dyadicism, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Inquiry Support Technology, Intelliscope, Pragmatism, Reductionism, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 8 Comments

Definition and Determination • 9

Re: Cathy O’Neil • The Art of Definition In classical logical traditions the concepts of definition and determination are closely related and their bond acquires all the more force if you view the overarching concept of constraint from an information-theoretic … Continue reading

Posted in C.S. Peirce, Definition, Determination, Inquiry, Logic, Mathematics, Peirce, Phenomenology, Semiotics | Tagged , , , , , , , , | 7 Comments

Objects, Models, Theories • 1

Happy Birthday, Charles Sanders Peirce❢ — September 10, 1839 Re: Artem Kaznatcheev • Three Types of Mathematical Models Comment 1 In speaking of models one tends to find denizens of different disciplines talking at cross purposes to one another.  Logicians … Continue reading

Posted in Adaptive Systems, Analogy, Biological Systems, C.S. Peirce, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mathematics, Mental Models, Model Theory, Pragmata, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 8 Comments

What To Do?

Re: What To Do? You are headed toward a grabitational singularity, and someone offers you a ton of gold.  What good is that?  Feathers and cannonballs all fall the same, I’m told.  If you have a way to convert the … Continue reading

Posted in Grabitational Singularity, Singularity | Tagged , | Leave a comment

Where Is Fancy Bred?

Re: Artem Kaznatcheev • Fitness Landscapes as Mental & Mathematical Models of Evolution The question of “mental models” has occupied my thoughts for quite a while. As intelligent agents with a capacity for inquiry, we have ways of forming and … Continue reading

Posted in Adaptive Systems, Analogy, Artem Kaznatcheev, Artificial Intelligence, Biological Systems, Communication, Computational Complexity, Control, Evolution, Fitness Landscapes, Imagination, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Mathematical Models, Mental Models, Natural Intelligence, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , | 1 Comment

Ideas Demand Expression Always

Re: Quomodocumque What came of my morning meditation today — There is something about an idea that demands to be communicated. But what of bad ideas, fixed ideas, ideology? And again, is there really any such thing as a bad … Continue reading

Posted in Meditation | Tagged | Leave a comment

Anamnesis, Maieusis, Monadology, Semeiosis

Anamnesis Learning = Recollection Maieusis Teaching = Midwifery Monadology Communication = Pre-Established Harmony Semeiosis Meaning = Interpretation

Posted in Anamnesis, Maieusis, Monadology, Semeiosis, Semiosis, Symbolism | Tagged , , , , , | Leave a comment

The Lambda Point • 1

A note on the title.  From long ago discussions with Harvey Davis, one of my math professors at Michigan State.  I remember telling him of my interest in the place where algebra, geometry, and logic meet, and he quipped, “Ah … Continue reading

Posted in Algebra, Amphecks, Boolean Algebra, C.S. Peirce, Cactus Graphs, Geometry, Graph Theory, Lambda Point, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Peirce, Propositional Calculus, Topology | Tagged , , , , , , , , , , , , , , | Leave a comment

How To Succeed In Proof Business Without Really Trying

Re: R.J. Lipton • Surely You Are Joking? Comment 1 Even at the mailroom entry point of propositional calculus, there is a qualitative difference between insight proofs and routine proofs.  Human beings can do either sort, as a rule, but … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automatic Theorem Proving, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Model Theory, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 7 Comments

What Is A Theorem That A Human May Prove It?

Re: Gil Kalai • Why Is Mathematics Possible? • Tim Gowers’ Take On The Matter Comment 1 To the extent that mathematics has to do with reasoning about possible existence, or inference from pure hypothesis, a line of thinking going … Continue reading

Posted in Abduction, Analogy, Aristotle, C.S. Peirce, Conjecture, Deduction, Epistemology, Hypothesis, Induction, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Proof Theory, Retroduction, Theorem Proving, Warren S. McCulloch | Tagged , , , , , , , , , , , , , , , , , | 2 Comments