Lecture 9: Definition in use and verification analysis (28/11/1973) Section 2
[Abstract]Entailment and the entailment test. The definition in use and its limitations. Some examples. The verification test and the verification principle.
[References]  
Download: Amsterdam Lecture 09 - revised version.pdf