摘要
研究不同的语言学问题需要使用不同的逻辑学工具;任何逻辑系统都只能处理部分语言学现象,不存在"万能逻辑";我们完全可以根据语言学的需要对逻辑系统加以改进;逻辑的形式化特征是自然语言信息处理的必要条件。
The corresponding ways to solve them are as follows： different linguistic phenomena can only be resolved by different logical approaches;any logical system can only handle part of linguistic issues,and there is no all-purpose logic;a logical system can be improved in line with linguistic considerations;the logical formalization method is necessary for information processing in natural languages.
基金
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"
项目编号:09BZX046
关键词
语言学
逻辑学
形式化
交流
Linguistics
Logic
Formalization
Interchange
