第19部分(第3/4 页)

精妙的说明，即：亚里士多德确定不了什么是分析模态命题的最佳方式。

如果模态词修饰谓项的话，那就没有必要设立一种模态三段论的特殊理论了。因为，这些只是普通的实然三段论（assertoricsyllogisms），只是其中两个前提有特殊的谓项。另一方面，如果模态词修饰所依附的命题陈述的话，那就没有必要设立一种特殊的模态三段论式了，因为确定模态陈述之间逻辑关系的法则是独立的，是不受由模态词主导的命题的品性影响的。

尼勒得出的结论是，模态逻辑学的必要基础就是一种对命题不加分析的逻辑学，也就是斯多亚学派所发展的那种逻辑学。这一陈述需要资格限制条件。的确，20世纪模态逻辑学的繁盛景象，恰恰有赖于一种命题演算（propositionalcalculus）。但在中世纪时期亚里士多德学派的语境中，模态逻辑学也取得了显著的发展，当时，亚里士多德自己提出的模态三段论，被更为精致的一些系统所取代。亦如先前那样，不是所有谓项中包含“可能或会”（can）与“必须或务必”（must）之类助词的命题，都可以替换成另一类命题，即模态算子附加在整个嵌套命题上的那一类命题。譬如，“我会说法语”（IcanspeakFrench）这句话，在含义上不同于“我正在说法语是可能的”（ItispossiblethatIamspeakingFrench）这句话。亚里士多德区别了双向可能性（two　waypossibilities；诸如一个人有能力行走或不行走，这由他选择而定）与单向可能性（one　waypossibility；火可燃木，如果将木头一直放在火上，木头就会被火燃烧，这里没有双向可言）。这种运用于人类选择的双向逻辑学迄今尚未得到充分的系统化阐述。

正文　斯多亚学派的逻辑学（1）

福哇手机　更新时间：2010…11…2　8：02：31　本章字数：966

斯多亚学派的逻辑学

在亚里士多德之后的那一代人里，模态逻辑学在麦加拉学派（theschoolofMegara）那里以有趣的方式得到发展。在狄奥多罗·克洛诺斯（DiodorusCronos）看来，一个命题当且仅当（iff）它是属真或者将会属真时才是可能的，一个命题当且仅当它是属假并且永远不会属真时才是不可能的，一个命题当且仅当它是属真并且永远不会属假时才是必然的。就像亚里士多德一样，狄奥多罗承认命题根本上是有时态的，会改变其真值的；与亚里士多德不同的是，狄奥多罗无需严格区别现实性和潜能，因为潜在性是依据现实性来界定的。根据狄奥多罗的定义，命题不仅改变其真值，而且改变其模态。“波斯帝国已被摧毁”的命题，在苏格拉底活着时是不真实的，但却是可能的；在亚历山大大帝征战取胜之后，这个命题便是真实的和必然的（LS38E）。在狄奥多罗看来（在亚里士多德看来也是如此），特殊的必然性也适用于过去的事情。

狄奥多罗对可能性的界定有一特征，即：并非所有可能性都永远无法成为现实。任何可能的事情，总有一天是真实的或将是真实的。这一情况似乎涉及一种宿命论：无人可做任何超出他们事实上所做之事。狄奥多罗似乎支持这一立场，他所采用的推理思路成为人们所知（我们不知何故）的主论证（MasterArgument）。从（1）过去的真是必然的（pasttruthsarenecessary）这一前提出发，狄奥多罗提出了一个证明，没有什么东西在现在不真并在将来不真的情况下是可能的。我们假定（用古代讨论这一论证的例子来说）在浅水中有一只事实上永远看不见的贝壳，我们不妨称其为诺提路斯（Nautilus）。我们可以从表示不可能看见这一贝壳的前提出发建构一种论证：

（2）诺提路斯将永远不会被人看见。

（3）诺提路斯将永远不会被人看见总是事实。（命题（2）的一种合理推论结果）

（4）诺提路斯将永远不会被人看见是必然的。（从命题（4）与命题（1）推论得出的结果）

（5）诺提路斯将永远被人看见是不可能的。（必然不=不可能）

虽然我们不知道狄奥多罗所举证明的确切模式，但很容易概括出这一论证思路旨在表示这一点：只有将会发生的事情才会发生。

正文　斯多亚学派的逻辑学（2）

福哇手机　更新时间：2010…1