欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了符合经典有效性标准,我国学者王国俊教授和婓道武教授分别构造了模糊形式演绎系统L＊和模糊谓词一阶形式系统K＊,这反驳了模糊逻辑缺乏逻辑基础的谬论。然而随着现代科学日益进步和逻辑学分支学科的不断发展,经典逻辑过于狭隘的＂非此即彼＂的模式及其有效性标准显得越来越过时了。非形式逻辑通过对经典有效性标准的限制和修改,已形成归纳有效性、实质有效性等另类的有效性概念。模糊逻辑用发展了的有效性标准来评估更能体现其理论存在的价值和自身特点。
英文摘要：
In order to meet the classical validity criteria, Prof. Wang Guo-jun and Prof. Fei Dao-wu constructed fuzzy formal deductive system L and fuzzy predicate first-order formal system K, which refuted the fallacy that fuzzy logic lacked the logic basis. However, with the advance of modern science and the continuous development of logic branches, classical logic and its validity criteria has become increasingly outdated. Through modifying and limiting the validity criteria, non-formal logic has formed alternative concepts of criteria such as inductive validity and substantive validity.
同期刊论文项目
同项目期刊论文
期刊信息
位置：