《北大哲學系百年系慶叢書邏輯的歷程》是2012年北京大學出版社出版的圖書，作者是劉壯虎。
基本介紹
- 書名：北大哲學系百年系慶叢書：邏輯的歷程
- 作者：劉壯虎
- ISBN：7301212046, 9787301212042
- 頁數：280頁
- 出版社：北京大學出版社
- 出版時間：2012-09-01
- 裝幀：平裝
- 開本：16
內容簡介,目錄,部分內容,
內容簡介
《北大哲學系百年系慶叢書：邏輯的歷程》主要選編了自北京大學哲學系邏輯教研室成立以來，邏輯教研室教師的部分有代表性的研究成果，個別論文上溯到40年代。這些論文，反映了北京大學邏輯學研究的發展，反映北京大學哲學系幾代人在邏輯學領域的艱苦耕耘。這些論文也是中國的邏輯學、特別是現代邏輯發展的一個縮影，也從一個側面講述了中國的現代邏輯從引進到與國際接軌、一直到成為國際邏輯研究的一部分的艱難歷程。
邏輯學博士的博士論文是北京大學邏輯學研究的重要組成部分，所以論文集還選編了自1988年至2011年的全部博士論文的論文摘要。
目錄
前言
論蘊涵
m-VALUED SUB-SYSTEM OF （m+n,）-VALUED PROPOSITIONAL CALCULUS......HOO TZU-HUA
邏輯課程的現代化
試述《墨辯》中若干範疇的理論
略述現有形式邏輯存在的主要問題及其
解決途徑
傳統邏輯與數理邏輯
黑格爾怎樣評論形式邏輯的作用與局限性
關於形式化的幾個問題
等度和不等度的結構及在P-T度下集合的
分離性質
二重命題邏輯系統R4
辯證思維議
主次條件句邏輯
涵義語義與關於概稱句推理的詞項邏輯
How Godel Relates Platonism to Mathematics
The Applicability of Mathematics as a Scientific and a Logical Problem
Proper Names, Contingency A Priori and Necessity A Posteriori
On Axiomatizations of Public Announcement Logic
附錄 歷屆博士生論文摘要
部分內容
這裡所說現有的形式邏輯，是指目前在我國高等院校課堂上所講授的，既包括演繹邏輯也包括歸納邏輯，用自然語言來表述的，以思維的邏輯結構的規律為研究對象的邏輯。
建國以來，這門科學正在我國廣大民眾中進行普及。實踐證明，形式邏輯所提供給人們的規則和規律是正確思維的必要條件，它對規範人們正確地去思維是起著一定作用的。
但是，這門科學由於歷史的原因，也還是存在著問題的。因此，過去曾經有人認為形式邏輯不過是形上學或形上學的別名；現在還有人認為“它已經陳舊，毫無價值了”。這種看法對形式邏輯採取根本的否定態度，他們否定了兩千年來人類長期思維實踐所總結的這個寶貴的歷史遺產，否認了它是來源於客觀實際，而又經歷了人類長期思維實踐的驗證這一歷史事實，他們只看到了形式邏輯在歷史發展過程中受形式主義和形上學影響的一面，因而把這門科學囫圇地和形式主義、形上學等同起來。根據他們的看法，作為一個“辯證唯物主義者”對形上學、形式主義既然應採取否定的態度，那么對形式邏輯自然也應持否定態度。持這種看法的同志，雖然標榜著辯證唯物主義，但實際上卻不自覺地運用了形上學的片面性看法，用不分污水和嬰兒一起潑掉的辦法來對待形式邏輯，這顯然是要不得的。不過，這也不是說對現有的形式邏輯就應該採取全面肯定的態度，不面對現實的發展變化，而僵死在既有的框框上裹足不前。列寧早就指出形式邏輯必須“修正”，可是他卻並未提出“取消”或“消滅”，意思就是：這門科學還有存在的價值，應該生存下去；只是還有些缺陷和問題，因而又必須“修正”。
形式邏輯是兩千年來人類思維實踐的總結，是寶貴的歷史遺產，是任何人也消滅不了的，因為它是有堅實的客觀基礎的，是並不以人的愛恨為轉移的。但是由於客觀現實的發展變化，以及人的認識水平的不斷提高，形式邏輯作為人們對客觀現實某一方面特性的認識規律的總結，自然不能不有相應的變化和發展，特別是由於形式邏輯在歷史上長期受到形上學和形式主義、唯心主義的影響，這就不僅是豐富和發展的問題，同時也包括“修正”或改造的問題，這是很自然的事情。
此外，北大哲學系百年系慶叢書還包括《北京大學哲學學科史》《有哲學門以來》《求道集》《求是集》《求真集》《邏輯的歷程》等。
