Precisiated natural language (PNL) - toward an enlargement of the role of natural languages in scientific theories

摘要

This work discusses the precisiated natural language, which is a subset of a natural language. This subset is equipped with constraint-centered semantics (CSNL) and is translatable into what is called the generalized constraint language. The ways does the concept of a precisiated natural language can serve to enlarge the role of the natural languages in scientific theories were also discussed.