本文關鍵詞：奎因與模態(tài)邏輯的發(fā)展——關于模態(tài)邏輯的合法性論爭，由筆耕文化傳播整理發(fā)布。

文檔介紹：
蘇州大學碩士學位論文奎因與模態(tài)邏輯的發(fā)展——關于模態(tài)邏輯的合法性論爭姓名:聶成麗申請學位級別:碩士專業(yè):外國哲學指導教師:朱建平20090401奎因與模態(tài)邏輯的發(fā)展中文摘要中文摘要現(xiàn)代模態(tài)邏輯是一種擴展邏輯,它是經(jīng)典邏輯加上模態(tài)算子進行擴張而形成的新形式系統(tǒng),它能適用于經(jīng)典邏輯先前所不能形式處理的模態(tài)論證。只是這種擴張不僅涉及到語形層次的修改,而且勢必會要求對語義學進行創(chuàng)新。但是,在模態(tài)邏輯發(fā)展初期所建立的各種模態(tài)系統(tǒng),并沒有提出比較完善的語義學解釋,所以引起了當時許多學者的質(zhì)疑�？�(W.V.Quine)最先對模態(tài)邏輯的合法性提出了詰難,他認為“一階語言對他的哲學理論進行整編,會使哲學理論具有普遍性、系統(tǒng)性及哲學上的透明性’’。①而模態(tài)邏輯需要在經(jīng)典的一階語言的基礎上增加“必然的”、“可能的”等暖昧性的模態(tài)算子,這樣就等于使邏輯語言增加了模糊、歧義及不必要的復雜性,與他所追求的“科學理論要具有精確的統(tǒng)一形式”o的哲學思想不相符合。所以奎因分別從動機、來源、模態(tài)詞的指稱和解釋等方面對模態(tài)詞邏輯進行了全面而又機智的批判,他最后的結(jié)論是“整個模態(tài)邏輯都應該取消’’。@奎因的上述詰難是深刻而強有力的,它激起了及其強烈的反響和廣泛... 內(nèi)容來自轉(zhuǎn)載請標明出處.

  本文關鍵詞：奎因與模態(tài)邏輯的發(fā)展——關于模態(tài)邏輯的合法性論爭，由筆耕文化傳播整理發(fā)布。