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 k-place relation in the previous post is sometimes described as decontextualized versus contextualized or, in computer science lingo, weak typing versus strong typing.  The second definition is typically expressed in a peculiar mathematical idiom that starts out as follows:

A k-place relation is a (k\!+\!1)-tuple (X_1, \ldots, X_k, L)

That way of defining relations is a natural generalization of the way functions are defined in the mathematical subject of category theory, where the domain X and the codomain Y share in defining the type X \to Y of the function f : X \to Y.

The threshold between arbitrary, artificial, or random kinds of relations and those selected for due consideration as reasonable, proper, or natural kinds tends to shift from context to context.  We usually have in mind some property or quality that marks the latter class as proper objects of contemplation relative to the end in view, and so this relates to both the intensional and the intentional views of subject matters.

To be continued …

Resources

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