戈特弗里德·威廉·莱布尼茨
德国博学家、哲学家与数学家(1646–1716),生于莱比锡,是历史上最后几位真正意义上的百科全书式通才之一:他在逻辑学、形而上学、法学、神学、语言学、地质学与外交等领域均有原创贡献,同时担任汉诺威宫廷图书馆员与顾问,并与遍布欧洲的数百位通信者保持书信往来。他独立于牛顿——二人之间因发明微积分的优先权爆发激烈争执,此事困扰了他的余生,并使欧洲科学界为之分裂——发展出微积分学,其符号系统较牛顿的更为清晰实用,至今仍被普遍采用。在形而上学方面,他的代表作《单子论》(1714)提出,终极实在由单子构成,单子是单纯、不可分割、「没有窗户」的实体,彼此之间并无物理上的相互作用,然而上帝已将其内在状态「预定和谐」地安排妥当,使其如同自源初便已同步的时钟般彼此完美对应演化,而无需任何直接的因果接触。在《神义论》(1710)中,他主张我们所处的世界乃是「所有可能世界中最好的一个」——伏尔泰后来在《老实人》中借邦葛罗斯这一人物对此加以讽刺——他论证道,上帝以其无限的善与智慧,必须在无穷多个可能世界中选择那个能使总体善达到最大化的世界,即便其中不可避免地包含最低限度的形而上学之恶、物理之恶与道德之恶。此外,他还构想了「普遍表意文字」(characteristica universalis)计划,即一种能将一切推理化约为机械演算的通用符号逻辑语言,并设计出最早能够进行乘除运算的机械计算器之一——这惊人地预见了现代形式逻辑乃至间接预见了计算机科学的诞生。他还是柏林科学院的共同创办人及首任院长。