Example is that the word unknown is not unknown so it doesn't define itself. Similarly French is not French, it's in English, and "long" is not long and only 4 letters short. That's by example my understanding of heterological and no real definition besides "true about itself".
English is autological since the English is in English and therefore "suits itself" but how does the law of excluded middle apply to these cases about themselves? Using the law of excluded middle, can we therefore apply the law of excluded middle to itself, assuming it is autological and follows its own rule so that either the law of excluded middle holds or we have derived a contradiction? It seems so and therefore the law of excluded middle is autological.
Like having a binary state of either /or is true about itself or false? Clearly a thesis of yes or no should have a binary state but having three or more states (yes / no / maybe / undecided) is also acceptable but does not "suit itself" since you either have at least 3 states or less, so having a number of states or a number is heterological.
Can these problems be formalized more how besides inspection we can tell whether an entity, system or person is autological (being like its name) or heterological (not being like its name for instance a person named Rock may not be a physical rock.)
How can we mean that something is no automatic without referring to automatics and there making it automatically (according to law of excluded middle) and therefore being automatic is automatically false and therefore it's true that there can be something automatic since it is automatically false.
Can you elaborate, develop, comment or answer I'll be very glad to know.
Can you number a property such as "not having a number" since if you can number the property of not having a number then nothing can exist that doesn't have a number so setting a boolean value for having a boolean value also contradict itself. If we introduce a boolean value that says that a formal language or method can't have a boolean variable then it contradicts itself since a boolean for whether a boolean is part of the language can't have the value false since then it must have the value true.
Here is a reference to the paradox http://en.wikipedia.org/wiki/Grelling%E2%80%93Nelson_paradox