Abstract. Following the worldwide increase in communications through computer networking, not only economies, entertainment, and arts but also research and education are transforming into global systems. Attempts to automate knowledge discovery and enable the communication between computerized knowledge bases encounter the problem of the incompatibility of syntactically identical expressions of different semantic and pragmatic provenance. Coming from different universes, terms with the same spelling may have a continuum of meanings. The formalization problem is related to the characteristics of the natural language semantic continuum. The human brain has through its evolution developed the capability to communicate via natural languages. We need computers able to communicate in similar, more flexible ways, which calls for a new and broader understanding far beyond the limits of formal axiomatic reasoning that characterize the Turing machine paradigm. This paper arguments for the need of a new approach to the ideas of truth and meaning based on logical pluralism, as a consequence of the new interactive understanding of computing, that necessitates going far beyond Turing limit.