temporal truth 与二值性：对亚里士多德《解释篇》第9章的过时形式化进路

关于亚里士多德在《解释篇》第9章提出的著名海战论证，人们不仅对其正确性，而且主要对其真正内容从未达成普遍共识。根据该章最自然的读法，该论证诉诸一种时间性的真理概念，并得出结论：并非每个陈述都总是或真或假。然而，亚里士多德的许多追随者与注释者并未采纳这一读法。我认为它遭遇如此多的阻力，是出于解释学上的仁慈——否认普遍二值律似乎对逻辑正统极具破坏性，而我们如今称为经典命题逻辑所代表的那种逻辑正统，亚里士多德在许多文本中显然予以支持。我意在表明，传统读法在《解释篇》第9章中发现的逻语义学论题远比初看之下显得保守。首先，我将表明它们补充而非以任何方式违背亚里士多德在其他文本中提出的真理与陈述概念的正统定义。其次，以一种过时的方式诉诸当代逻辑特有的概念与方法，我将表明，可针对经典命题演算的标准形式语言构建一种符合这些论题的三值模态语义。值得注意的是，基于该三值模态语义可定义的 logical truth 与 logical consequence 的合理概念，与其正统对应项——经典二值与外延语义的 tautology 与 tautological consequence 概念——具有相同的外延。