Category Archives: Iconicity

Homunculomorphisms • 2

Re: John Baez • The Internal Model Principle There’s a far-ranging discussion that takes off from this point, touching on links among analogical reasoning, arrows and functors, cybernetic images, iconic versus symbolic representations, mental models, systems simulations, etc., and just … Continue reading

Posted in Analogy, Ashby, Automata, Control Systems, Cybernetics, Homunculi, Homunculomorphisms, Iconicity, Information Theory, Inquiry, Inquiry Driven Systems, Intentionality, Internal Models, Logic, Logic of Science, Mathematics, Mental Models, Model Theory, Optimal Control, Peirce, Semiotics, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Problems In Philosophy • 4

Re: R.J. Lipton and K.W. Regan • Did Euclid Really Mean ‘Random’? These are the forms of time, which imitates eternity and revolves according to a law of number. Plato • Timaeus • 38 A Benjamin Jowett (trans.) It is … Continue reading

Posted in Aristotle, Computation, Computer Science, Euclid, Genericity, Geometry, Iconicity, Likelihood, Likely Story, Likeness, Mathematics, Number Theory, Philosophy, Philosophy of Mathematics, Plato, Probability, Socrates | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Survey of Precursors Of Category Theory • 1

A few years ago I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. This post is … Continue reading

Posted in Abstraction, Ackermann, Analogy, Aristotle, Carnap, Category Theory, Diagrammatic Reasoning, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Iconicity, Kant, Logic, Mathematics, Mental Models, Peirce, Propositions As Types Analogy, Saunders Mac Lane, Surveys, Triadic Relations, Type Theory, Universals, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Animated Logical Graphs : 6

Re: Peirce List Discussion • Jim Willgoose At root we are dealing with a genre of very abstract formal systems.  They have grammars that determine their well-formed expressions and rules that determine the permissible transformations among expressions, but they lack … Continue reading

Posted in Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Constraint Satisfaction Problems, 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 5

Re: Peirce List Discussion • Howard Pattee A computational problem is defined as a set of problem instances with specified properties.  An algorithm solves a problem if it computes the correct answer to every problem instance in that set. The … Continue reading

Posted in Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Constraint Satisfaction Problems, 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 4

Re: Peirce List Discussion • Helmut Raulien Although it’s fair to say that most of my university coursework leaned to the theoretical side of things, I did cobble together a respectable enough background in computing, statistics, and industrial-organizational styles of … Continue reading

Posted in Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Constraint Satisfaction Problems, 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs : 3

Re: Peirce List Discussion • Helmut Raulien I have a little more leisure now to begin the process of climbing back into the saddle, so let me see where we left off … Try looking into the article I linked … Continue reading

Posted in 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment