1 2014年信息1 贵州制约逻辑学会2014年学术研讨活动在 - 贵州大学.doc

“发展当代形式逻辑学 提升振兴贵州新思维”学术沙龙 抓住机遇，向“大数据”时代迈进 ——贵州制约逻辑学会2014年学术研讨活动在贵阳召开 贵州制约逻辑学会 经过6个月的认真准备，于11月16日在贵州大学正式举行了“发展当代形式逻辑学 提升振兴贵州新思维”学术沙龙研讨活动。 一、本期学术沙龙的主题题解 沙龙活动由首席专家龚启荣教授主持。龚启荣教授简要介绍本期沙龙设立背景及讨论内容后，他对本期学术沙龙的主题做了题解。他说： 这期学术沙龙的主题是： 发展当代形式逻辑学，提升振兴贵州新思维。 学术沙龙的背景是： 抓住机遇，向“大数据”时代迈进。 第一，依据我们的逻辑理论，要“向“大数据”时代迈进”，就必须“提升振兴贵州新思维”。也就是说，“提升振兴贵州新思维”是“向“大数据”时代迈进”的必要条件。表达出来就是： 只有提升振兴贵州新思维，才能使贵州向“大数据”时代迈进。 也可表达为： 不提升振兴贵州新思维，就不能使贵州向“大数据”时代迈进。 也可表达为： 如果要使贵州向“大数据”时代迈进，那么就要提升振兴贵州新思维。 第二，作为个人的知识来源有三：亲身感知，他人告知，逻辑推知。但是，对全人类来说，获取知识的途径却只有一、三两种，即亲身感知或逻辑推知。可见逻辑推知这一途径对于人类获取知识来说至关重要。实际上，对于作为指导人类实践的重要科学原理都难以或无法直接亲身感知，只能通过间接的逻辑推理这一途径。当代形式逻辑是向人类提供从已有知识获取新知识的推理工具。 因此，当代形式逻辑是提升新思维的一门非常重要的学问。这就是说： 如果要提升振兴贵州新思维，那么就要掌握好当代形式逻辑。 这里有一个当代形式逻辑的推理： 如果要使贵州向“大数据”时代迈进，那么就要提升振兴贵州新思维； 如果要提升振兴贵州新思维，那么就要掌握好当代形式逻辑； 所以，如果要使贵州向“大数据”时代迈进，那么就要掌握好当代形式逻辑； 龚老师说，今天我们就要讨论，当代形式逻辑如何能提升人的新思维。当代形式逻辑的推理能从已有知识获取新知识，能开发创新思维，开发智慧。这是当代形式逻辑区别于其他任何逻辑的核心特质。 二、搞好逻辑学学科建设，发展当代形式逻辑学 学术沙龙研讨的第一个主题就是“搞好逻辑学学科建设，发展当代形式逻辑”。 我们研究的这个学科，创立时叫制约逻辑。随着研究的发展，制约逻辑堪称逻辑科学的崭新发展。因此，我们也称制约逻辑为“当代形式逻辑”。Cm 系统Cn 系统Cm系统、Cn系统称作逻辑科学当代发展的当代形式逻辑形式系统，并不过分！ 当代形式逻辑有自觉的逻辑客体说思想。这是同逻辑思维说（认为逻辑研究的是人的思维）、逻辑符号说（认为逻辑研究的是符号）并列为世界三大学派之一的逻辑客体说理论。逻辑科学，西方从亚里士多德开始，中国从墨子、韩非子开始，至今，始终研究的是客观世界的逻辑结构和逻辑规律。当代形式逻辑所讨论的概念（及其符号）、命题（及其式）、逻辑定理（及其表达式——含推理式、导出式、重言式等有效式）就是人对客观世界的对象、事件、逻辑规律的反映（和刻画）。就象化学概念、化学定理是人对客观世界的化学对象（如元素、分子），化学规律（如化学反应规律）的反映一样。化学在事实上研究的是客观世界的化学结构和化学规律。同样，逻辑学在事实上研究的是客观世界的逻辑结构和逻辑规律。逻辑学从它诞生之日起就没有研究过也没有能力研究人的思维的形式结构和思维的规律。迄今为止，人类对自己的思维几乎一无所知！说亚里士多德逻辑是研究思维的，这是后人强加给先贤亚里士多德的不实之词。亚里士多德连思维是在什么地方进行的都不知道，怎么可能研究思维的形式结构和思维的规律？！ 当代形式逻辑将非纯真值的联结关系和纯真值的联结关系严格区分开，进而将非纯真值的有效命题和纯真值的有效命题（重言命题）严格区分开；深刻揭示了经验的和逻辑的充分条件关系的两个独立性，为推理能从已有知识获取新知识铺平了道路，因而当代形式逻辑进一步将能从已有知识获取新知识的推理和不能从已有知识获取新知识但仍然有效的导出严格区分开，从而有力地证明当代形式逻辑是人类认识客观世界、改造客观世界的有效的够用的推理工具。 三、开发振兴贵州的时代智慧，向“大数据”时代迈进 学术沙龙研讨的第个主题是“”。 大数据 (big data)就是所涉及的规模巨大到无法通过目传统数据库工具在