思想实验：高尼罗的失落的岛屿

“高尼罗的失落的岛屿”是由中世纪僧侣高尼罗（Gaunilo of Marmoutiers）提出的一个著名的概念-思想实验。它是哲学史上第一个，也是最经典的一个对论证-本体论论证的反驳。

思想实验的内容

论证-本体论论证的核心逻辑是：我们可以设想一个“最完美的存在者”，而一个在现实中存在的存在者比一个仅仅在心灵中存在的更完美，因此，这个最完美的存在者必然在现实中存在。

高尼罗认为，如果这个逻辑成立，那么我们就可以用完全相同的方式，“证明”任何我们能想象出的“最完美”的东西的存在。他以此构造了一个归谬（reductio ad absurdum）的论证：

思想实验-高尼罗的失落的岛屿

1. 定义：我们可以想象一个“最完美的失落岛屿”（the most perfect lost island）。这个岛屿拥有我们能想象到的一切美好事物，是所有岛屿中最完美的。
2. 前提1：这样一个最完美的岛屿，至少存在于我们的心灵或理解之中。
3. 前提2：一个既存在于心灵中，又存在于现实中的岛屿，比一个仅仅存在于心灵中的岛屿更完美。
4. 结论：因此，为了不自相矛盾，那个“最完美的失落岛屿”必须不仅仅存在于心灵中，也必须存在于现实中。所以，这个最完美的岛屿必然存在。

实验的目的与结论

这个思想实验的目的在于揭示论证-本体论论证的逻辑缺陷。

• 结论的荒谬性：我们所有人都知道，一个“最完美的岛屿”并不因为我们能想象它，就真的在现实中存在。这个结论显然是荒谬的。
• 归谬法：既然高尼罗的论证与安瑟伦的论证-本体论论证具有完全相同的逻辑形式，而高尼罗的论证得出了一个荒谬的结论，那么安瑟伦的论证也必然是无效的。

这个思想实验的结论是，我们不能仅仅通过一个概念的定义，就推断出这个概念所指称的事物在现实中存在。

这个思想实验旨在通过归谬法（reductio ad absurdum）来反驳本体论论证。

高尼罗的这个反驳非常有力，它迫使论证-本体论论证的支持者必须说明，为什么“上帝”这个概念是独特的，可以允许从定义到存在的跨越，而“最完美的岛屿”或其他任何“最完美”的东西却不可以。这至今仍是关于本体论论证的核心争论之一。