Category Archives: Model Theory

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 See the following article for a full … 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

¿Shifting Paradigms? • 4

Posted on August 23, 2014 by Jon Awbrey

Re: Foundational Crisis? • Harvey Friedman 2014 Aug 22 Shock and surprise are relative to a prior state of belief.  The belief that mathematics reduces to logic, and that of a purely deductive sort from given axioms, seems to be … Continue reading →

Posted in C.S. Peirce, Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 3

Posted on August 22, 2014 by Jon Awbrey

Re: What Is Good Mathematics? • Harvey Friedman 2014 Aug 17 Speaking of mathematics in the context of “general intellectual activity” brings to mind Raymond Wilder’s take on “mathematics as a cultural system”. I would like to keep that in … Continue reading →

Posted in C.S. Peirce, Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 2

Posted on August 6, 2014 by Jon Awbrey

Re: Timothy Chow • Shifting Paradigms? 2014 Jul 31 I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by … Continue reading →

Posted in Algebra, Arithmetic, Combinatorics, Foundations of Mathematics, Graph Theory, Group Theory, Inquiry, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 1

Posted on August 6, 2014 by Jon Awbrey

Re: Dana Scott • Shifting Paradigms? 2014 Jul 28 This is very interesting to me, but not all my posts make it to the list, so I will spend a few days reflecting on it and post a comment on … Continue reading →

Posted in Foundations of Mathematics, Inquiry, Logic, Mathematics, Model Theory, Paradigms, Peirce, Programming, Proof Theory | Tagged , , , , , , , , | Leave a comment

Objects, Models, Theories : 4

Posted on November 27, 2013 by Jon Awbrey

I need to stay with this problem a while … What are objects, models, theories, and how do they relate to one another? In contemplating this problem I always find it helpful to ruminate on the diagram shown above — … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Information Theory, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Paradigms, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Objects, Models, Theories : 3

Posted on November 21, 2013 by Jon Awbrey

Re: Peirce List Discussion • Tom Gollier Here my task is to build bridges between several different classical and contemporary uses of the word model, so I don’t have the luxury of complete control over the words in play but … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Objects, Models, Theories : 2

Posted on November 20, 2013 by Jon Awbrey

Re: K.W. Regan • The Graph Of Math Re: Artem Kaznatcheev • Three Types Of Mathematical Models What — if anything — is the common sense that connects the different senses of the word model, as it has been used … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics | Tagged , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Objects, Models, Theories • 1

Posted on September 10, 2013 by Jon Awbrey

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

How To Succeed In Proof Business Without Really Trying

Posted on July 15, 2013 by Jon Awbrey

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