1樓：劉秩
謝不邀。
讓我來提供乙個基礎而全面的說明吧，因為我猜測關心這個問題的人都有基礎，所以我就長話短說。
乙個語言叫做K-語言，當它可以被模型化為乙個六元組 " eeimg="1"/>, W 與 D 非空， 是W的乙個元素，R 是在W的元素間的二元關係， Q是從W到D的子集的函式，V是真值函式。
（至於這個六元組是什麼，恰逢@LLLBK在答案裡慷慨地寫了出來。）
接下來，由於對可能世界的哲學解釋繁多，所以讓我們考慮乙個「負擔較輕」的解釋，用它來說明題主的問題。
乙個可能世界就是maximal consistent set of K-language。其中maximal指：乙個語言L是maximal，當且僅當對於所有語句p，L要麼有個p，要麼有個非p。
乙個語言L是consistent，當且僅當L裡沒有(p且非p)。
那麼我們可以有：
P是 logically possible 當P在某些個可能世界為真。
對於形上學可能，我們只需加一點特殊的對語言K的限制。
乙個語言是K-形上學語言，當且僅當它裝備了一些形上學語句且這些語句為真，且它是K語言。
另外，這會匯出乙個「形上學可能世界」。
於是，我們有：
P是 metaphysically possible 當P在某些個形上學可能世界中為真。
具體如何裝備這些形上學語句是乙個細緻的活。舉個例子，可以這樣設定，對於每個可能世界，「所有的球都是有廣延的」，那樣的話，「那是乙個紅色的且沒有廣延的球」就是形上學不可能的。另乙個更深刻的例子是「水是H^2O」，這是乙個形上學必然命題，但注意它是有特殊的形上學前提才是如此這般的。
對於知識論可能，是比較複雜的，不過近似一點的說明是可能的。
我們知道，對於乙個完全無知的人，那麼任何的語句在他那裡，都可能是真、也可能是假，甚至他連所謂的「真假」都不知道是什麼意思。所以，我們只考慮乙個「稍微」有健全理性的人。這個人知道「真假」的意思。
P是 epistemic possible 當對於某一主體S，根據祂的知識所匯出的maximal的K-語言，祂不能得到P為假。
注意，這裡只要求K語言，甚至可以不要求是consistent的，所以並不必然構成乙個可能世界。
額外的物理上可能，按照以上方法容易得到。
乙個語言是K-形上學-物理學語言，當且僅當它裝備了一些物理學語句且這些語句為真，且它是K-形上學語言。
於是，我們有：
P是 physically possible 當P在某些個形上學-物理學可能世界中為真。
2樓：哲學為何p開頭
1、如果，這三個可能，都限制在哲學的語境，就沒有區別；
2、否則，
甲、邏輯的可能這話有問題，因為沒有什麼可能逃出邏輯的框子；
乙、形上學的可能：可邏輯的說形上學，譬如亞里斯多德《工具論》；可形上學的說邏輯，譬如亞里斯多德《形上學》；
3、知識論在很多中中國人眼中已經是形而下學，然而在西方，像笛卡爾、斯賓諾莎等人，依然是在說形上學，只不過重點有所轉移而已。
當代形上學是否還在延續著（古老形上學的思路）對世界本源追根溯源？還是已經轉移研究方向了？
魯新奎 當代的形上之學就是物理學的所謂 大統一理論 或 弦理論 古代哲學最偉大的形上之學成就就是原子論和 道論 當代哲學經兩次轉向 90 90 180度 後已經背道而馳了，已經沒有形上之學和形上學了，真正的哲學只有不受待見的 辯證唯物論 了。 哲學為何p開頭 1 Metaphysics 2 本 M ...
形上學的天賦？
天為人綱01 在上帝永恆創世論之後，不可能再有什麼其它形上學體系了。因為上帝永恆創世作為乙個永遠處於未完成狀態的包括一切集合的大全集合，就是終極真理。 cao2001516 神學本質是研究人與神之間關係的學問。哲學是神學的一種簡化認知模式。哲學追求的是真理，而真理就是神。物理學從哲學裡派生出來，導致...
形上學是什麼？
形上學 英語 Metaphysics 是指研究存在和事物本質的學問。形上學是哲學研究中的乙個範疇，被視為 第一哲學 和 哲學的基本問題 它是人類理性對於事物最普遍的面相和終極的原因的探索的一門學科。見 Cohen,S.Marc.Aristotle s Metaphysics.Stanford Enc...