访谈| 逻辑问题——与叶峰老师的逻辑十四问
逻辑规则是规范性规则,是为了达到求真这个目的我们需要遵循的,不是事实性的心理规律。其次,“真”指的是对世界为真,所以逻辑规则是依赖于世界的构成的,例如,描述微观量子世界需要遵循的逻辑规则(所谓量子逻辑),可能不同于描述宏观世界需要遵循的逻辑规则。也就是说,逻辑不是主观的,而且其客观性部分在于世界本身的构成...
今天是世界逻辑日|张建军:极简逻辑史话
就基础理论而言,狭义的逻辑学仅指演绎逻辑学,广义逻辑学还包括归纳逻辑学与辩证逻辑学。同时,逻辑学还包括丰富的应用理论。经过两千多年的演进,逻辑学已发展为在当代学科体系中具有重要地位的基础学科。在20世纪80年代联合国教科文组织编制的学科分类中,逻辑学是列在“知识总论”下的一级学科。在该组织的“科学技术...
评述讨论 | 荣立武 苏庆辉 梁飞 马明辉
在我看来,作为样型的逻辑就是金岳霖的“式”或逻辑必然性;而作为凭借的逻辑系统指的是经典逻辑、直觉主义逻辑等呈现逻辑必然性的不同方式。样型与凭借解释了空架子的论理(即逻辑)与逻辑系统之间的关系,但我更关注的是,金岳霖在承认先秦诸子思想中有实架子的论理后,缘何对其是否包含空架子的论理提出疑问。以1948年...
理解数学基础的三种主要方式—逻辑主义、形式主义和直觉主义
由此形成了关于数学基础问题的三种主要立场:逻辑主义、形式主义和直觉主义。逻辑主义根据论文《寻找数学根》:法语单词“Logistique(逻辑)”是由路易·库蒂拉(Couturat)等人在1904年的国际哲学大会上引入的,从那以后就被罗素等人使用。这篇逻辑学论文可以总结如下:纯数学是逻辑的一个分支。《数学的本质》(1933...
数学史上最精彩的篇章——数学基础中的危机,数学大师们的“华山...
大家都认为,一个受到良好训练的数学家应该多少知道一点关于三种观点的事情,就是“逻辑主义”、“形式主义”和“直觉主义”,还有关于数学知识的状况,应该知道哥德尔的不完全性定理告诉了我们什么。专业的数学家关于这类主题时常各有主见:或者认为关于基础的讨论没有意义,或者对于数学持有某种形式的修正主义观点,认为这是...
爱摄影,更爱真理!他回到北大教逻辑!
近年来系统性地提出并推动了关于“知道是否”、“知道如何”、“知道为何”等知识表达式的新一代知识逻辑的研究,提出了量词与模态词结合的“打包算子”的思想,并由此发现了一系列新的一阶模态逻辑的可判定片段,以及直觉主义逻辑等非经典逻辑的认知语义(www.e993.com)2024年9月9日。学术研究之外,着力推动逻辑学在中国的学术共同体建设,曾担任两届...
小词之用,关乎人类的逻辑和理性-光明日报-光明网
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求。????譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”...
小词之用,关乎人类的逻辑和理性
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求。譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”时,并不...
第八届“逻辑、理性与互动”国际学术会议在西安交通大学圆满结束
德国波鸿鲁尔大学、印度数学科学研究所、日本北海道大学等国内外高校和科研院所的参会者也就直觉主义逻辑、非累积逻辑、弱聚合模态逻辑、认知逻辑、道义语境、时态逻辑、悖论逻辑、欲望逻辑、博弈逻辑、动态联盟逻辑、投票理论、俄罗斯纸牌问题、超图语义学、分布式知识、认知更新、近似推理等研究主题进行了深入而精彩的会议...
在发展与繁荣之间——近年来应用逻辑研究的回顾与展望
邹崇理、刘奋荣、任晓明、周北海、徐明、唐晓嘉、黄华新、李小五、鞠实儿、赵希顺、何向东、潘天群、熊明辉等在自然语言逻辑、认知逻辑、归纳逻辑、人工智能逻辑、模态逻辑、相干逻辑、直觉主义逻辑、科学逻辑、法律逻辑等应用逻辑领域都取得了不少成果。此外,2009年6月在北京首次召开了应用逻辑学术研讨会,之后又于次年...