理性主體的內(nèi)省原則及內(nèi)省擴(kuò)展分析

陳 妍,董英東

(湘潭大學(xué)碧泉書(shū)院,湖南湘潭 411105)

一、引言

在過(guò)去一段時(shí)間內(nèi),內(nèi)省曾被認(rèn)知科學(xué)所拋棄,但內(nèi)省的重要性呼吁我們對(duì)內(nèi)省進(jìn)行重新審視。審視的原因有三:一是內(nèi)省提供了一種思維方式,這種方式以第一人稱(chēng)的方法直接觸及問(wèn)題之所在;二是通過(guò)內(nèi)省,主體可以獲得知識(shí),提升知識(shí)的寬度;三是內(nèi)省可以處理動(dòng)態(tài)變化,動(dòng)態(tài)變化即動(dòng)態(tài)信息變化,針對(duì)這一動(dòng)態(tài)變化,如果主體是內(nèi)省的且理性的,那么通過(guò)主體已有的認(rèn)知足以處理信息的變化,從而不斷對(duì)舊知識(shí)進(jìn)行更新。當(dāng)前,人們對(duì)“內(nèi)省是個(gè)人私有的”觀點(diǎn)存在爭(zhēng)議。事實(shí)上,我們也并不否認(rèn)內(nèi)省是個(gè)人所具有的行為,但是,如果把所有內(nèi)省后的主體聚集在一起,主體的知識(shí)與信念將得到內(nèi)省方法的支撐。

當(dāng)下,人們對(duì)內(nèi)省主要持兩種態(tài)度:其一,對(duì)內(nèi)省持肯定的態(tài)度。通常,在內(nèi)省的過(guò)程中,執(zhí)肯定態(tài)度的人把內(nèi)省的知識(shí)視為是免受懷疑的,所以他們把內(nèi)省視為一種直接的、可靠的、不會(huì)出錯(cuò)的獲取自我知識(shí)的特殊方式。其二,對(duì)內(nèi)省持否定的態(tài)度。執(zhí)否定態(tài)度的人認(rèn)為,內(nèi)省會(huì)出現(xiàn)錯(cuò)誤是因?yàn)閮?nèi)省是私人所具有的反思行為,并且內(nèi)省判斷具有排他性,所以在涉及到需要對(duì)大量信息進(jìn)行判斷時(shí),內(nèi)省就會(huì)失去一定的判斷力。但不可否認(rèn)的是,內(nèi)省有助于我們了解或知道周?chē)氖澜?同時(shí)還有助于我們找到可能的錯(cuò)誤源,這是內(nèi)省具有的優(yōu)勢(shì)之一。此外,主體的知識(shí)可以通過(guò)內(nèi)省得到內(nèi)在的提升,并且通過(guò)認(rèn)知行為可以改變主體的知識(shí)狀態(tài)。

因此,在認(rèn)知科學(xué)中,人們雖然對(duì)以內(nèi)省為代表的第一人稱(chēng)方法未形成一致意見(jiàn),但是也給予了肯定態(tài)度,肯定內(nèi)省在認(rèn)知科學(xué)中的作用。本文通過(guò)對(duì)內(nèi)省時(shí)態(tài)變化以及正負(fù)內(nèi)省劃分的動(dòng)態(tài)處理來(lái)明確主體的所知與無(wú)知。如果理性主體知道自己的所知與無(wú)知,那么主體的認(rèn)知狀態(tài)就能夠保持最佳的狀態(tài)。此外,內(nèi)省也面臨著許多嚴(yán)峻的問(wèn)題,如內(nèi)省過(guò)程很難穩(wěn)定地持續(xù)一段時(shí)間、內(nèi)省是私有的等,但不容否認(rèn)的是,內(nèi)省使得人們能夠獲取新的知識(shí),這一路徑是內(nèi)省獨(dú)特的意義與價(jià)值。

二、KK原則與內(nèi)省

自辛迪卡(J.Hintikka,1962)的著作《知識(shí)與信念》問(wèn)世以來(lái),人們就開(kāi)始系統(tǒng)地研究知識(shí)與信念的邏輯屬性,或者說(shuō)對(duì)知識(shí)和信念進(jìn)行邏輯的推理。這一推理體現(xiàn)在人們分析知識(shí)與信念變化時(shí),會(huì)自然地將內(nèi)省作為對(duì)自我行為的一種反思。繼而,羅素(Russell)在《LogicandKnowledge:Essays1901-1950》一書(shū)也提出:內(nèi)省可以作為一種不同于感覺(jué)的知識(shí)來(lái)源[1]359-360。毋庸置疑,羅素在內(nèi)省與知識(shí)之間建立了聯(lián)系,將內(nèi)省視為獲取知識(shí)的來(lái)源之一,可見(jiàn)內(nèi)省的重要性。此外,約翰·范本特姆(Johan van Benthem,2008)在《在動(dòng)態(tài)認(rèn)知邏輯中融合觀察與內(nèi)省》一文提出具有建設(shè)性的觀點(diǎn)。他認(rèn)為:“理性主體是基于信息源中的信息而采取相關(guān)行動(dòng)的,如推理和內(nèi)省。”[2]同時(shí),公理4不足以完全刻畫(huà)內(nèi)省,因而公理4只是內(nèi)省的模式化。基于以上觀點(diǎn),本文首先從KK原則與內(nèi)省方面進(jìn)行分析。

談及內(nèi)省,我們總會(huì)想到內(nèi)省與KK原則之間的關(guān)聯(lián)。事實(shí)上,他們之間也的確存在某種關(guān)聯(lián)。就模態(tài)邏輯而言,在S4(KT4)和S5之間就有無(wú)窮多個(gè)模態(tài)系統(tǒng),其間的每個(gè)模態(tài)系統(tǒng)都有一套特定的內(nèi)省原則,該原則涉及主體對(duì)其自身知識(shí)的了解情況。同時(shí),該原則的表現(xiàn)形式為公理4和公理5,通常,公理4和公理5被視為內(nèi)省原則[3]33,如下:

4:Kφ→KKφ

公理4通常被稱(chēng)為正內(nèi)省,也被稱(chēng)為KK原則。一方面,KK原則表明,對(duì)于任一命題p來(lái)說(shuō),如果一個(gè)人知道p,那么他知道他知道p[4]。據(jù)此,在公理4中,KK原則強(qiáng)調(diào)了主體知道的狀態(tài)以及主體知道自身所知道的狀態(tài),即公理4成立。另一方面,KK原則也存在其特殊情況,即KK原則失效問(wèn)題。試想,如果KK原則失效,是否意味著主體處于非內(nèi)省的狀態(tài)呢?事實(shí)并非如此,因?yàn)榭赡苓€存在內(nèi)省主體知道自己不知道的情況,所以,即使KK原則失效,也并不意味著內(nèi)省的消失,只是內(nèi)省原則與內(nèi)省本身不匹配。簡(jiǎn)言之,KK原則失效意味著回到最初的狀態(tài),最初的狀態(tài)即事物最初呈現(xiàn)給世界的樣子,也就是句子φ。句子φ在公理4中以Kφ和KKφ的形式出現(xiàn),根據(jù)形而上學(xué)的觀點(diǎn),知識(shí)狀態(tài)是相同的,句子Kφ和KKφ是指相同的認(rèn)知狀態(tài)[5]15。從某種程度上說(shuō),句子Kφ和KKφ同屬于一種認(rèn)知狀態(tài)。

KK原則為何失效?失效的原因有二:一是人們通常預(yù)設(shè)主體是理性的個(gè)體,但是在現(xiàn)實(shí)生活中,并非所有主體都是純理性的個(gè)體,通常會(huì)摻雜情感因素,亦即非理想化的情況。例如,如果我知道明天下雨,那么我知道我知道/我不知道明天下雨。通過(guò)例子可知,主體對(duì)于明天下雨這一事實(shí)是不確定的,正是主體對(duì)明天下雨或不下雨情況的不確定,即主體在知道與不知道之間的模糊狀態(tài),使得KK原則在另一種情況下是不成立的,這是KK原則失效的原因之一。二是并非所有主體總是具備內(nèi)省的能力。假設(shè)主體在任何情況下都是內(nèi)省的,但是當(dāng)內(nèi)省原則與內(nèi)省本身不匹配時(shí),KK原則也會(huì)失效。

除了KK原則失效問(wèn)題,內(nèi)省原則還面臨許多爭(zhēng)議。有些學(xué)者不承認(rèn)負(fù)內(nèi)省原則,認(rèn)為負(fù)內(nèi)省原則仍存在許多困境,如邏輯全能問(wèn)題、摩爾句等。通常,公理5被稱(chēng)為負(fù)內(nèi)省。根據(jù)負(fù)內(nèi)省,主體知道他們不知道的狀態(tài)。當(dāng)主體明確知道自己未知的狀態(tài)時(shí),主體可以通過(guò)深度學(xué)習(xí)、內(nèi)省等方式使得主體將自己未知的狀態(tài)變?yōu)樽约阂阎臓顟B(tài)。然而,我們似乎遇到了關(guān)于知道與相信之間的疑難:如果主體無(wú)法區(qū)分完全相信與知識(shí)之間的差別,那么,就主體所知道的一切而言,由于主體完全相信p,他們就知道p。同時(shí),根據(jù)負(fù)內(nèi)省原則,主體知道他們不知道p。因此,就會(huì)出現(xiàn)主體既知道p又不知道p的矛盾情況。關(guān)于負(fù)內(nèi)省的相關(guān)難題,的確有待進(jìn)一步商榷。但是我們可以另辟蹊徑,對(duì)內(nèi)省進(jìn)行擴(kuò)充。

三、添加時(shí)態(tài)算子擴(kuò)充的內(nèi)省

除了正內(nèi)省與負(fù)內(nèi)省原則,筆者認(rèn)為還應(yīng)添加第三個(gè)原則,即通過(guò)增加時(shí)態(tài)算子所形成的內(nèi)省原則。該原則分析了內(nèi)省前、內(nèi)省中以及內(nèi)省后行為的變化。即:

內(nèi)省前:φ

在這三個(gè)階段中,第一個(gè)階段為內(nèi)省前,是事物最初的狀態(tài),此時(shí)無(wú)內(nèi)省因素,只是事物原本的情況。第二個(gè)階段為內(nèi)省中,添加了主體知道算子。此時(shí),主體明確了自己的所知與不知,內(nèi)省是針對(duì)第一階段出現(xiàn)的事件進(jìn)行的內(nèi)省,主體的認(rèn)知階段與第一階段相比,在某種程度上而言,是有所提升的。第三個(gè)階段為內(nèi)省后,可以說(shuō)是主體認(rèn)知提升的提升,較前兩個(gè)階段,思維層次不一,屬于更高階的層次。除了三個(gè)階段外,內(nèi)省還分為兩種類(lèi)型:一為反思性內(nèi)省;二為原始內(nèi)省[6]30。由于本文主要探討的是內(nèi)省的原則,故在此不再詳述。

內(nèi)省各階段的變化意在說(shuō)明其重要性。進(jìn)一步地,內(nèi)省與時(shí)態(tài)算子密切相關(guān)。早期,在時(shí)態(tài)認(rèn)知邏輯中,增加了兩個(gè)時(shí)態(tài)算子:過(guò)去算子(P)與將來(lái)算子(F)。近年來(lái),除了過(guò)去算子與將來(lái)算子,現(xiàn)在算子(N)也得到了人們的廣泛關(guān)注。本質(zhì)上,當(dāng)時(shí)間處在“現(xiàn)在”位置時(shí),呈現(xiàn)的狀態(tài)是動(dòng)態(tài)的、真實(shí)的。既然“現(xiàn)在”算子(N)是過(guò)去時(shí)間以及未來(lái)時(shí)間的參照點(diǎn),那么厘清時(shí)間的先后順序,將有利于內(nèi)省的發(fā)生。關(guān)于內(nèi)省與時(shí)態(tài)算子之間的關(guān)聯(lián),如圖1所示:

圖1 內(nèi)省時(shí)態(tài)變化

從圖1可知,→代表時(shí)間軸,分為過(guò)去、現(xiàn)在以及將來(lái)。在過(guò)去點(diǎn)與現(xiàn)在點(diǎn)之間,不涉及內(nèi)省,從現(xiàn)在點(diǎn)到將來(lái)點(diǎn),是內(nèi)省的主要階段。因此,為了區(qū)分內(nèi)省的前后變化,以明確知道與不知道兩種狀態(tài)——該兩種狀態(tài)是通過(guò)內(nèi)省和時(shí)態(tài)算子結(jié)合的特定方式,或者說(shuō)是給內(nèi)省添加了一個(gè)時(shí)間維度的方式。因此,對(duì)內(nèi)省進(jìn)行時(shí)態(tài)算子的擴(kuò)展是有必要的。正如張玉志和唐曉嘉[7]在《面向完美回憶的時(shí)態(tài)認(rèn)知邏輯》一文中所提及的正、負(fù)內(nèi)省公理,令P={p,q,...}表示一個(gè)可數(shù)的常原子命題集,A表示一個(gè)有窮主體集,a∈A,T是自然數(shù)集N的一個(gè)有窮子集,T?N,所以,可得如下公理:

其中,Ktaφ讀作主體a在時(shí)刻t知道φ。例如,正內(nèi)省公理表示主體的正內(nèi)省是在當(dāng)前時(shí)間點(diǎn)完成的。以上正、負(fù)內(nèi)省公理說(shuō)明,帶有時(shí)態(tài)算子的內(nèi)省,命題的真值會(huì)隨著時(shí)間的變化而變化。下面舉兩例予以說(shuō)明。

例1:我已經(jīng)提交了作業(yè)。

這一命題說(shuō)明了在過(guò)去的某個(gè)時(shí)間點(diǎn),我提交了作業(yè),但是如果時(shí)間點(diǎn)是現(xiàn)在,我根據(jù)我已有的認(rèn)知狀態(tài),通過(guò)自我的內(nèi)省,我知道我知道我已經(jīng)提交了作業(yè)。在這一例子中,我們可以得出結(jié)論:時(shí)間和內(nèi)省都對(duì)命題具有一定影響。

例2:明天,我去北京開(kāi)會(huì)。

對(duì)于這一命題的斷定,需要結(jié)合現(xiàn)實(shí)發(fā)生的情況。同時(shí),由于對(duì)未來(lái)事件的不確定性,需要我們采用內(nèi)省的方式對(duì)其進(jìn)行思考,而當(dāng)下我需要思考的是,明天我是否有條件可以到達(dá)北京開(kāi)會(huì),如果結(jié)果是沒(méi)有車(chē)票可以抵達(dá)北京,那么我將通過(guò)內(nèi)省,我知道我知道沒(méi)能到達(dá)北京開(kāi)會(huì)的原因。當(dāng)然,一個(gè)理性的主體在此過(guò)程中可以明確的是知道自己過(guò)去知道什么或不知道什么,這一點(diǎn)是確定無(wú)疑的。但是,由于未來(lái)有無(wú)數(shù)種可能性,主體可以通過(guò)正、負(fù)內(nèi)省能力,依據(jù)時(shí)態(tài)算子,不斷提升自身潛在的知識(shí)水平。當(dāng)然,隨著主體知識(shí)的不斷累積與更新,主體自身的知識(shí)也會(huì)隨著時(shí)間的推移而發(fā)生改變。所以,從S4和S5之間構(gòu)建的系統(tǒng),必然會(huì)有一套特定的內(nèi)省原則。同時(shí),這套內(nèi)省原則必不可少的是時(shí)態(tài)算子的加入,因?yàn)閮?nèi)省只有在時(shí)間的范圍內(nèi)才能確保其有效性和正確性。

四、借助理性主體擴(kuò)充的內(nèi)省

從內(nèi)省本身而言,在內(nèi)省中,主體顯然是必不可少的載體。當(dāng)主體具備內(nèi)省的能力時(shí),由于個(gè)體的差異性,內(nèi)省會(huì)受到多重因素的影響。事實(shí)上,主體內(nèi)省與非內(nèi)省具有質(zhì)的差別。從主體的數(shù)量上看,可簡(jiǎn)單分為單主體和多主體。單主體內(nèi)省相對(duì)較簡(jiǎn)單,因?yàn)閮?nèi)省是針對(duì)個(gè)體而言的。多主體內(nèi)省則相對(duì)較復(fù)雜,主要體現(xiàn)在三個(gè)方面:一是內(nèi)省的主體范圍擴(kuò)大;二是個(gè)體間的認(rèn)知差異;三是多主體的一致性問(wèn)題。所以,在涉及多主體時(shí),特別需要考慮的是信息的動(dòng)態(tài)特征,而動(dòng)態(tài)特征需要結(jié)合一定的語(yǔ)境。在語(yǔ)境的視域下,人們通過(guò)交流獲得新的信息,由于新信息的加入,靜態(tài)處理的方式已然不能滿足當(dāng)下的情況,所以需要引入動(dòng)態(tài)算子進(jìn)行動(dòng)態(tài)化處理,其中一種可靠的方式是主體通過(guò)內(nèi)省處理動(dòng)態(tài)信息,降低信息輸出結(jié)果的錯(cuò)誤率[8],從而使主體做出正確的選擇。同時(shí),當(dāng)主體接收到輸入的信息時(shí),主體的內(nèi)省可以看成是一個(gè)過(guò)濾的過(guò)程,通過(guò)簡(jiǎn)單的過(guò)濾,內(nèi)省主體會(huì)明確所輸入的內(nèi)容,從而確保輸出結(jié)果的正確率。

從主體內(nèi)省的過(guò)程而言,主體的內(nèi)省與認(rèn)知密切相關(guān)。事實(shí)上,每個(gè)人的認(rèn)知都與自身的知識(shí)、信念相關(guān)。試想如下幾個(gè)問(wèn)題:(1)在主體內(nèi)省的過(guò)程中,主體的知識(shí)、信念是如何形成的呢?事實(shí)上,主體的知識(shí)與信念會(huì)隨著信息的變更而變化。(2)影響主體行為的決定因素是什么?[9]影響主體行為的因素主要有環(huán)境、主體的認(rèn)知、事件發(fā)生的先后順序等等。(3)內(nèi)省會(huì)影響行為的變化嗎?反過(guò)來(lái),行為的變化會(huì)不會(huì)使主體進(jìn)行內(nèi)省呢?關(guān)于前者,內(nèi)省極有可能不會(huì)發(fā)生行為的變化,而是保持原有的行為狀態(tài)。關(guān)于后者的回答,可能會(huì)引發(fā)內(nèi)省,但是需要添加一定的條件。試想,如果主體不進(jìn)行內(nèi)省,主體的認(rèn)知狀態(tài)以及語(yǔ)言表達(dá)力必然會(huì)受到一定的限制。

首先,假設(shè)主體是理性的,那么主體必然具備一定的內(nèi)省能力。通過(guò)內(nèi)省,主體對(duì)自己的行為進(jìn)行反思與升級(jí)。同時(shí),內(nèi)省需要意識(shí)主體有意識(shí)地調(diào)用注意力去關(guān)注自身的感受,而不是去感知自身的感受[10]。所以,認(rèn)知主體在原有認(rèn)知的基礎(chǔ)上,需要進(jìn)一步進(jìn)行知識(shí)更新,盡管更新后只能保證該主體具有自身系統(tǒng)的更新,但是也不能忽略更新的過(guò)程。在這一過(guò)程中,除了上述提及的時(shí)態(tài)算子非常重要之外,每個(gè)主體還應(yīng)該在語(yǔ)言表達(dá)中誠(chéng)實(shí)地表達(dá)自己的想法。那么,在滿足以上條件的基礎(chǔ)上,所有理性主體以及所有理性內(nèi)省主體構(gòu)成的集合就足以進(jìn)行形式化的構(gòu)建。

當(dāng)主體是理性的且具備內(nèi)省的能力時(shí),主體接受到確切的信息后,知道他知道這一確切的信息,從而依據(jù)自己的邏輯系統(tǒng),作出下一步的判斷。在多主體認(rèn)知推理中,出現(xiàn)的多主體認(rèn)知場(chǎng)景和場(chǎng)景中主體對(duì)自我行為的內(nèi)省以及對(duì)他人行為的推理,多應(yīng)用于認(rèn)知科學(xué)、博弈論等領(lǐng)域。同時(shí),在推理中,應(yīng)明確規(guī)定主體成員知道與不知道的內(nèi)容,從而依據(jù)前提得到可靠的結(jié)論,避免出現(xiàn)同一語(yǔ)句在不同語(yǔ)境中的歧義現(xiàn)象。

其次,假設(shè)主體在任何時(shí)候都是內(nèi)省的,那么人們可以意識(shí)到自己的心理狀態(tài),如知識(shí)的狀態(tài)和信念的狀態(tài)。事實(shí)證明,關(guān)于主體知識(shí)或信念狀態(tài)的推理似乎是必要的。如何將主體的自我知識(shí)與擴(kuò)展的信念結(jié)合起來(lái),就會(huì)涉及到知道與相信算子。當(dāng)然,主體可以完全相信或知道一個(gè)為真的命題(p),在這個(gè)真命題中,我們獲得了關(guān)于事件的準(zhǔn)確信息。相反,主體也可以完全相信或知道一個(gè)實(shí)際為假的命題(p),但是為假的信息,在主體信息的更新變化中,會(huì)在現(xiàn)實(shí)中得到驗(yàn)證。無(wú)論是真命題還是假命題,當(dāng)人們?yōu)榱双@取一個(gè)新的信息時(shí),就需要主體對(duì)自己信念進(jìn)行修正,主體內(nèi)省就是最佳修正方式。在單主體的結(jié)構(gòu)中,主體通過(guò)內(nèi)省不斷利用已有信息驗(yàn)證命題是假的,從而得出正確的結(jié)論。一定程度上而言,在多主體的結(jié)構(gòu)中,每個(gè)主體都可以知道某一信息。當(dāng)然,每個(gè)主體也可以知道其它主體知道的信息,與此同時(shí),又有可能某些主體不知道這一信息,所以,在此過(guò)程中,主體的內(nèi)省作用就得到了有效發(fā)揮。因?yàn)橥ㄟ^(guò)內(nèi)省,主體可以明確地知道自己的所知與無(wú)知,以及根據(jù)已有信息,對(duì)其它情況進(jìn)行有效推理。

與此同時(shí),如果我們把信念的概念增加到該語(yǔ)言中,并且假設(shè)系統(tǒng)能夠識(shí)別主體的信念是否為內(nèi)省的,那么,主體就可以通過(guò)內(nèi)省將知識(shí)和錯(cuò)誤信念區(qū)分開(kāi)來(lái),并從信息變化中篩選出有效的信息,從而使自己的知識(shí)與自己的信念保持一致。為了能夠準(zhǔn)確區(qū)分知識(shí)和錯(cuò)誤信念,主體在學(xué)習(xí)活動(dòng)之前必須了解信息的來(lái)源。如果主體不能準(zhǔn)確地知道信息的來(lái)源是否表征了現(xiàn)實(shí),主體就不知道信息的來(lái)源。當(dāng)然,當(dāng)主體知道某件事,但不知道他們是如何知道的時(shí)候,就涉及到完美回憶失敗的問(wèn)題。同時(shí),主體并不總是有能力知道他們知道的內(nèi)容。通常,由于事件的內(nèi)容和結(jié)果是隱晦的,所以主體就會(huì)出現(xiàn)無(wú)知的狀態(tài),但是,從邏輯視角來(lái)講,無(wú)知與未知有助于主體知識(shí)的更新。假設(shè)主體有足夠的證據(jù)可以排除p的情況,并且主體一旦具有p的真實(shí)體驗(yàn),他就知道p是真的。以主體知道算子為例,主體用“A”(a,b,c……n)表示有窮個(gè)個(gè)體,“知道”用“K”算子表示,“Del”表示刪除,且把正負(fù)內(nèi)省各分為四個(gè)等級(jí),如表1所示:

表1 主體內(nèi)省程度層級(jí)(以主體a為例)

從表1可知,主體內(nèi)省程度層級(jí)表可分為兩個(gè)方向(正、負(fù)),四個(gè)等級(jí)(一點(diǎn),一些,許多,完全),八個(gè)層次(+,++,+++,++++,----,---,--,-),在八個(gè)層次中,可以與自然數(shù)形成一一對(duì)應(yīng)的關(guān)系(1,2,3,4,-1,-2,-3,-4)。簡(jiǎn)言之,即“兩方向、四等級(jí)、八層次”。在負(fù)內(nèi)省中,“知道不知道一點(diǎn)”僅指主體只是有一點(diǎn)問(wèn)題是未知的狀態(tài),其它內(nèi)容都是已知的情況。所以,為了避免歧義,表1中的最后一行,從形式上看,通過(guò)內(nèi)省程度層級(jí)進(jìn)行標(biāo)識(shí)以及對(duì)應(yīng)關(guān)系,就可以對(duì)此進(jìn)行澄清。

因此,可以構(gòu)建一個(gè)時(shí)間模型M,并且基于時(shí)間邏輯進(jìn)行部分的變體。模型可以指派給命題字母兩個(gè)方向:V+(p)以及V-(p)。其中,肯定和否定的概念會(huì)在時(shí)間運(yùn)算符中得到很好的解釋,并且V+(p)∪V-(p)將會(huì)保持所有之前的斷定。

再次,假設(shè)主體在交流過(guò)程中有完美的記憶力,能清楚記得之前所發(fā)生的任何事件。同時(shí),依據(jù)主體所知狀態(tài),又可以將其分為“全知”“無(wú)知”與“半知”的狀態(tài)。事實(shí)上,“全知”是人們的一種理想期待,因?yàn)楝F(xiàn)實(shí)中的個(gè)體不可能知道全部事情的,至少就目前而言,事實(shí)是這樣的。“無(wú)知”是指主體對(duì)于某事不清楚,甚至不知道相關(guān)內(nèi)容。“半知”相對(duì)比較符合現(xiàn)實(shí)狀況,主要涉及主體對(duì)于某事是不確定的,因?yàn)楝F(xiàn)實(shí)中人們的確是呈“半知”的狀態(tài),這是由主體只能獲得有限的知識(shí)所決定的。當(dāng)然,主體的認(rèn)知狀態(tài)在一定程度上會(huì)因主體的內(nèi)省而發(fā)生變化。通過(guò)內(nèi)省,主體從一種認(rèn)知狀態(tài)轉(zhuǎn)換成另一種認(rèn)知狀態(tài),但這種狀態(tài)持續(xù)的時(shí)間長(zhǎng)短是不確定的。

最后,主體內(nèi)省也存在其局限性。在推理的過(guò)程中,內(nèi)省發(fā)揮著重要作用。主體會(huì)受到限定條件的約束,如記憶的長(zhǎng)度、知識(shí)的寬度、看問(wèn)題的角度等等,但這些都無(wú)法阻止主體以內(nèi)省的方式進(jìn)行反思。然而,隨著時(shí)間的推移,動(dòng)態(tài)推理出現(xiàn)在人們的視野中,并且伴隨著主體的不斷加入、事件的不斷變化,復(fù)雜性也日益明顯。這就尤其需要內(nèi)省的加入并對(duì)推理產(chǎn)生一定影響。盡管關(guān)于內(nèi)省的爭(zhēng)議頗大,但卻不能忽略內(nèi)省在邏輯推理中所扮演的重要角色。由于主體不斷地學(xué)習(xí),其知識(shí)與信念也會(huì)不斷地發(fā)生變化,這對(duì)于復(fù)雜性推理尤為重要。

五、結(jié)論

如前文所述,以內(nèi)省為代表的第一人稱(chēng)方法盡管存在爭(zhēng)議,但是在S4和S5之間構(gòu)建的系統(tǒng),必然會(huì)有一套特定的內(nèi)省原則,這一內(nèi)省原則有待我們進(jìn)一步探究。基于此,本文通過(guò)增加時(shí)態(tài)算子對(duì)內(nèi)省進(jìn)行擴(kuò)充的方式,以期為內(nèi)省提供一種新的解決問(wèn)題的方案。本質(zhì)上,關(guān)于內(nèi)省困境的兩種解決方案,使得我們對(duì)內(nèi)省產(chǎn)生新的認(rèn)知,以及將知識(shí)、信念、內(nèi)省有機(jī)結(jié)合,使得主體認(rèn)知更上一層臺(tái)階,而且對(duì)于理性思考的主體而言,內(nèi)省本身也是解決問(wèn)題的一種方式。所以我們致力于強(qiáng)調(diào)內(nèi)省在實(shí)際生活中以及邏輯思考中的作用。