Uwagi o okresie warunkowym, implikacji i entailmencie

Abstrakt

This article is the analysis of the logical system-E (entailment) proposed in work ‘Entailment’, vol 1 i 2 [1975, 1992] by R. A. Aderson and N. D. Belnap Jr. The First part presents a brief history of notion ‘entailment’ and the application of logical systems of entailment. The Second part contains any 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 realtion of entailment from the point of view of a logical pragmatic.