一 文本线性逻辑的语符思维寻因