四 对自然语言的逻辑研究