作者：李熙莱布尼茨计算主义可知性
摘要：莱布尼茨的单子是无形的自动机,如果把它看作抽象的图灵机,莱布尼茨单子论式的可能世界就是当下计算主义关心的数字宇宙。在这种抽象的“单子”宇宙中,数学的可应用性“谜题”以“不足道”的方式解决,但另一个哲学难题——世界的可知性“谜题”却凸显出来。借助算法信息论的话语,可以精确界定几类“可知的”可能世界,继而可以严格的探讨它们之间的相互关系。至于具体如何认识的问题,所罗门诺夫的通用归纳模型直接体现了方法论自然主义“假设——验证”的试错过程和诸如“简单性”的先验原则,抛开它不可计算的缺陷不谈,借助它,任何可计算的可能世界都是可以被近似认识的。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
