摘要：在量化问题上,传统逻辑和现代逻辑的对当方阵大相径庭,且各有局限。哲学实验结果显示:(1)自然语言中A、I命题都允许主项为实体性存在、观念性存在,不接受自相矛盾的主项;(2)各语境下自然语言的A、I命题在主项存在方面高度相似,表明A命题预设了主项存在;(3)不同语境下对A、I命题的否定接受了不同的预设,表明了否定包含预设、且预设具有层次性。基于实验结果的"分层量化"方案,把A命题的主项存在预设形式化为公式的一部分;把不同语境下否定的预设形式化为独立的前提,据此分层建立了否定时预设个体存在(■x)、预设主项存在(■xSx)、预设主项为全域(■xSx)的对当方阵,三者具有内在一致性。新方案似可较为系统地消解量化问题的困境。

关键词：对当关系;存在;预设;否定;分层量化

摘要：人类社会正快速步入人工智能时代,人们无时无刻不处于人工智能消费场景中。人工智能不仅是一个技术问题,更是一个道德问题。然而,貌似客观中立的人工智能技术并未带来预想的性别平等,反而造成女性性别歧视现象丛生,招致越来越多的批评与抗议。人工智能与大数据是人类社会的镜像,虚拟世界出现问题,病根在人类世界。因此,构建机器伦理,加强行业自律,推进人工智能立法,增强女性在人工智能行业中的话语权,让男女平等观念深入到虚拟世界与机器世界,方是根治人工智能消费场景中女性性别歧视的善治之道。

关键词：人工智能消费;性别歧视;女性机器人;机器伦理

摘要：首先从对数学猜想证明的理解得出了影响证明数学猜想的两个重要因素,即数学猜想的证明依赖于必要的数学进展和合适的数学家;接着对这两个因素进行分析;由于对黎曼猜想的证明来说,无论是所需要的数学知识和方法是否具备还是是否有合适的数学家二者都是不确定的,因而无法肯定该猜想什么时候才能被证明出来。

关键词：黎曼猜想;证明;数学家;数学进展

摘要：坏血病是近代航海活动最为凶猛的敌人之一,曾夺去无数海员的生命。作为欧洲主要海洋国家之一,英国的海事力量也被坏血病大大折损,而不完善的军事体系和被削减的经费投入难辞其咎,使得坏血病可被部分理解为是一种"制度性"疾病。在技术上,尽管经历了一些歧路,以詹姆斯·林德为代表的18世纪英国医学界仍然在历史经验的基础上,通过实验的方式,最终确定了以食用柑橘属水果及果汁为防治坏血病的主要手段。虽然未能进一步揭示维生素C这一对抗坏血病的关键因子及其性质,但林德等人的努力和成就依然值得铭记。

关键词：海事活动;坏血病;詹姆斯·库克;詹姆斯·林德;疾病防治

摘要：博物学历史悠久、内容繁杂。学界对博物学在历史发展中是否出现过"断裂"进行了广泛的争论。迈尔、法伯及罗杰等科学史家认为,生物学的基本问题没有变化,因此生物学的历史应该是一部连续的历史。另一方面,福柯、阿什沃斯等人从哲学和认识论的角度出发,认为自文艺复兴以来博物学经历过若干次断裂,形成不同的阶段。博物学的问题旨趣在不同的阶段有很大的差别。本文以连续论者迈尔和断裂论者福柯为主要考察对象,分析和评判其主要观点,力图将断裂问题置于编史学的视角下理解。结论认为,"断裂"不是生物学或生物学史问题,而应该看做一个编史学问题。关于"断裂"的讨论有助于拓展博物学史及科学史研究的多元视角。

关键词：博物学;断裂;福柯;迈尔;知识考古学