1. A computer implemented method of interpreting written text, said method comprising the steps of: providing an alphabet, at least one symbol for constructing lexical elements, and at least one syntactic element built on said alphabet, said lexical elements, and said at least one symbol on at least one computer; determining, by said at least one computer, a sort of value, an arity, a notation, and a type for each said syntactic element, to provide well-formed syntactic elements and meaningless syntactic elements; building, by said at least one computer, formal definitions from said well-formed syntactic elements, and determining a type for each said formal definition to provide a list of terminologies, assertions, theorems, questions and answers; building, by said at least one computer, at least one formal glossary as ordered sets of said formal definitions; providing, on said at least one computer, to an output of at least one said formal glossary, and a related minimal lexicon; parsing, verifying and normalizing each said formal definition, by said at least one computer, from said formal glossary, to provide a list of defined lexical elements and undefined lexical elements; accepting at least one input, wherein said at least one input includes at least one question containing at least one well formed syntactic element; retrieving for each said defined lexical element, at least one formal definition from said at least one formal glossary; applying said at least one formal definition to said defined lexical elements according to at least one interpretation process to provide at least one meaningful value; coding each said at least one input and said at least one meaningful value as a new questions and answers definition; and saving said new questions and answers definitions in said formal glossary in said computer, to provide an intelligent glossary.
12. A computer implemented method as in claim 1 , further comprising the steps of: allowing an actor to cluster or select written texts from lexical elements contained within minimal lexicons and appearing within said written texts; respecting field specific distinctions, as each lexical element contained within a minimal lexicon is the indication in a distinction, in accordance with laws of form calculus of distinctions; modularizing, by said at least one computer, a field of endeavor into domains by using distinctions applicable to one domain, for drawing precise boundaries with all other domains in that field of endeavor; providing, by said at least one computer, a single meaning to all natural language words, symbols and identifiers for the whole system of minimal lexicons, considered as sets of lexical elements, from intelligent glossaries; preserving the single meaning of elements of said minimal lexicon with a usual set operators in order to construct complex Lexicons for a specific field of endeavour; selecting key-words from written texts on said at least one computer, wherein said key-words are the high-frequency words appearing within said written texts in said specific field of endeavor; semantic researching on the Internet or Intranet by identifying said key-words key-words with lexical elements contained in minimal lexicons generated from intelligent glossaries of said domains.