這份講義是當(dāng)代邏輯入門課程的教材,內(nèi)容大約是一階邏輯的前部,可作為教科書或參考書,用于哲學(xué)、數(shù)學(xué)、計(jì)算機(jī)科學(xué)和語言學(xué)等院系的當(dāng)代邏輯課程。希望了解一點(diǎn)當(dāng)代邏輯的各科學(xué)生,也可以把它當(dāng)作課外讀物。 無論在國內(nèi)還是國外,可用于一階邏輯課的教材不少,導(dǎo)論性的教材更多;但兩類教材的脫節(jié)是個(gè)老問題。國外一些教材在導(dǎo)論性內(nèi)容后增加些一階邏輯的內(nèi)容(如完全性定理),其中有的已被國內(nèi)學(xué)者介紹或模仿。但這類教材通常仍只能用于導(dǎo)論課。編寫《符號邏輯講義》的目的之一,就是想把脫節(jié)的教材連起來。說到西方人寫的當(dāng)代邏輯入門教材,不能不提一種現(xiàn)象:越來越多的這類教材是由邏輯界之外的人撰寫的。有一次,美國哲學(xué)界的幾位同事談起部分學(xué)生邏輯水平很低,其中一人開玩笑說,那是你們邏輯學(xué)家的過錯(cuò)——誰讓你們不寫幾本好的初級教科書呢?西方人寫的邏輯教科書,有的很好,有的也很糟。所以,選用這類教材時(shí)要慎重,決不是西方人寫的就一定好。 作為學(xué)科和知識體系,當(dāng)代邏輯并沒有理科當(dāng)代邏輯、上科當(dāng)代邏輯和文科當(dāng)代邏輯之分。任何人著想掌握當(dāng)代邏輯的基礎(chǔ)知識,應(yīng)該學(xué)習(xí)的決不會比其他學(xué)科的人更少。編寫《符號邏輯講義》時(shí),在基本內(nèi)容的選擇上對各學(xué)科讀者一視同仁,但為了使沒經(jīng)過理論數(shù)學(xué)的嚴(yán)格訓(xùn)練的人也能學(xué)好,在寫法上力求從接近直觀的東西入手,循序漸進(jìn)。 作者簡介 武漢大學(xué)哲學(xué)系教授。
|