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.

Mathematics is useful in our present endeavor because it covers relations in general.  In addition — and multiplication, too — mathematics is chock full of well-studied examples of triadic relations.  When it comes to the job of analyzing sign relations and teasing out their relevant structures we could save ourselves a lot of trouble and trial and error by examining this record of prior art and adapting its methods to cover sign relations.

On the other hand, there are hints in Peirce’s work that triadic relations extend across a threshold of complexity, such that relations of all higher adicities can be analyzed in terms of 1-adic, 2-adic, and 3-adic relations.  This is the point where the analogy with mathematical category theory both forms and breaks.  In mathematics, category theory is largely based on the prevalence of functions in mathematical practice, and functions are dyadic relations.  Still, triadic relations pervade the background of the subject, visible in the triadic composition relation and in the concept of what are called “natural transformations”, the clarification of which notion is one of the original motivations of the subject.  Bringing the triadic roots of category theory into higher relief is one of my motives for bringing about an encounter with Peirce’s categories, an effort to which I have given not a few years of thought.

That brings us to the case of sign relations proper.  I think it’s clear that these types of triadic relations form our first stepping stones and also our first stumbling blocks in the inquiry into inquiry, and I think I gave some indications already of why that might be true.  I don’t know if I can do any better than that at this time, but I’ll think on it more after that all-essential secondness of caffeination.

This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s