健闭饬礁雒舛疾皇钦媸档幕埃敲矗敖裉旎嵊幸怀『Ｕ健庇搿敖裉觳换嵊幸怀『Ｕ健闭饬礁雒饧幢阍诿魈煲膊换崾钦媸档摹�
在上述论证结束处，亚里士多德显然承认将来的或然命题可能属真，但这类命题不一定在方式上与现在命题以及过去命题等同。一句话，一切当其所是之时必然就是，但这并不意味着一切必然就是。明天会有或不会有一场海战是必然的，但会有一场海战与不会有一场海战都不是必然的（919a30…2）。
正文 亚里士多德论时间与模态（5）
福哇手机 更新时间：2010…11…2 8：02：26 本章字数：1297
不甚明了的是，亚里士多德到底是如何解除这一有力论证的，而他早先正是出于对普遍必然性的考虑才建立这一论证的。方才摒弃的那种区别本身不足以做到这一点，因为那种区别并未考虑诉诸将来或然命题在过去的真值的做法，而这种做法恰是这一论证的组成部分。鉴于亚里士多德承认过去的是必然的，那么，有关将来事件在过去时间的真值（pasttruthsaboutfutureevents）一定是必然的，因此将来事件本身一定是必然的。解决的方法依赖于分析在过去时间中真值的概念：我们务必把过去时态中所陈述的真值与由过去发生的事件所证实的真值区别开来。“明天会有一场海战＇的说法＇在一万年以前是真实的”，因为这里所用过去135时态并非真的就是一个关于过去的命题。不过，亚里士多德在任何地方也没有明确摒弃这一解决方式，他所阐述的问题在古代后期和中世纪时期则以许多不同形态一再重现。
在《前分析篇》里，亚里士多德探讨了从模态命题中构建三段论的可能性。他建构模态三段论的尝试在今日被普遍视为虽败犹荣之举；人们甚至在古代就已意识到这种论式的错误之处。亚里士多德在吕克昂学院的继任者塞奥弗拉斯托对这一论式有过研究并加以推进，但即便如此也不能令人满意。对这种尝试难以成功的原因，尼勒（MarthaKneale）做了如此精妙的说明，即：亚里士多德确定不了什么是分析模态命题的最佳方式。
如果模态词修饰谓项的话，那就没有必要设立一种模态三段论的特殊理论了。因为，这些只是普通的实然三段论（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…11…2 8：02：34 本章字数：1104
这一论证显然近似于我们在讨论亚里士多德处理将来或然事件时所遇到的那种论证。狄奥多罗的论证前提是过去的真是必然的，这个前提具有歧义，因而导致了论证的瑕疵。过去的真指什么？如果它是一个过去时态的真命题，那么就不能保证它是必然的。要明白这一点，我们就只有思考一个过去时态的否定命题，诸如“波斯帝国并没有被摧毁”。这一命题在苏格拉底的时代是真实的，但不是必然的：这一命题将会改变其真值，即从真实变为虚假的命题。另一方面，如果一个过去的真是指由一个过去的事件所证实的真，那么，过去的真便是必然的了；不过，既然像（4）这样的命题不是过去的真相，那么像（5）这样的命题也就不需要了。
狄奥多罗的弟子是来自麦加拉的菲罗，后者放弃了老师的模态定义，在解释可能性时所依据的是命题的内在属性而非其在时间中的真值。我们不清楚他的解释是如何展开的，但我们知道自圆其说的缘故所在：一片木头即便没有被燃烧，即便一直躺在海床上，但它被燃烧是可能的（LS38B）。
来自麦加拉的菲罗对逻辑学的主要贡献是对条件句的定义。他说，“如果p那么q”在p真而q假的情况下是假的，在其他三种情况下是真的。由此可见，一个条件命题的真值，并非取决于前件与后件的内容（thecontentoftheantecedentortheconsequent），而是取决于它们的真值。如此一来，“如果这是黑夜，那这就是白昼”之类的命题，凡在白天讲这句话，它就是真命题；同样可以假定原子论是真的，则“如果没有原子，那就有原子”之类的命题就是真的。菲罗以这种方法处理条件句，预示了现代命题逻辑学对实质蕴涵（materialimplication）所采用的真值函项定义。但是，决定条件句之真假的真值，是可以变化的真值。这对逻辑学的形式阐述不利，因为“如果p，那么q”的命题就会因此不再是一条逻辑学法则了：“如果我坐着，那么我坐着”之类命题便是假命题，诚如菲罗式的条件一样，如果我在前件与后件之间站立起来，上述那一命题也是假命题。
然而，来自麦加拉的这位菲罗给出的定义，似乎已经被斯多亚学派的逻辑学家们所采纳，他们率先将命题逻辑加以形式化。就在亚里士多德于其逻辑学论著中用字母表示变项之处，斯多亚学派则用数字表示变项；这一差异当然微不足道，但具有更重要意义的是，在亚里士多德所用的变项代表词项之处，斯多亚学派所用的变项则代表完整句，或者是能够成为完整句子的成分。在“如果星辰在闪耀，那就是夜晚”这一命题里，无论是前件“星辰在闪耀”还是后件“就是夜晚”都不是完整句；但是，每一组语词都能自个组成一个完整句。
正文 斯多亚学派的逻辑学（3）
福哇手机 更新时间：2010…11…2 8：02：39 本章字数：1095
斯多亚学派将命题逻辑学内嵌在一个详述的语言和语义的理论之中。斯多亚学派区别了语音（phone）、语词（lexis）与言说（logos）。野兽或大海的咆哮是一种声音，但唯有成为语音的发声（articulatesound）才会成为言语（speech）；不过，并非所有言语都是有意义的：人类会发出像“嘿诺尼诺”（heynonnyno）这样的无意义言词（nonsen