检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:曹飞[1]
出 处:《重庆理工大学学报(社会科学)》2014年第9期12-14,共3页Journal of Chongqing University of Technology(Social Science)
摘 要:从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。Traditional logical language is the grammatical language of natural language given the char-acteristics of traditional logical variables;therefore,traditional logic is essentially the formal logic of natural language.Traditional logic only emphasizes the grammatical analysis of natural language but neglects the semantic analysis,which inevitably leads to two drawbacks,one of which is the restric-tion to the superficial form of natural language proposition,and the other semantic vagueness of propo-sitional form.From the point of view of the characteristics of mathematical logical variables,mathe-matical logical language is only symbolic language but grammatical language of natural language,and thus mathematical logic is essentially only symbolic logic instead of formal logic of natural language. Specifically,mathematical logic can only explain logical connotation of natural language but formal structure of natural language.Besides,it is incompetent even for semantic explanation of natural lan-guage.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222