什麼是形上學?What is Metaphysics?

Metaphysics
What is existence?
Do numbers exist?
Does God exist?
Is Gad’s existence a necessary truth?

　　應該不會有人懷疑自己的存在，所以在這個世界上，至少有你存在。另外，當代科學的演進使得大多數人會相信物理事物的存在，所以每個占據時空的東西都存在。姑且不論人有沒有靈魂，人至少有物理的身體，所以作為物理事物的一員，人存在。現在的問題是：除了物理事物之外，還有其他類型的事物存在嗎？靈魂存在嗎？心靈存在嗎？當我們在數學上討論自然數、實數、有理數、無理數、虛數時，它們存在嗎？有神存在嗎？
　　為了解釋某些現象，也許我們必須承認某些抽象事物的存在，亦即承認有些不占據時間空間的東西存在；但是有哪些抽象事物是存在的呢？有只占據時間卻不占據空間的東西（例如，孔子的思想）嗎？有既死且活的貓（這算是物理事物嗎？）嗎？可能世界存在嗎？虛構人物存在嗎？矛盾存在嗎？另外，除了物理事物與抽象事物之外，還有其他的東西存在嗎？

1. 「metaphysics」是由「meta」與「physics」組合成的字，前者意指「超越」或「在…之後」，而後者是指亞里斯多德寫的《物理學》。所以「metaphysics」原先的意思是指「《物理學》後面的那本書」。如果以書的主題來說，形上學是研究自然世界之外的事物，而形上學關心的問題─亦即有哪些東西存在？─被稱為本體論問題（ontological questions）。
2. 存在是什麼？「存在」的許多種意義。
a. 蒯因的本體論承認（Quine’s ontological commitment）：「to be is to be the value of a variable」。
b. 休姆（Hume）：不可能提供一個先驗的論證來主張物理事物的存在。
c. 康德（Kant）：存在不是述詞或性質。
3. 數存在嗎？
a. 邏輯主義（logicism）：為了提供數學/算數一個穩固的基礎，當代符號邏輯的創造者弗雷格（Frege）試圖將數學/算數化約到邏輯上，而這樣的立場被後人稱為邏輯主義。如果數學/算數的基礎是邏輯，那麼因為邏輯被認為是必然的，所以數學真理就會是必然的。不過，很遺憾的，他的嘗試因為羅素提出的悖論（the set of all sets）而失敗了。
b. 柏拉圖主義（Platonism）：數存在於理型世界（realm of Ideas/Forms）。我們經驗到的東西只是理型世界的映射（洞穴之喻）。
c. 唯名論（nominalism）：數字並不指涉任何事物，只有名字存在。
4. 上帝存在嗎？
a. 安聖的本體論論證（Anselm’s ontological argument）：先驗論證
假設上帝不存在，而且上帝是greatest。
G:存在的東西比不存在的東西還要greater。
上帝是不greatest（與假設矛盾）
所以，上帝存在。
b. 笛卡爾（Descartes）的本體論論證：先驗論證
上帝是完美的－似乎也沒有解決問題。
c. 宇宙論論證（cosmological argument）：後驗論證
第一因（first cause）－不動的第一動（the prime mover）。
d. 目的論論證（teleological argument/the argument from design）：後驗論證
D1.調和的自然（the harmony of nature）－宇宙裡的許多事物合作協調。
D2.有心靈生物的必然性（the necessity of a creative intelligence）。
D3.宇宙是有心靈生物的創造物。（達爾文的演化論）
e. 休姆的目的論論證：從經驗而來的論證（argument from experience）
如果許多A的例子都是B的例子，我們可以推論出所有A都是B－A與B之間有很強的關連性（correlation）－Philo認為這仍不足以證明D1。
f. 最佳解釋論證（inference to the best explanation）：
實際世界是所有可能世界裡最好的一個嗎？受苦的世界居民不苦？