This article is the analysis of the logical system-E (entailment) proposed by Aderson R. A. and Belnap N. D. Jr. in 'Entailment' (vol 1 & 2 -1975, 1992).The first part presents a brief history of notion 'entailment' and the application of logical systems of entailment.The second part contains an characterization of reasons of construction of this logical system. The third part presents logical system-E, and the last part focuses on the weak points of this type of the formalization of the relations between sentences of a formal language. The purpose of this paper is to explore and explicate the relation of entailment from the point of view of a logical pragmatic.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.