李天命《哲道行者》頁273：
//「死後還有」具有終後可檢驗性(eschatological verifiability)，「死後永無」永無終後可檢驗性。//

同書頁275：
//「鬼神存在」具有終後可檢驗性，「鬼神不存在」沒有終後可檢驗性。//

 

設p=「死後還有」而 ~p=「死後永無」，或者
設p=「鬼神存在」而 ~p=「鬼神不存在」

(1) 一個語句S有認知意義，當且僅當：S是分析語句，或S有可檢驗性（包括終後可檢驗性）。 〔前提I〕
(2) 一個語句S有真假可言，當且僅當：S有認知意義。 〔前提II〕
(3) p不是分析語句。 〔前提III〕
(4) p有可檢驗性。 〔前提IV〕
(5) p有真假可言。 〔從1,2,3,4〕
(6) ~p不是分析語句。 〔前提V〕
(7) ~p沒有可檢驗性。 〔前提VI〕
(8) ~p沒有真假可言。 〔從1,2,6,7〕
(9) p與~p是矛盾的，即p真則~p必假，p假則~p必真。 〔前提VII〕
(10) ~p有真假可言。 〔從5,9〕
(11) ~p有真假可言並且沒有真假可言。 〔從8,10〕

 

相關連結：http://leetm.mingpao.com/cfm/Forum3.cfm?CategoryID=1&TopicID=1027&TopicOrder=Desc&TopicPage=1