Tag Archives: Functional Logic

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

Icon Index Symbol • 11

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien HR: A simple triadic or n-adic relation, I think, belongs to secondness, and has only two modes:  the quality, e.g. function or caprice (intension), and the … 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 • 10

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien HR: I am not so sure, if thirdness is about any triadic relation. It may be more a matter of exegetic strategy than anything else but … 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 • 9

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien I confess I have never found going on about Firstness Secondness Thirdness all that useful in any practical situation. Firstness means you have a monadic predicate … 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 • 8

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List Discussion • Helmut Raulien The difference between the two definitions of a -place relation in the previous post is sometimes described as decontextualized versus contextualized or, in computer science lingo, … 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