Tag Archives: Sign Relations

Theme One Program • Motivation 1

The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “reasoning”. I am thinking of learning in the sense of learning about an environment, in essence, gaining information about … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Sign Relations, Triadic Relations, Relations • 1

To understand how signs work in Peirce’s theory of triadic sign relations, also known as “semiotics”, we have to understand, in order of increasing generality, sign relations, triadic relations, and relations in general, all as conceived in Peirce’s logic of … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Knowledge Representation, Logic, Logic of Relatives, Mathematics, Ontology, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 16 Comments

Definition and Determination • 17

Re: Ontolog Forum • Richard McCullough RM:  We clearly have some differences in the “definition” of “definition”. I suppose it all depends on the sorts of things one wants to define, something we might call the context of application.  I am … Continue reading

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Geometry, Graph Theory, Group Theory, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Definition and Determination • 16

Re: Ontolog Forum • Richard McCullough RM:  What is your view of definitions? A recurring question, always worth some thought, so I added my earlier comment to a long-running series on my blog concerned with Definition and Determination. Survey of Definition … Continue reading

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Geometry, Graph Theory, Group Theory, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Definition and Determination • 15

Re: Ontolog Forum • Richard McCullough In some early math course I learned a fourfold scheme of Primitives (undefined terms), Definitions, Axioms, and Inference Rules.  But later excursions tended to run the axioms and definitions together, speaking for example of … Continue reading

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Geometry, Graph Theory, Group Theory, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Inquiry Driven Systems • Comment 2

I just got reminded of an earlier blog post that more or less fits here.  It links to the bibliography I had in hand and mind when I went back to graduate school in systems engineering to synthesize all the … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 8 Comments

Inquiry Driven Systems • Comment 1

Re: Peirce List • Daniel Everett • Edwina Taborsky The role of acquired knowledge bases in inquiry, learning, and reasoning is discussed in the following article and sections. Introduction to Inquiry Driven Systems Inquiry Learning Transfer Testing cc: Peirce List … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Knowledge Bases, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory, Visualization | Tagged , , , , , , , , , , , , , , , | 8 Comments

Sign Relations • Comment 12

Re: Ontolog Discussion • HP In the Peirce universe “the role that human institutions play in establishing grounding and associated frames of reference and standards” (Hans Polzer) is articulated by reference to “communities of inquiry” and “communities of interpretation”.  Invoking … Continue reading

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments

Sign Relations • Comment 11

Re: Peirce List • Jon Alan Schmidt When you ask a question about what something is, you are asking a question about its ontology.  But signhood is not a matter of ontology, it is a form of relation. Re: Peirce … Continue reading

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 15 Comments

Sign Relations • Comment 10

Re: Peirce List • John Sowa Three-Headed Dogs and Triadic Sign Relations Peirce’s “Sop to Cerberus” got tossed about quite a bit in our discussions across the Web this millennium.  Here’s a record of one occasion from the days when … Continue reading

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 16 Comments