A proposed formal system, similar to predicate calculus, for relating meanings to sentences in real languages. The system allows for paraphrase--for different sentences representing the same meaning--as is not done by present interpretive theories o...
