访谈| 逻辑问题——与叶峰老师的逻辑十四问
排中律被所谓直觉主义逻辑放弃了,而矛盾律也在某种意义上被所谓弗协调逻辑放弃,所以只剩下同一律。同一律是这样一个对思维过程的要求:假如你在思维中,在一种意义下使用一个符号,或用那个符号指代某个对象,那么你必须保持在同一意义下使用那个符号,或保持用那个符号指代同一个对象。也就是说,思维过程要保证符号的意...
视域| 量子科技带来新冲突,亟待与哲学反思的交叉融合
二是量子科技与大数据、人工智能的融合发展有利于在新药品研制、新材料研发、自然语言语义分析、人工智能深度学习等方面实现质的飞跃,但对密集型数据加工过程的不透明性、机器知识的不可理解性等加剧了人们对于量子科技的不信任。三是量子科技将在整体上使科研人员群体从繁重琐碎的科研数据中解放出来,但科研资源的富集效...
评述讨论 | 荣立武 苏庆辉 梁飞 马明辉
在我看来,作为样型的逻辑就是金岳霖的“式”或逻辑必然性;而作为凭借的逻辑系统指的是经典逻辑、直觉主义逻辑等呈现逻辑必然性的不同方式。样型与凭借解释了空架子的论理(即逻辑)与逻辑系统之间的关系,但我更关注的是,金岳霖在承认先秦诸子思想中有实架子的论理后,缘何对其是否包含空架子的论理提出疑问。以1948年...
理解数学基础的三种主要方式—逻辑主义、形式主义和直觉主义
逻辑主义:数学的基础可以通过形成规则,或“语法”规则,和一些哲学概念等逻辑元素来实现。形式主义:形式元素可以作为数学的基础,但不一定是逻辑元素(我认为哲学性越低越好)。直觉主义:指出非形式但“直觉”的学科是数学基础的基础。我想说的是,他们并不排斥关于数学本质的深刻哲学问题。
小词之用,关乎人类的逻辑和理性
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求。譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”时,并不...
小词之用,关乎人类的逻辑和理性-光明日报-光明网
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求(www.e993.com)2024年7月31日。????譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”...
在发展与繁荣之间——近年来应用逻辑研究的回顾与展望
邹崇理、刘奋荣、任晓明、周北海、徐明、唐晓嘉、黄华新、李小五、鞠实儿、赵希顺、何向东、潘天群、熊明辉等在自然语言逻辑、认知逻辑、归纳逻辑、人工智能逻辑、模态逻辑、相干逻辑、直觉主义逻辑、科学逻辑、法律逻辑等应用逻辑领域都取得了不少成果。此外,2009年6月在北京首次召开了应用逻辑学术研讨会,之后又于次年...
逻辑:一种文化和精神-光明日报-光明网
当代各种经典逻辑的扩展系统——如模态逻辑、时态逻辑、道义逻辑和认知逻辑;各种非经典逻辑——如直觉主义逻辑、相干逻辑、弗协调逻辑、非单调性逻辑,其产生的根源最终都可追溯至有效性概念。这也就不难理解为什么逻辑史上的一流思想家——从亚里士多德到莱布尼兹、波尔查诺、布尔、施罗德、弗雷格、希尔伯特、罗素直到...
数学史上最精彩的篇章——数学基础中的危机,数学大师们的“华山...
数学基础的危机在数学家圈子里面是一件远近闻名的事情,而且如雷贯耳。大家都认为,一个受到良好训练的数学家应该多少知道一点关于三种观点的事情,就是“逻辑主义”、“形式主义”和“直觉主义”,还有关于数学知识的状况,应该知道哥德尔的不完全性定理告诉了我们什么。专业的数学家关于这类主题时常各有主见:或者认为关于...
爱摄影,更爱真理!他回到北大教逻辑!
近年来系统性地提出并推动了关于“知道是否”、“知道如何”、“知道为何”等知识表达式的新一代知识逻辑的研究,提出了量词与模态词结合的“打包算子”的思想,并由此发现了一系列新的一阶模态逻辑的可判定片段,以及直觉主义逻辑等非经典逻辑的认知语义。学术研究之外,着力推动逻辑学在中国的学术共同体建设,曾担任两届...