閱讀來源：Bevan 2025

Bevan 為形上學基礎論（metaphysical foundationalism）的強版本辯護：部分立基關係不容許任何無窮下降。他認為，這條簡單而嚴格的限制，比近年容許某些無窮下降的弱版本具有更好的解釋力（Bevan 2025: 1–3）。

強基礎論與準基礎論

強基礎論主張，不存在序列 $x_1, x_2, \ldots$，使每一個 $x_{n+1}$ 都部分立基 $x_n$。Bevan 稱主要的弱版本為準基礎論（parafoundationalism）：每個事物若非未立基，就是由未立基的事物所立基，但理論仍容許其他無窮下降鏈（Bevan 2025: 2, 4）。

準基礎論較接近「所有事物最後都有基礎」的口語直覺。Bevan 認為，理論選擇不只需要保存這份直覺，也要比較簡潔性與解釋力。強基礎論能替立基施加清楚的全局限制，準基礎論則會失去一項關鍵工作：由立基次序決定基礎性次序（Bevan 2025: 2–3）。

立基如何決定基礎性

每個良基二元關係都會導出一個序數秩（rank）。若部分立基是良基的，事物在立基結構中的秩就能定義它的相對基礎性：秩較低者較為基礎，秩為零者絕對基礎（Bevan 2025: 5）。

Bevan 進一步要求基礎性排序滿足四項條件：傳遞性、可比較性、方向性與連續性。方向性要求立基者比被立基者更為基礎；連續性要求被立基者與其立基者間不會憑空多出層級。在強基礎結構中，秩比較（rank comparison）是唯一同時滿足這些條件的排序（Bevan 2025: 5–7）。

Rabin 反對可比較性，理由是心理學與地質學似乎既不能分出高下，也不能放在同一層。Bevan 回應，這比較的是兩組現象，而不是個別現象；一個領域本來就可能橫跨多個基礎性層級。集合之間不容易比較，並不表示集合中的個別項目不可比較（Bevan 2025: 6–7）。

準基礎結構沒有天然的秩函數。有些模型容許多個基礎性優先序（priority orders），同一組立基事實因而不能唯一決定哪些事物更加基礎。若增加限制來取得唯一排序，限制太弱時沒有用，太強時又會排除準基礎論原本想保留的模型（Bevan 2025: 7–11）。

生成關係造成的反例

強基礎論面臨了一類系統性反例。部件組成整體，以及確定項—可確定項（determinate–determinable）等生成關係，都可能形成無窮下降。

在經典部分整體學（mereology）中，「融合」（fusion）是若干部件合成的整體。假定有彼此不重疊的 $x_0,x_1,x_2,\ldots$，再令 $f(n)$ 是由 $x_n,x_{n+1},x_{n+2},\ldots$ 合成的整體。$f(n+1)$ 比 $f(n)$ 少了 $x_n$，所以是 $f(n)$ 的真部分。若每個真部分都會部分地立基其整體，便得到一條無窮立基鏈（Bevan 2025: 11–12）。

另一個例子使用「至少 $k$ 公分長」的性質。對 $k>m$ 而言，「至少 $k$ 公分長」是「至少 $m$ 公分長」的一個確定項（determination）。若每個確定項都直接蘊含部分立基，同樣會產生無窮下降（Bevan 2025: 12）。

生成不等於立基

Bevan 拒絕「每次生成都直接蘊含立基」的原則。$X$ 能生成 $y$，表示 $X$ 足以生成 $y$；如果另有與 $X$ 不重疊的 $Z$ 也能生成 $y$，$X$ 便不是生成 $y$ 的必要條件（Bevan 2025: 12–13）。

他的正面提案把立基分析成生成上的決定與依賴。決定表示 $X$ 足以生成 $y$；依賴表示任何生成 $y$ 的完整方式都需要 $X$。只有同時滿足必要性與充分性時，$X$ 才立基 $y$（Bevan 2025: 12–13）。

只要原始項目足以生成域內所有事物，每個事物就有一條良基的生成途徑。其他生成關係即使包含循環或無窮下降，也不會形成依賴上的循環或下降；因此，具有基礎的生成結構仍能保證立基本身良基（Bevan 2025: 14）。

溯因辯護的範圍

Bevan 的結論依賴一項方法論取向：評估立基理論時，簡潔性、統一性與解釋力可以和案例直覺一樣構成證據。強基礎論能由局部立基事實導出唯一的全局排序，也能統一本身並非良基的生成關係，因此值得在與融貫論（coherentism）等更遠的對手比較前，先恢復為完整的理論選項（Bevan 2025: 14–15）。