Changes

The form of distinction that I need at this point tagging "signs and ideas as they actually occur", for instance, as actualized, embodied, and realized, whether consciously or not, in human beings, and leaving "signs and ideas in a vacuum" untagged by any special mark.

The form of distinction that I need at this point tagging "signs and ideas as they actually occur", for instance, as actualized, embodied, and realized, whether consciously or not, in human beings, and leaving "signs and ideas in a vacuum" untagged by any special mark.

Suppose I need to draw a distinction, that marks out a special dominion from its more general domain, but I want to be careful to emphasize the inclusion of the species within the genus, as much as their separation.  So let me paint the distinction this way, that it overlays a distinctive tincture on the species but not on the genus, and thus it highlights the special dominion as it resides within the grounds of its generic domain.  Given this special form of distinction, it deserves to be given a name.  It is fitting to describe it as a "partial functional distinction" (PFD), by way of recognizing the partial function that assigns a special value to the species, but not necessarily any value to the rest of the genus.  A better nickname, more compact than the verbose description and more mnemonic than the acronym, is served by coining the term "distincture".  In this context, let the species that is distinguished by a particular distincture be referred to as the "content" of that distincture, and let the remains of the genus be referred to as the "discontent" or even as the "distent" of that distincture.  Notice that a distinction, as it is ordinarily understood, has at least two distinctures associated with it, where each especially values what the other does not necessarily value, and where the content of either one is the discontent of the other one.  It should also be noted that I have not said anything yet about these partial functions being computable, only that they are conceivable.

Suppose I need to draw a distinction, that marks out a special dominion from its more general domain, but I want to be careful to emphasize the inclusion of the species within the genus, as much as their separation.  So let me paint the distinction this way, that it overlays a distinctive tincture on the species but not on the genus, and thus it highlights the special dominion as it resides within the grounds of its generic domain.  Given this special form of distinction, it deserves to be given a name.  It is fitting to describe it as a "partial functional distinction" (PFD), by way of recognizing the partial function that assigns a special value to the species, but not necessarily any value to the rest of the genus.  A better nickname, more compact than the verbose description and more mnemonic than the acronym, is served by coining the term "distincture".  In this context, let the species that is distinguished by a particular distincture be referred to as the "content" of that distincture, and let the remains of the genus be referred to as the "discontent" or even as the "distent" of that distincture.  Notice that a distinction, as it is ordinarily understood, has at least two distinctures associated with it, where each especially values what the other does not necessarily value, and where the content of either one is the discontent of the other one.  It should also be noted that I have not said anything yet about these partial functions being computable, only that they are conceivable.