访谈| 逻辑问题——与叶峰老师的逻辑十四问
排中律被所谓直觉主义逻辑放弃了,而矛盾律也在某种意义上被所谓弗协调逻辑放弃,所以只剩下同一律。同一律是这样一个对思维过程的要求:假如你在思维中,在一种意义下使用一个符号,或用那个符号指代某个对象,那么你必须保持在同一意义下使用那个符号,或保持用那个符号指代同一个对象。也就是说,思维过程要保证符号的意...
今天是世界逻辑日|张建军:极简逻辑史话
比如异于经典逻辑学的二值性而建构“多值逻辑学”,异于经典逻辑学之谓词精确性而建构“模糊逻辑学”,异于经典逻辑学之实质蕴涵理论而建构“相干逻辑学”,异于经典逻辑学“个体域非空”和“专名非空”假设而建构没有这种假设的“自由逻辑学”,甚至建构不承认“排中律”的“直觉主义逻辑...
达米特论逻辑与元逻辑的关系
为了说明这种方便的不敏感性,他在贝斯或克里普克树的基础上给出了直觉主义句子逻辑的语义学。无论其元逻辑是经典的还是直觉主义的,都可以证明该语义恰好使对象语言的直觉主义逻辑有效。本文其余部分的目的是评估达米特在所引段落中的主张。三敏感性的一些优点当逻辑L是其有效性能在ML(作为S的语言,即...
视域| 量子科技带来新冲突,亟待与哲学反思的交叉融合
四是在应用导向与基础导向之间、数据驱动与假说驱动之间寻求新机遇、新方法、新视角,实现新材料、新体系、新设计、新解释、新政策等的协同探索,在短期经济利益与长期战略发展之间找到平衡点。五是推动量子科技与哲学反思的交叉融合,有助于将我国“量子优越性”延拓至科学传播领域与基础教育领域,成为提高我国公民整体人文...
斯坦福哲学百科全书词条:元伦理学_澎湃号·湃客_澎湃新闻-The Paper
非形式逻辑西约翰·罗尔斯转自:睿翼哲学元伦理学试图理解道德思考、道德谈话及道德实践在形而上学、认识论、语义学及心理学上的预设和承诺。因此在该领域中存在大量问题和谜题,包括:道德更多的是品味问题,还是真理问题?道德标准是文化相对主义的吗?存在道德事实吗?如果存在道德事实,其起源和性质是什么?道德事实又...
理解数学基础的三种主要方式—逻辑主义、形式主义和直觉主义
整个数学的基础是什么?整个数学推理是关于什么的?要回答这样的问题,可能需要首先理解当代三大数学哲学,即形式主义、逻辑主义和直觉主义(www.e993.com)2024年10月20日。典型的数学大师有希尔伯特(形式主义者),弗雷格(逻辑主义者)和庞加莱(直觉主义者)。这三种哲学是在皮亚诺的五个算术公理之后不久出现的,该公理出现在《数学哲学导论》中:...
爱摄影,更爱真理!他回到北大教逻辑!
近年来系统性地提出并推动了关于“知道是否”、“知道如何”、“知道为何”等知识表达式的新一代知识逻辑的研究,提出了量词与模态词结合的“打包算子”的思想,并由此发现了一系列新的一阶模态逻辑的可判定片段,以及直觉主义逻辑等非经典逻辑的认知语义。学术研究之外,着力推动逻辑学在中国的学术共同体建设,曾担任两届...
小词之用,关乎人类的逻辑和理性
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求。譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”时,并不...
小词之用,关乎人类的逻辑和理性-光明日报-光明网
文化基因上的差异,不仅会使得某一语言中的“实词”在另一语言中找不到恰当的对应词,而且在最微妙也最根本之处,还可能会以某种方式影响不同语言中(甚至是同一语言中)不同群体对于逻辑词(“小词”)的用法释义或对其意义完整性的追求。????譬如,同是在英语世界,达米特等直觉主义逻辑学家在界定否定词“并非”...
第八届“逻辑、理性与互动”国际学术会议在西安交通大学圆满结束
德国波鸿鲁尔大学、印度数学科学研究所、日本北海道大学等国内外高校和科研院所的参会者也就直觉主义逻辑、非累积逻辑、弱聚合模态逻辑、认知逻辑、道义语境、时态逻辑、悖论逻辑、欲望逻辑、博弈逻辑、动态联盟逻辑、投票理论、俄罗斯纸牌问题、超图语义学、分布式知识、认知更新、近似推理等研究主题进行了深入而精彩的会议...