4.简单结论
模态逻辑在相当程度上，是应付蒯因对模态质疑的产物，特别是蒯因指出的，量化模态逻辑中所产生的指称不明。由此，我们可以把模态逻辑的发展大致分为三个方向：一个是语义方向，由于蒯因的质疑而产生对于模态语义理论的需要，这产生可能世界语义学。这种语义学是用一种弱的本质主义，来回应蒯因的拒绝本质主义诉求。第二个是在模态语义方向发展的同时，在模态命题逻辑基础上很快出现量化模态逻辑。它的建立可以看作是回应蒯因坚定外延主义立场的产物。第三个方向是对某种可称作是内涵实体东西的默许，这使得一种超越模态逻辑的普遍内涵逻辑也成为未来逻辑发展的可能。
【注释】
[1]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P329.
[2]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P332.
[3]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P330.
[4]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P331.
[5]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P333.
[6]Edited by Roger F.Gibson Jr，Quintessence，The Belknap Press of Harvard University Press，2004，P339.
[7]Peter Hylton，Quine，Rouyledge NewYork and London，2007，P326—327.
[8]涂纪亮、陈波主编：《蒯因著作集》第四卷，中国人民大学出版社2007年版，第391页。
[9]涂纪亮、陈波主编：《蒯因著作集》第五卷，中国人民大学出版社2007年版，第163—164页。
[10]涂纪亮、陈波主编：《蒯因著作集》第四卷，中国人民大学出版社2007年版，第130—131页。
[11]涂纪亮、陈波主编：《蒯因著作集》第四卷，中国人民大学出版社2007年版，第136页。
[12]Edited by P.Blackburn，J.V.Benthem，F.Wolter，Handbook of Modal Logic，Three，Elsevier，2007，P1156.
[13]Ibed，P1164.
[14]S.Kripke.A completeness theorem in modal logic，The Journal of Symbolic Logic，24，1—14，1959.