可能，必然，不可能這些詞到底意味著什么呢？

在哲學(xué)中這些概念被稱為模態(tài)概念。

在日常生活中，這些詞的意義都很簡(jiǎn)單，必然為真就是不可能是假，看起來都很好理解，為什么哲學(xué)家會(huì)開始懷疑這些概念呢？

模態(tài)概念的批判者通常是經(jīng)驗(yàn)主義者，它們堅(jiān)持，經(jīng)驗(yàn)從未揭示出什么是必然或者什么是可能的，經(jīng)驗(yàn)只是揭露出什么是現(xiàn)實(shí)的。如果我們對(duì)世界的經(jīng)驗(yàn)沒有顯示出世界具有模態(tài)，那么，在形而上學(xué)方面表征世界的結(jié)構(gòu)時(shí)，我們沒有理由使用模態(tài)概念。

根據(jù)他們的觀點(diǎn)，模態(tài)的談?wù)撏耆珱]有任何理由，它僅僅是玩弄語言。

我們可以說，單身漢是未婚的這句話必然是真的，但這只是這兩個(gè)詞的意義才是真的。他們認(rèn)為，唯一的必然性是語言的必然性。

這種反對(duì)模態(tài)的態(tài)度最早可以追溯到休謨，但到19世紀(jì)又有了新的影響。

人們認(rèn)為我們需要一種模態(tài)的邏輯體系，該體系展示出模態(tài)句之間的邏輯關(guān)系，但是問題是這些體系實(shí)在是太多了，邏輯學(xué)家已經(jīng)從事了模態(tài)推演的系統(tǒng)化，但是，他們所發(fā)現(xiàn)的是，創(chuàng)造出不同而非等同的模態(tài)邏輯體系是可能的。對(duì)于哪個(gè)模態(tài)句子從某個(gè)給定的模態(tài)句子的集合推演出來這個(gè)問題，這些體系給出了不同的答案。

邏輯學(xué)家發(fā)現(xiàn)，適當(dāng)?shù)氖褂萌R布尼茲的觀念，即我們的現(xiàn)實(shí)世界只是無限多的不同的可能世界之一，他們能夠清楚的理解在各種模態(tài)體系中起作用的必然性和可能性這些概念。一個(gè)命題是真的或者現(xiàn)實(shí)上是真的這種說法就是講，它在現(xiàn)實(shí)世界這個(gè)可能世界內(nèi)是真的。另一方面，一個(gè)命題是必然的意思是，它在每一個(gè)世界都是真的。一個(gè)命題可能是真的就是說，它在某個(gè)可能世界是真的。根據(jù)這種學(xué)說，通過對(duì)于可能世界的量化，必然性，可能性這些概念得到了解釋。

他們能夠解釋，經(jīng)驗(yàn)主義者的失敗在于僅僅依賴日常經(jīng)驗(yàn)的內(nèi)容來理解必然性和可能性。當(dāng)我們談到什么是必然和什么是可能的時(shí)候，我們不只是談?wù)摤F(xiàn)實(shí)世界是怎么樣的，而是談?wù)摽赡苁澜绲目傮w。

可能世界的這種理論框架有很深的直覺根源。可能世界這種觀念可以被追溯至我們大家都共有的日常信念。我們都相信，各個(gè)事物都可能是另外一種樣子。贊同可能世界這種形而上學(xué)的人告訴我們，談?wù)摽赡苁澜鐑H僅是上述那種日常信念的重新組合。根據(jù)這種觀點(diǎn)，當(dāng)本體論者談?wù)摽赡苁澜鐣r(shí)，他們只不過時(shí)給予哲學(xué)家和非哲學(xué)家都相信的觀念以一種技術(shù)名字。所以，他們主張模態(tài)邏輯的模態(tài)概念和可能世界的形而上學(xué)的解釋不是哲學(xué)家的發(fā)明，僅僅是嘗試的延續(xù)。