Category Archives: Automata

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

Homunculomorphisms • 1

Re: John Baez • The Internal Model Principle Ashby’s book was my own first introduction to cybernetics and I recently returned to his discussion of regulation games in connection with some issues in Peirce’s theory of inquiry. In that context … Continue reading

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

Problems In Philosophy • 5

Re: Michael Harris • Are Your Colleagues Zombies? What makes a zombie a legitimate object of philosophical inquiry is its absence of consciousness.  And today’s question is whether mathematical research requires consciousness, or whether it could just as well be … Continue reading

Posted in Aristotle, Automata, Automated Research Tools, Automation, Cognition, Computation, Consciousness, Freud, Inquiry, Inquiry Driven Systems, Intentionality, Mathematics, Mechanization, Michael Harris, Peirce, Philosophy, Philosophy of Mathematics, Philosophy of Mind, Plato, Psychology, Routinization, Socrates, Sophist, Turing Test | Tagged , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Analytic Turing Automata : 1

Re: Proving Cook’s Theorem Synchronicity Rules❢ I just started reworking an old exposition of mine on Cook’s Theorem, where I borrowed the Parity Function example from Wilf (1986), Algorithms and Complexity, and translated it into the cactus graph syntax for … Continue reading

Posted in Automata, Boolean Functions, Cactus Graphs, Computational Complexity, Computer Science, Cook's Theorem, Differential Analytic Turing Automata, Differential Logic, Logic, Logical Graphs, Peirce, Propositional Calculus | Tagged , , , , , , , , , , , | 2 Comments

Ask Meno Questions • Code Meno Code

Adapted from Prospects for Inquiry Driven Systems 1.1.2.3. The Trees, The Forest A sticking point of the whole discussion has just been reached. In the idyllic setting of a knowledge field the question of systematic inquiry takes on the following … Continue reading

Posted in Algorithms, Artificial Intelligence, Automata, Education, Epistemology, Formal Language Theory, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Meno, Philosophy, Plato, Programming, Programming Languages, Socrates, Teaching | Tagged , , , , , , , , , , , , , , , , , | 1 Comment