Category Archives: Inquiry Driven Systems

Abduction, Deduction, Induction, Analogy, Inquiry • 6

Posted on February 29, 2016 by Jon Awbrey

Re: Peter Woit • Beyond Experiment There is a lot of misunderstanding about the requirement of falsifiability.  At root it is simply the idea that an empirical law is not a logical tautology.  I don’t see any reason to dispense … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , | 7 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 5

Posted on February 29, 2016 by Jon Awbrey

Re: Peter Woit • Beyond Experiment Peirce is simply describing the process by which we seize on an initial hypothesis or model.  That choice will in practice be influenced by all sorts of previous experiences with the phenomenon in question … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , | 6 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 4

Posted on February 26, 2016 by Jon Awbrey

Re: FB | Ecology Of Systems Thinking • Steven Wallis Peirce sought to understand what all varieties of inquiry, ranging from everyday reasoning and problem solving to full-fledged scientific method, have in common.  Taking a cue from Aristotle he developed … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , | 6 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 3

Posted on February 17, 2016 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Waves, Hazards, Guesses Aristotle’s apagoge, variously translated as abduction, reduction, or retroduction, is a form of reasoning common to two types of situations. Abduction may involve either of the following two operations. The … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Problem Solving, Semiotics | Tagged , , , , , , , , , , , , , , | 6 Comments

Homunculomorphisms • 2

Posted on February 12, 2016 by Jon Awbrey

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

Homunculomorphisms • 1

Posted on February 11, 2016 by Jon Awbrey

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

Problems In Philosophy • 5

Posted on February 10, 2016 by Jon Awbrey

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

Prospects for Inquiry Driven Systems • 1

Posted on January 22, 2016 by Jon Awbrey

I finally finished retyping the bibliography to my systems engineering proposal that had gotten lost in a move between computers, so here is a link to the OEIS Wiki copy. Prospects for Inquiry Driven Systems • Bibliography This may be of … Continue reading →

Posted in Adaptive Systems, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Cybernetics, Differential Logic, Educational Systems Design, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems Engineering, Learning, Logic, Logic of Science, Logical Graphs, Machine Learning, Peirce, Propositional Calculus, Reasoning, Scientific Method, Semiotics, Sign Relations, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Considerate Reason • 2

Posted on December 29, 2015 by Jon Awbrey

Re: R.J. Lipton • Why Is Discrete Math Hard To Teach? The Liberal Arts trivium of Grammar, Logic, Rhetoric received a latter day echo in the Unified Science trivium of Syntax, Semantics, Pragmatics, which was in turn the way Charles Morris … Continue reading →

Posted in Argument, C.S. Peirce, Computer Programming, Discrete Mathematics, Education, Educational Systems Design, Grammar, Inquiry, Inquiry Driven Systems, Interpretation, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatics, Relation Theory, Rhetoric, Semantics, Semiotics, Sign Relations, Syntax, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Considerate Reason • 1

Posted on December 28, 2015 by Jon Awbrey

Re: R.J. Lipton • Why Is Discrete Math Hard To Teach? Rhetoric deals with forms of argument that consider the interpreter.  As considerate reason, it is involved in the style of training the Greeks dubbed education, “leading out”, and it … Continue reading →

Posted in Argument, C.S. Peirce, Computer Programming, Discrete Mathematics, Education, Educational Systems Design, Grammar, Inquiry, Inquiry Driven Systems, Interpretation, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatics, Relation Theory, Rhetoric, Semantics, Semiotics, Sign Relations, Syntax, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment