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

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

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