命名與必然性

命名與必然性是美國當(dāng)代著名邏輯學(xué)家和哲學(xué)家，模態(tài)邏輯語義學(xué)創(chuàng)始人之一的克里普克所著。本書是其代表作。書中所提出的兩個(gè)新理論曾引起西方分析哲學(xué)界持續(xù)10多年的大決戰(zhàn)。

索爾·克里普克(Saul Kripke 1941—)，美國著名的邏輯學(xué)家和哲學(xué)家，模態(tài)邏輯語義學(xué)創(chuàng)始人之一。他少年時(shí)期已顯得頗有才華，16歲念中學(xué)時(shí)寫的一篇關(guān)于模態(tài)邏輯和直覺主義邏輯語義學(xué)的論文，曾引起美國邏輯學(xué)界的注意。后就讀于哈佛大學(xué)，從師于蒯因等人。畢業(yè)后先后在哈佛大學(xué)、哥倫比亞大學(xué)、康乃爾大學(xué)、加州大學(xué)伯克利分校、洛克菲勒大學(xué)、普林斯頓大學(xué)任教，1977年在普林斯頓任哲學(xué)教授，不久升任麥科什(McCosh)講座哲學(xué)教授。他主持過牛津大學(xué)的洛克講座，擔(dān)任過美國的《哲學(xué)邏輯雜志》和《符號(hào)邏輯雜志》以及以色列的《哲學(xué)》雜志的編委。

50年代末至60年代中葉，克里普克側(cè)重于數(shù)理邏輯，特別是模態(tài)邏輯的研究，寫出了《模態(tài)邏輯是一個(gè)完全性定理》(1959)、《關(guān)于模態(tài)邏輯語義學(xué)的研究》(1962)、《模態(tài)邏輯語義分析》(1963—1965)等重要論文，這些...

索爾·克里普克(Saul Kripke 1941—)，美國著名的邏輯學(xué)家和哲學(xué)家，模態(tài)邏輯語義學(xué)創(chuàng)始人之一。他少年時(shí)期已顯得頗有才華，16歲念中學(xué)時(shí)寫的一篇關(guān)于模態(tài)邏輯和直覺主義邏輯語義學(xué)的論文，曾引起美國邏輯學(xué)界的注意。后就讀于哈佛大學(xué)，從師于蒯因等人。畢業(yè)后先后在哈佛大學(xué)、哥倫比亞大學(xué)、康乃爾大學(xué)、加州大學(xué)伯克利分校、洛克菲勒大學(xué)、普林斯頓大學(xué)任教，1977年在普林斯頓任哲學(xué)教授，不久升任麥科什(McCosh)講座哲學(xué)教授。他主持過牛津大學(xué)的洛克講座，擔(dān)任過美國的《哲學(xué)邏輯雜志》和《符號(hào)邏輯雜志》以及以色列的《哲學(xué)》雜志的編委。

50年代末至60年代中葉，克里普克側(cè)重于數(shù)理邏輯，特別是模態(tài)邏輯的研究，寫出了《模態(tài)邏輯是一個(gè)完全性定理》(1959)、《關(guān)于模態(tài)邏輯語義學(xué)的研究》(1962)、《模態(tài)邏輯語義分析》(1963—1965)等重要論文，這些論文樹立了他在模態(tài)邏輯語義學(xué)方面的地位，使他成為模態(tài)邏輯語義學(xué)的創(chuàng)始人之一。60年代末至80年代初，克里普克的研究逐漸轉(zhuǎn)向哲學(xué)方面。他在模態(tài)邏輯語義學(xué)研究的基礎(chǔ)上，提出了許多引人注目的新觀點(diǎn)，這些新觀點(diǎn)在下列論文和專著中得到充分闡述：《同一性與必然性》(1971)、《命名與必然性》(1972)、《真理論概要》(1975)、《說話者的指稱和語義學(xué)的指稱》(1977)、《維特根斯坦論規(guī)則和私人語言》(1982)等等。其中，《命名與必然性》一書是他的第一本代表作，也是他的成名作。

克里普克在《命名與必然性》一書中主要提出兩個(gè)新觀點(diǎn)：一、歷史的、因果的命名理論；二、先驗(yàn)偶然命題和后驗(yàn)必然命題。他的這兩個(gè)新觀點(diǎn)提出后，引起了西方分析哲學(xué)界一場持續(xù)10多年的大論戰(zhàn)。下面，我們將分別概述這兩個(gè)新觀點(diǎn)，并提出一些簡略的評(píng)論。