形式邏輯

內容概要

　　形式邏輯是一門歷史悠久且具有強大生命力的科學?！缎问竭壿嫛窞椤叭珖叩葞煼秾？平滩摹毕盗兄械囊槐?，從概念、判斷、邏輯思維基本規(guī)律、演繹推理、歸納推理、類比推理、假說、論證這幾方面來闡述了形式邏輯的基本理論及研究對象。全書內容全面，論述嚴謹，結構清楚，可作為師范院校的教材。

作者簡介

金岳霖(1895－1984.10.19) 哲學家、邏輯學家。字龍蓀。湖南長沙人。1914年清華學堂畢業(yè)。后赴美留學，1920年獲美國哥倫比亞大學政治學博士學位。1921年后游學英、德、法、意等國。1925年回國。歷任清華大學、西南聯(lián)合大學哲學系教授、系主任，文學院院長。 1948 年被選為中央研究院院士。1952年后歷任北京大學哲學系主任、教授，中國科學院哲學研究所副所長、研究員。1955年被聘為中國科學院哲學社會科學部常務委員。同年加入中國共產黨。是中國邏輯學會理事長、名譽理事長，國務院學位委員會委員，全國政協(xié)第二、四至六屆委員，民革中央常委。一生從事哲學、邏輯學研究和教學。在哲學方面，吸收西方哲學的成果，建立了自己獨特的哲學體系；最早把西方哲學中的邏輯分析方法應用于哲學研究；批判了羅素的主觀唯心論，論證了事物的可知性；提出摹狀與規(guī)律的學說。著有《邏輯》、《知識論》等；出版有《金岳霖學術論文選》、《金岳霖文集》等。

書籍目錄

第一章 形式邏輯的對象和作用  第一節(jié) 形式邏輯的對象  第二節(jié) 形式邏輯、數(shù)理邏輯與辯證邏輯  第三節(jié) 形式邏輯的作用第二章 概念  第一節(jié) 概念的特征  第二節(jié) 概念與語詞  第三節(jié) 概念的內涵與外延  第四節(jié) 概念的種類  第五節(jié) 概念間的關系  第六節(jié) 定義    什么是定義    真實定義    語詞定義    真實定義與語詞定義的關系    定義的規(guī)則  第七節(jié) 劃分    什么是劃分    劃分的規(guī)則    二分法    劃分與定義的關系    習題第三章 判斷  第一節(jié) 判斷的特征  第二節(jié) 判斷與語句  第三節(jié) 判斷的種類  第四節(jié) 性質判斷及其相互關系    性質判斷的形式    A．E、I、O之間的真假關系  第五節(jié) A、E、I、O的主項與謂項周延問題  第六節(jié) 關系判斷及其相互關系    關系判斷的形式    關系的對稱性    關系的傳遞性    關系判斷的量項  第七節(jié) 假言判斷  第八節(jié) 選言判斷  第九節(jié) 聯(lián)言判斷  第十節(jié) 負判斷  第十一節(jié) 各種復合判斷之間的關系  第十二節(jié) 模態(tài)判斷  第十三節(jié) 幾種特別的判斷形式  習題第四章 演繹推理  第一節(jié) 推理的特征  第二節(jié) 推理的種類與演繹推理的特征  第三節(jié) 性質判斷的推理：（一）直接推理    換質法    換位法    換質位法    附性法  第四節(jié) 性質判斷的推理：（二）三段論    三段論的定義與組成    三段論的規(guī)則    三段論的格與式    三段論的還原    省略三段論與復合三段論    有關三段論的幾個問題  第五節(jié) 關系判斷的推理  第六節(jié) 復合判斷的推理    假言推理    選言推理    聯(lián)言推理    二難推理    幾種常見的以假言判斷、選言判斷和聯(lián)言判斷為    前提的推理  第七節(jié) 模態(tài)推理    習題第五章 歸納法  第一節(jié) 歸納法的特征  第二節(jié) 觀察、實驗與一些整理感性材料的方法    觀察與實驗    比較、分類、分析與綜合  第三節(jié) 簡單枚舉法與完全歸納法    簡單枚舉法    完全歸納法  第四節(jié) 類比法  第五節(jié) 判明因果聯(lián)系的方法    現(xiàn)象間的因果聯(lián)系    求因果聯(lián)系的五種方法  第六節(jié) 概率與統(tǒng)計    概率    統(tǒng)計方法    應用統(tǒng)計方法時常見的錯誤  第七節(jié) 假說    假說的性質    假說的發(fā)展    假說的作用  第八節(jié) 歸納與演繹的關系    習題第六章 形式邏輯的基本規(guī)律  第一節(jié) 形式邏輯基本規(guī)律的一般性質  第二節(jié) 同一律  第三節(jié) 矛盾律  第四節(jié) 排中律    習題第七章 論證  第一節(jié) 論證及其作用  第二節(jié) 論證的組成  第三節(jié) 論證的種類    演繹論證和歸納論證    直接論證和間接論證  第四節(jié) 論證的規(guī)則    關于論題的規(guī)則    關于論據(jù)的規(guī)則    關于論證方式的規(guī)則  第五節(jié) 反駁  第六節(jié) 幾種不正當?shù)恼撟C和反駁的手法    習題   附錄 邏輯史資料   第一節(jié) 引言   第二節(jié) 古希臘奴隸社會時期的邏輯學說    亞里士多德的邏輯學說    斯多阿派與伊壁鳩魯派的邏輯學說   第三節(jié) 歐洲中世紀封建主義時期的邏輯學說   第四節(jié) 歐洲近代資本主義時期的邏輯學說    培根的歸納邏輯    《波爾羅亞爾邏輯》    康德的邏輯學說    穆勒的歸納邏輯    萊布尼茲到布爾的數(shù)理邏輯   第五節(jié) 中國邏輯思想的發(fā)展    公孫龍的邏輯思想    后期墨家的邏輯思想    荀況的邏輯思想    漢以后邏輯思想的發(fā)展

章節(jié)摘錄

版權頁：插圖：公孫龍的邏輯思想公孫龍（約生于公元前325-315，死于前250？）。曾經是趙國平原君的門客。他的著作原有十四篇，現(xiàn)存六篇。其中《跡府》一篇是后人纂集的關于他的故事。其他五篇是《白馬論》、《指物論》、《通變論》、《堅白論》與《名實論》。公孫龍的邏輯思想，主要是關于概念的討論。他的關于類的理論是有價值的。其次他還提出了可以看作同一律與矛盾律的雛形的說法。他的“白馬非馬”的說法是有名的。僅僅就這一命題本身來看，確實含有詭辯的性質。但他在《白馬論》中所作的關于類與類之間的關系的分析卻并非都是錯誤的。這一點我們將在后面講到。他的關于名與實的關系的理論是建立在他的關于共相的唯心主義哲學理論之上的。他認為共相是一種獨立存在。他的“堅白論”就是企圖論證一塊白石頭的白色和堅硬性是可以獨立存在的。他首先從關于“堅白石”的感覺來進行分析，企圖說明，“堅”與“白”可以互相分離，然后再說明它們可以離開人們的意識而存在。他說：“視不得其所堅而得其所白者，無堅也。，拊不得其所白而得其所堅者，無白也。”(《堅白論》)又說：“得其白．得其堅，見與不見離：不見離。一一不相盈故離，離也者藏也。”(同上)這是說，看的時候感覺不到堅硬性，而只感覺到白色，這時候堅硬性等于沒有。觸的時候感覺不到白色，而只感覺到堅硬性，這時候白色等于沒有?；蛘吒杏X到白色，或者感覺到堅硬性。感覺到的與感覺不到的是彼此分離的。彼此不聯(lián)在一起，所以說是分離。而分離就是藏在自身之中。(公孫龍自己解釋說“藏”是指“自藏”有相當于“潛存”之意)公孫龍的這兩段話是說堅白石的白色和堅硬性是可以彼此分離而存在的。他又說：“且猶白，以目，以火見，而火不見；則火與目不見而神見。神不見，而見離?！?同上)這里所說的“神”即精神作用，也就是指意識；“火”就是光。這是說，例如白色是靠著眼睛和光看見的。但光本身沒有見物的作用，那么光和眼睛合在一起也不能看見，只能是意識在看見，而意識本身也是沒有見物作用的。所以白色是和視覺分離著的。公孫龍在這里是在說明白色等共相是可以離開人類的感覺而獨立存在的。(公孫龍在這里犯了一些邏輯錯誤。因為由眼睛離開了光不能見物和光本身沒有見物作用這樣的前提，不能推出，眼睛和光合在一起也不能看見。)由這一些話可以清楚地看出來，公孫龍主張像“白色”這一類共相是客觀存在的，因之他是客觀唯心主義者?，F(xiàn)在我們來看一下，公孫龍有名的“白馬非馬”的辯論。他在《白馬論》一開頭說：“‘白馬非馬’可乎?曰：‘可’。曰：‘何哉?’曰：‘馬者所以命形也；白者所以命色也。命色者非命形也，故日白馬非馬’。”這是他的第一個論據(jù)。他說，“馬”指形體，“白”指顏色。指顏色的與指形體的不同，所以白馬非馬。他接著說：“曰：‘有白馬，不可謂無馬也。不可謂無馬者；非馬也?有白馬為有馬；白之非馬何也?’曰：‘求馬，黃黑馬皆可致，求白馬，黃黑馬不可致。使白馬乃馬也；是所求一也。所求一一者，白者不異馬也。所求不異，如黃黑馬有可有不可何也?可與不可，其相非明。故黃黑馬一也，而可以應有馬，而不可以應有白馬；是白馬之非馬也審矣。”’這是他的第二個論據(jù)。這是說，如果有人要馬，那么給他黃馬或黑馬都可以，而如果有人要白馬，那么就不可以給他黃馬或黑馬了。由此可見，白馬非馬。他又說：“曰：‘以馬之有色為非馬；天下非有無色之馬也，天下無馬，可乎?’日‘馬固有色，故有白馬。使馬無色，有馬如已耳，安取白馬?故白者非馬也。白馬者馬與白也，白與馬也(原作“馬與白馬也”依譚戒甫《形名發(fā)微》校改)。故日白馬非馬。”’這是第三個論據(jù)。這里他把“白馬”的“白”與“馬”分開來，而說“白馬”是馬與白或白與馬，由此得出結論說，白馬非馬。他接下去又說：“曰：‘以有白馬為有馬；謂有馬為有黃馬，可乎?’曰：‘未可’。曰：‘以有馬為異有黃馬，是異黃馬于馬也。異黃馬于馬，是以黃馬為非馬。以黃馬為非馬，而以白馬為有馬；此飛者入池，而棺槨異處，此天下悖言亂辭也?！薄@是第四個論據(jù)。那就是講，如果說，有白馬就是有馬，而有馬就是有黃馬，顯然是不可以的。既然有馬和有黃馬不同，足見黃馬和馬不同。也就是認為黃馬非馬。既然黃馬非馬，為何不能說，白馬非馬呢?最后他說：“曰：‘白者不定所白，忘之而可也。白馬者言白，定所自也。定所白者非白也。馬者無去取于色，故黃黑皆所以應。白馬者有去取于色，黃黑馬皆以所色去；故惟白馬獨可以應耳。無去者非有去也，故日白馬非馬?！薄@是他的最后的一個論據(jù)。這里他說，馬的顏色是不定的，所以黃色的馬與黑色的馬都可以算作馬，而白馬則在顏色這一屬性方面是固定的，有固定顏色的與沒有固定顏色的是不同的，所以白馬非馬。從《白馬論》中所舉出的一些論據(jù)來看，公孫龍都是先論證白馬與馬不同。然后說，既然白馬與馬不同，因此白馬非馬。他說“異黃馬于馬，是以黃馬為非馬”。由此可以看出，他認為從“甲不同于乙”可以推出“甲非乙”。從現(xiàn)代形式邏輯的觀點來看，“白馬”和“馬”作為兩個類確乎不是同一的。因為白馬類包含在馬類之中，而馬類卻不包含在白馬類之中。在一種意義上說白馬類與馬類不是同一的，這是正確的。公孫龍在說明這一點時所用的論據(jù)也有一部分是正確的。世他更進一步推論說，白馬不是馬，這卻是錯誤的。此外他在《名實論》中討論了名詞(名)與其所指(實)的關系問題。他說：“故彼彼止于彼，此此止于此，可。彼此而彼且此，此彼而此且彼，不可?！?《名實論》)這是說，如果認為那個(彼)就是那個，這個(此)就是這個，是正確的。而如果認為那個也是這個，這個也是那個，則是不正確的。這里提出了名詞的所指必須確定的規(guī)律。前者類似同一律，后者類似矛盾律。

編輯推薦

《形式邏輯》是一門公共課，中文、秘書、黨政、法律、經濟、歷史、政治、教育、管理、軍事等專業(yè)都有開設。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    形式邏輯 PDF格式下載

---