Category Archives: Automated Research Tools

Icon Index Symbol • 7

Posted on April 16, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien Looking back over many previous discussions, I think one of the main things keeping people from being on the same page, or even being … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 17 Comments

Icon Index Symbol • 6

Posted on April 15, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • HR • JAS • HR I think it would be a good idea to continue reviewing basic concepts and get better acquainted with the relational context … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 15 Comments

Icon Index Symbol • 5

Posted on April 14, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien Given that sign relations are special cases of triadic relations, we can get significant insight into the structures of both cases by examining a … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 15 Comments

Icon Index Symbol • 4

Posted on April 14, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Helmut Raulien One thing I always say at these junctures is that people really ought to take Peirce’s advice and study his logic of relative terms … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 15 Comments

Icon Index Symbol • 3

Posted on April 10, 2017 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List (1) (2) (3) • Kirsti Määttänen KM:  Seems valid to me.  But it does not answer the quest for understanding. The setup described in the previous post is the barest … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 16 Comments

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

Survey of Inquiry Driven Systems • 1

Posted on May 14, 2015 by Jon Awbrey

This is a Survey of blog and wiki posts on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables … Continue reading →

Posted in Abduction, Action, Adaptive Systems, Aristotle, Artificial Intelligence, Automated Research Tools, Change, Cognitive Science, Communication, Cybernetics, Deduction, Descartes, Dewey, Discovery, Doubt, Education, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Invention, Kant, Knowledge, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Mental Models, Peirce, Pragmatic Maxim, Pragmatism, Process Thinking, Scientific Inquiry, Semiotics, Sign Relations, Surveys, Teaching, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Animated Logical Graphs • 6

Posted on March 13, 2015 by Jon Awbrey

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, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Graph Theory, Iconicity, Laws of Form, 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

Animated Logical Graphs • 5

Posted on January 28, 2015 by Jon Awbrey

Re: Peirce List Discussion • HP 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 use … 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