 In logic, symbols build literal utility to illustrate ideas.Symbols of a formal language need not be symbols "of" anything.For instance there are logical constants which do not refer to any idea, but rather serve as a form of punctuation in the language (e.g.