检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]贵州大学学报编辑部,贵州贵阳550025 [2]贵州大学,贵州贵阳550025
出 处:《广西师范大学学报(哲学社会科学版)》2011年第4期154-156,共3页Journal of Guangxi Normal University(Philosophy and Social Sciences Edition)
基 金:教育部人文社会科学项目"当代形式逻辑及其在人工智能中的应用理论研究"(07JA720006)
摘 要:"两个独立性"是充分条件关系最重要的逻辑性质,是人类之所以能从已有知识获取新知识的逻辑依据。逻辑有效充分条件关系中的逻辑的"两个独立性"源自经验的充分条件关系,又回过头来为经验科学服务。数理逻辑中的实质蕴涵不是充分条件关系的科学抽象,从而产生蕴涵怪论。随着逻辑科学的发展,蕴涵怪论最终将被消除。Two independenees are the most important logical qualities of the sufficient conditional relation, and they are the logical foundations that help people study the unknown knowledge from the known. Logic's two independences in the valid sufficient condition relation originated from sufficient conditional relation of experience, and in reverse it also serves empirical science. The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears. With the development of logical science, the implication paradox will eventually be eliminated.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15