مفهوم الاستلزام عند نيلسون

Abstract EN

There are many types of duty ranging from material to strict, and because they contain some paradoxes, entailment was mainly originated by "George Moore" and those who followed in his footsteps, such as "Nelson" and other logicians.

in contrast to the material and strict, entailment takes the meaning as its own basis and not the truth values, and to know whether p entails q in light of the conceptual logic, it is not sufficient only to know the truth values of p and q, but it is necessary to know the meanings of both p and q in the first place.

that is because entailment is based on the meanings of the issues.

Logicians did not come to common terms in relation to Nelson's view of entailment, between supporters and opponents; many logicians objected to it, most notably "Körner" who contradicted Nelson's statement that "meaning is the basis of entailment", and pointed out that "entailment is the basis of meaning." as for "Duncan-Jones", he created arithmetic recalling and symbolized the recalling relationship with the symbol N, but his definition of the invocation relationship is more ambiguous than Nelson's definition of the entailment relationship finally, Richard Angell, Anderson, and Belnap defined entailment in a manner equivalent to Nelson's definition, as their logical systems fulfilled the requirement of relevance between propositions as stated by Nelson in his definition of Entailment; which expresses the internal connection between issues.