原帖由天宫公主于2005-09-18, 9:14:52发表
预言等的确属于propositional logic范围内的东西. 但这些预言的指向是什么呢? 是一个既不能肯定又不能否定, 解释权属于上帝的怪物. 因为解释权的种种不明确性, 我们所需要的"辨真函数"(boolean valued truth map), 就不是一再个合法的数量了(well defined quantity). 因为辨真函数所吃进的(input value)只是propositional statement, 是不应该需要什么"解释权"的.
天宫,你又錯了啊。
你先假定解释权属于上帝,便不用理会解释权有没有“明确性”了。
另,你说“预言是既不能肯定又不能否定”也是錯的。
因为预言例如以色列复国是已肯定的。