先驗佮後驗

先驗（拉丁語：a priori，指「來自較早的」）和後驗（拉丁語：a posteriori，指「來自較晏的」）， 是哲學中使用的拉丁語短語，用佇透過對經驗證據抑是經驗的依賴來區分智識、證明抑是論證的類型。先驗智識是獨立於經驗的智識。例包括數學、重言式佮出自純粹理性（英語：pure reason，抑是稱 speculative reason、theoretical reason）的演繹推理。後驗智識是依賴佇經驗證據的智識。例包括大多數科學領域佮個人的智識的各個方面。

遮的術語源自亞里斯多德工具論的分析方法：先驗分析（英語：prior analytics）涵蓋來自定義佮第一原理的演繹邏輯，後驗分析（英語：posterior analytics）涵蓋來自觀察證據的歸納邏輯。

這兩个術語攏出現佇歐幾里得的《幾何原本》中，但因為它曼紐而已 ・ 康德的《純粹理性批判》普遍啊若；後者是哲學史上上有影響力的著作之一。這兩个術語主要用作名詞「智識」（即「先驗智識」）的定語。先驗嘛會當修削其他的名詞來做，比如講「正經」。 哲學家嘛會使用先驗性（英語：apriority、apriorist 抑是 aprioricity）做名詞，指代先驗的品質。

康德表示，無論是空間，抑是空間的任何一个幾何學的先天規定，攏毋是一種先驗的表象，干焦關於著遮的表象曷無經驗的來源矣、猶閣有啥物款以早𪜶猶是會當先天地佮經驗物件發生關係的這種可能性的智識，才會當講是先驗的。

例

先驗智識佮後驗智識的區別，會當對下例體會：

_ 先驗 _

思考這个命題：「 若喬治五世在位至少四工，伊的佇遐爾仔超過三工矣」。 這是先驗智識，因為伊所表達的內容干焦根據理性便會當出。

_ 後驗 _

思考這个命題：「 撨治五世對一九一空年到一九三六年在位」。 這是後驗智識，因為伊所表達的內容袂當干焦根據理性會當出。

他曼紐而已 ・ 康德對這个貢獻

十八世紀的德國哲學家伊曼紐爾 ・ 康德提出一款混合了理性主義佮經驗主義的理論。康德聲稱，「 雖然咱的全部智識開始經驗，智識煞並無遵循經驗產生的途徑。」按照康德的理論，後驗智識是經驗的，是由經驗的內容所決定。康德講，「 真有可能，咱的經驗智識只是咱通過印象佮認知器官本身提供的內容（印象干焦提供一種「偶然性」）所得著的一个集合。」所以，佮經驗的主義者無仝款，康德認為先驗智識獨立於經驗存在；較精傱的，佮理性主義者無仝款，康德認為以伊的純粹形式存在，並無濫濫著任何經驗內容的「先驗」智識是對經驗可能性的條件的推理。這種「先驗」，或者是超驗的條件，是佇咧人類認知器官內底先天具備的，無可能由任何經驗會著。康德提出並討論了純粹形式推出來的「先驗」引起的超驗邏輯的可能性。純粹「先驗」智識包括類似時間佮因果的概念。康德認為，純粹先驗智識會當由伊的超驗美學佮超驗邏輯所確立。康德提出，若無遮的「先驗」智識對人類個體熟似的建構，人類個體就不具備經驗的能力。比如講，做一个人的認知器官中間和因果律攏失效時，伊就無法度去共這个世界認知為一个有規律的，由自然規律所統治的世界。這一看法予普遍認為是康德的主要作品「純粹理性批判」中心論點—— 超驗推理。

超驗推理並無迴避時間佮因果律的客觀性，但考慮著主觀性的存在，康德試看覓去討論主觀性按怎產生佮伊在客觀實體佮經驗之間的關係，以實現「先驗」邏輯。

克里普克對這的貢獻

克里普克佇咧《號名佮必然性》中批評康德道，先驗性是佮認捌論相關的性質，必須愛予伊學生活走揣，兩个人不應濫做一談。首先，伊論證道嘛，某一寡後驗命題予人看做必然的。

比如講，啟明星是長庚星。（雖然隨人叫法無仝，但是𪜶攏是金星的名稱）。 𪜶必然是仝一个物件，但是這同齊煞由後驗會知影。

仝款類似地，存在偶然先驗命題。比如講，巴黎的米原器過去做一米的標準。這就綴咧喝命，「 米原器生一米」，該命題是偶然的，因為咱本可能以其他長度定義一米。毋過，先驗的，因為一米即由這个米原器長度來定義，所以這个米原器肯定生一米（佇咧伊閣做一米的標準的時陣）。 這是一種重言式的，有時陣嘛講其為循環定義。

伯特蘭 ・ 羅素對這的貢獻

伯特蘭 ・ 羅素佇咧《哲學問題》中熟似是先驗智識是共相之間的關係。比如講，「 $ 二 + 二=四 $」，顯示矣「$ 二 $」、「 $ + $」、「 $=$」、「 $ 四 $」遮的羅素稱之為相之間的關係。

其他貢獻者

• 艾呢爾
• 齊碩姆
• 奎因