Abstract

According to the basic idea of the theory of semantic categories the huge variety of expressions could be reduced to three basic classes, called basic semantic categories: names, statements, and functors. On this basis abstract objects or universale can be reduced also to three basic typest abstract objects-terms, abstract objects-statements, and abstract objects-operators. The so-called auxilliary signs, in particular brackets in formalized languages, fulfil a certain, structural function and, on this ground, can be numbered to the type of abstract objects-operators with a specific semantic index.