意义下的模态，这样就使得模态命题的研究，更加地深入与广泛。在谈到逻辑与哲学的关系时，有学者认为，模态逻辑“在其自身发展过程中所遇到的问题，诸如本质主义问题，以及模态逻辑所引发的哲学问题，如可能世界问题等，都是一些哲学问题，这些问题拓宽了哲学的问题域，推动了哲学的发展”。或者说，模态逻辑从成果、问题和论文联盟http://方法三个层面上促进了哲学的研究。
　　然而，如果就时态命题的研究而言，则较之模态命题的研究要晚一些。在麦加拉——斯多葛学派开始讨论模态概念时，只是部分地涉及到了时间概念，稍后，古希腊的第欧多鲁、克多纳和他的学生斐络等人也开始研究时态命题，并且，第欧多鲁与克多纳等人，还因为研究了时态命题留名于逻辑史。由于在印欧语系中，动词“be”(是)除有人称变化外，还有时态变化。动词“be”(是)不仅可以分为过去时、现在时和将来时，而且还有进行时、完成时等时态。因此，依据句子的这种时态因素，欧洲中世纪的逻辑学家们深入地探讨了时态语句。比如，在“s是p”形式的命题中考虑“是”的时态因素时，则会引起主词s和谓词p的指称改变，而且，这种改变的指称域通常是由小到大的变化，中世纪的逻辑学家们将这种变化称为“扩大”，并且，由此而发展出了一套系统的扩大理论。除此，中世纪的逻辑学家们还区分了词项(当时称范畴词)的两种基本的语义属性：意谓和指代。特别是到了公元9－12世纪，阿拉伯的逻辑学家们吸取古希腊有关模态逻辑思想，并且不断地创新发展，其中伊本·西那把模态概念与时间命题结合起来，创造了一种新的模态谓词命题。伊本·西那应用了四种模态概念：“必然”、“可能”、“经常”和“有时”，这些是以命题的主词所表示的事物存在的时间来考虑与表达命题的。时间中的时刻起着模态逻辑中世界的作用，时间的先行关系及其后续情况(时间的后续关系)起着可选择性关系的作用。例如，如果“t1先于t2”被看作是一种可选择性关系，那么根据模态算子的真值条件，“必然”就相当于“在所有将来时间”，“或然”就相当于“在某个将来时间”。但是，中世纪逻辑学家们并不是把时态词和模态词当作命题算子，而只是把时态词和模态词看作限制修饰直言命题中主词和谓词的联系方式。然而，随着现代逻辑的兴起与发展，到了20世纪50年代以后，“对时间逻辑所做的大量工作由于时间关系所起的‘可选择性’作用，实际上已经把时间逻辑发展成为模态逻辑的一个变体。”
　　
　　二、人的主体认知可能世界和模态命题与时态命题
　　
　　尽管，人们曾试图给哲学逻辑的模态逻辑领域很多方面以及对其产生影响的跨学科联系做一公正的描述，但模态逻辑并不是一个完全统一的领域。你可以通过某一故事进入这个领域，一旦你身居其中，你一定会欣赏到这个领域的其他故事。当然，模态逻辑与一阶逻辑的根本区别还在于模态逻辑引入了模态算子，故而也就引入了一些新的问题，包括隐晦语境、内涵实体与真值等问题。比如，用真值去分析模态逻辑系统，就不是一种彻底的语义分析，因为仅用真值一般无法确定必然命题的真假。因此，我们必须保留关于行为模态和存在模态的区别。对于行为模态，我们说模态化所涉及的谓词是相对主体而言的谓词；而对于存在模态，它所涉及的谓词则是相对客体而言的。对于后者而言，模态谓词仍然保有它作为标准陈述的身份，即构成一个行为陈述或一个状态陈述，所以，它可以无视自己在自然语言语汇中的独特身份，并接受新的语义附加限制。人们研究模态逻辑，不能绕开可能世界问题。什么是可能世界?莱布尼茨认为，由无穷多的具有各种性质的事物所形成的可能事物的组合，就是一个可能世界。但从最宽泛的意义上讲，凡是能被无矛盾想象的世界都是可能世界，而现实世界只是可能世界的一个特例。刘易斯在“论可能世界”一文中说：“事件与性质一致；因为我找不出任何区分一个事件和该事件发生于其上的时空区域的理由。这样，一个现实发生的事件就是一个恰好包含这个世界的一个区域的集合。这使得它是部分地现实的，我们不妨直接称其为‘现实的’。”因此，即使是在最理想的假设下，也不能认为，每个说话者认识世界的方式都是一样的。显然，这里又出现了另一种模态，即可能存在有某个主体独特的认知框架。所谓在模态和理性之间建立一种构建性的关系，就是指描述出主体独特的认知框架，描述出针对某个主体的认知可能世界。当然，“可能世界”是作为语义对象而引入模态逻辑的。人们在现实世界中，不仅能够无矛盾地想象，而且它是现实存在的。从必然、可能、偶然等模态命题与“可能世界”的关系来看：如果一个命题是必然真的，当且仅当，该命题相对于所有的可能世界是真的；一个命题是必然假的，则当且仅当，该命题相对于所有的可能世界是假的。如果一个命题是可能真的，当且仅当，该命题至少相对于一个可能世界是真的；一个命题是可能假的，则当且仅当，该命题至少相对于一个可能世界是假的。如果一个命题是偶然真的，当且仅当，该命题相对于现实世界是真的，但是至少相对于一个可能世界是假的；一个命题是偶然假的，则当且仅当，该命题相对于现实世界是假的，但是，至少相对于一个可能世界是真的。
　　虽然，在模态里“必然”的含义不完全相同，即有逻辑的必然、物理的必然、道义的必然，甚至时间的必然等，但它们有着许多共同之处。如果说它们的共同点在哪里，现在我们能提供的最好回答是：在每一种情况下，说这个命题是必然的，等于说，如果这个命题不是必然的，那么一定有什么东西是反常的，必然的不同含义是与反常的不同含义相应的，对假定的逻辑体系的破坏的反常，一个命题如果为真就与我们已知为真的命题相冲突的反常，甚至是一个流行的事物状态，但与我们的道德准则相冲突的反常，或者一种总是真的东西却不真了的反常。“‘反常’的主何一种含义都把‘事物状态’(states of afairs)，分为两种类型：反常的事物状态和非反常的事物状态。”当然，模态逻辑最初还是对必然性、可能性，时间和因果联系等概念的研究，那些含有时态因素的时态语句，就是在句子中含有时间词，或是时间因素的语句，而时态命题也就是由时态语句表达的命题了。通常，时态语句和时态命题与一般语句和命题大致一样，但是，时态因素镜像却是时态逻辑中时态命题的特有概念，它反映了过去时态命题和将来时态命题的对偶性。如果存在着一个由过去时态算子所组成的命题，那么也就相应地可以找到一个由将来时态算子所组成的命题；如果存在着一个由过去恒常算子所组成的命题，那么也就相应地可以找到一个由将来恒常算子所组成的命题，反之亦然。例如：hfa(=h ga)的镜像就是gpa(=g h a)。如果a解释为：四川汶川发生大地震，那么hfa就是说，对于过去所有的历史时刻来说，将来某一历史时刻四川汶川发生大地震。hfa的镜像是gpa，gpa