Precisiated natural language (PNL) - toward an enlargement of the role of natural languages in computation, deduction, definition and decision

It is a deep-seated tradition in science to view the use of natural languages in scientific theories as a manifestation of mathematical immaturity. In particular, a direct consequence is that existing scientific theories do not have the capability to operate on perception-based information. Such information is usually described in a natural language and is intrinsically imprecise, reflecting a fundamental limitation on the cognitive ability of humans to resolve detail and store information. In this paper we describe that the high expressive power of natural languages is harnessed by constructing what is called a precisiated natural language (PNL). In essence, PNL is a subset of a natural language (NL) - a subset, which is equipped with constraint-centered semantics (CSNL) and is translatable into what is called the generalized constraint language (GCL).