Category Archives: Functional Logic

Minimal Negation Operators • 4

Re: Laws Of Form Discussion • Minimal Negation Operators Defining minimal negation operators over a more conventional basis is next in order of logic, if not necessarily in order of every reader’s reading.  For what it’s worth and against the … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Minimal Negation Operators • 3

Re: Laws Of Form Discussion • Minimal Negation Operators • AM It will take a few more rounds of stage-setting before I can get to concrete examples of applications but the following should indicate the direction of generalization embodied in … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Minimal Negation Operators • 2

Re: Laws Of Form Discussion • Minimal Negation Operators The brief description of minimal negation operators given in the previous post is enough to convey the rule of their construction.  For future reference, a slightly more formal definition is given … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Minimal Negation Operators • 1

To accommodate moderate levels of complexity in the application of logical graphs our organon needs a class of organules called “minimal negation operators”. Brief Introduction A minimal negation operator is a logical connective that says “just one false” of its … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , | 1 Comment

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