On a logical formalization of natural language

A description of natural language (NL) has been an objective of linguistic theory since Antiquity. In the recent decades the attempts at a systematic description have been injected by the formalizing mode of scientific thinking which has been influencing more or less all branches of science since the beginning of the present century. The formal description of natural language has proven itself to bring fruitful insight into the nature of our linguistic activity, and, moreover, as NL is not a mere "thing among things" in our world, but rather besides this also a universal means of our acquiring of the world, insight into our grasping of the world.