本文围绕着突破经典计算能力的问题,对量子计算范例作全面深入的哲学透视。除了系统介绍这种“自然机制+算法”的新兴计算范例外,还将量子计算范例同其他现有的主要计算范例进行了比较。结果说明,到目前为止,只有量子计算范例才真正突破经典计算的计算范围,因而其有着深远的科学和哲学意义。 更多还原

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

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