邏輯的歷程

內(nèi)容概要

　　《邏輯的歷程》主要選編了自北京大學(xué)哲學(xué)系邏輯教研室成立以來(lái)，邏輯教研室教師的部分有代表性的研究成果，個(gè)別論文上溯到40年代。這些論文，反映了北京大學(xué)邏輯學(xué)研究的發(fā)展，反映北京大學(xué)哲學(xué)系幾代人在邏輯學(xué)領(lǐng)域的艱苦耕耘。這些論文也是中國(guó)的邏輯學(xué)、特別是現(xiàn)代邏輯發(fā)展的一個(gè)縮影，也從一個(gè)側(cè)面講述了中國(guó)的現(xiàn)代邏輯從引進(jìn)到與國(guó)際接軌、一直到成為國(guó)際邏輯研究的一部分的艱難歷程。邏輯學(xué)博士的博士論文是北京大學(xué)邏輯學(xué)研究的重要組成部分，所以論文集還選編了自1988年至2011年的全部博士論文的論文摘要。

書籍目錄

前言
論蘊(yùn)涵
m-VALUED SUB-SYSTEM OF （m+n）-VALUED
PROPOSITIONAL CALCULUS
邏輯課程的現(xiàn)代化
試述《墨辯》中若干范疇的理論
略述現(xiàn)有形式邏輯存在的主要問題及其
解決途徑
傳統(tǒng)邏輯與數(shù)理邏輯
黑格爾怎樣評(píng)論形式邏輯的作用與局限性
關(guān)于形式化的幾個(gè)問題
等度和不等度的結(jié)構(gòu)及在P-T度下集合的
分離性質(zhì)
二重命題邏輯系統(tǒng)B4
辯證思維議
主次條件句邏輯
涵義語(yǔ)義與關(guān)于概稱句推理的詞項(xiàng)邏輯
HOW G8del Relates Platonism to
Mathematics
The Applicability of Mathematics as a Scientific
and a Logical Problem
Proper Names，Contingency A Priori and Necessity
A Posteriori
0n Axiomatizatio of Public Announeement
Logic
附錄歷屆博士生論文摘要

章節(jié)摘錄

　　這里所說現(xiàn)有的形式邏輯，是指目前在我國(guó)高等院校課堂上所講授的，既包括演繹邏輯也包括歸納邏輯，用自然語(yǔ)言來(lái)表述的，以思維的邏輯結(jié)構(gòu)的規(guī)律為研究對(duì)象的邏輯?！　〗▏?guó)以來(lái)，這門科學(xué)正在我國(guó)廣大群眾中進(jìn)行普及。實(shí)踐證明，形式邏輯所提供給人們的規(guī)則和規(guī)律是正確思維的必要條件，它對(duì)規(guī)范人們正確地去思維是起著一定作用的?！　〉牵@門科學(xué)由于歷史的原因，也還是存在著問題的。因此，過去曾經(jīng)有人認(rèn)為形式邏輯不過是形而上學(xué)或形而上學(xué)的別名；現(xiàn)在還有人認(rèn)為“它已經(jīng)陳舊，毫無(wú)價(jià)值了”。這種看法對(duì)形式邏輯采取根本的否定態(tài)度，他們否定了兩千年來(lái)人類長(zhǎng)期思維實(shí)踐所總結(jié)的這個(gè)寶貴的歷史遺產(chǎn)，否認(rèn)了它是來(lái)源于客觀實(shí)際，而又經(jīng)歷了人類長(zhǎng)期思維實(shí)踐的驗(yàn)證這一歷史事實(shí)，他們只看到了形式邏輯在歷史發(fā)展過程中受形式主義和形而上學(xué)影響的一面，因而把這門科學(xué)囫圇地和形式主義、形而上學(xué)等同起來(lái)。根據(jù)他們的看法，作為一個(gè)“辯證唯物主義者”對(duì)形而上學(xué)、形式主義既然應(yīng)采取否定的態(tài)度，那么對(duì)形式邏輯自然也應(yīng)持否定態(tài)度。持這種看法的同志，雖然標(biāo)榜著辯證唯物主義，但實(shí)際上卻不自覺地運(yùn)用了形而上學(xué)的片面性看法，用不分污水和嬰兒一起潑掉的辦法來(lái)對(duì)待形式邏輯，這顯然是要不得的。不過，這也不是說對(duì)現(xiàn)有的形式邏輯就應(yīng)該采取全面肯定的態(tài)度，不面對(duì)現(xiàn)實(shí)的發(fā)展變化，而僵死在既有的框框上裹足不前。列寧早就指出形式邏輯必須“修正”，可是他卻并未提出“取消”或“消滅”，意思就是：這門科學(xué)還有存在的價(jià)值，應(yīng)該生存下去；只是還有些缺陷和問題，因而又必須“修正”?！　⌒问竭壿嬍莾汕陙?lái)人類思維實(shí)踐的總結(jié)，是寶貴的歷史遺產(chǎn)，是任何人也消滅不了的，因?yàn)樗怯袌?jiān)實(shí)的客觀基礎(chǔ)的，是并不以人的愛恨為轉(zhuǎn)移的。但是由于客觀現(xiàn)實(shí)的發(fā)展變化，以及人的認(rèn)識(shí)水平的不斷提高，形式邏輯作為人們對(duì)客觀現(xiàn)實(shí)某一方面特性的認(rèn)識(shí)規(guī)律的總結(jié)，自然不能不有相應(yīng)的變化和發(fā)展，特別是由于形式邏輯在歷史上長(zhǎng)期受到形而上學(xué)和形式主義、唯心主義的影響，這就不僅是豐富和發(fā)展的問題，同時(shí)也包括“修正”或改造的問題，這是很自然的事情?！　∧敲?，現(xiàn)有形式邏輯存在的主要問題在哪里？我感到，問題在于它和實(shí)際相脫節(jié)。這表現(xiàn)在兩個(gè)主要方面。　　……

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    邏輯的歷程 PDF格式下載

---