Tag Archives: Cognitive Science

Survey of Theme One Program • 2

This is a Survey of previous blog and wiki posts on the Theme One Program that I developed all through the 1980s.  The aim of the project was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Icon Index Symbol • 17

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien Our object being to clarify the relationships among icons, indices, and symbols, I believe the maximum benefit possible at this point is to be gained from … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 16

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • JAS • HR Having lost my train of thought due to a week on the road, I would like to go back and pick up the thread at … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 15

Questions Concerning Certain Faculties Claimed For Signs I put down the cup and turn to my mind.  It is up to my mind to find the truth.  But how?  What grave uncertainty, whenever the mind feels overtaken by itself;  when … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 14

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien Re: Icon Index Symbol • (10) • (11) • (12) • (13) Let me sum up the main points of the above exchange before moving on. … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 13

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien HR: I guess, that a difference between Peirce’s relation theory, and his semiotics and category theory, is, that the first is about all triadic relations, and … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Icon Index Symbol • 12

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien HR: Example:  The triadic function with the three sets not being classes of any kind, at least not of the special kind (whatever that is), that … Continue reading

Posted in Abduction, Algorithms, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Computer Science, Data Structures, Deduction, Functional Logic, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Objective Frameworks, Peirce, Relation Theory, Relative Membership, Scientific Method, Semiotics, Set Theory, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment