當代形式邏輯引論

出版時間:2009-3  出版社:電子工業(yè)出版社  作者:龔啟榮 等著  頁數(shù):272  
Tag標簽:無  

前言

奉獻給讀者的這部48萬字的著作《當代形式邏輯引論》是貴州大學邏輯學專業(yè)研究生學位授權點領銜導師龔啟榮教授主持的繼2006年在貴州教育出版社出版的專著《當代形式邏輯基礎》之后的又一部頗具特色的邏輯學著作。(一)邏輯科學從何而來?又將向哪里去?這是邏輯學界普遍關注的課題。追本溯源,我國是邏輯科學世界三大發(fā)源地之一。遠在25個世紀前的春秋時期,在李耳(老子)的五千言《道德經(jīng)》中就有關于邏輯規(guī)律的論述?!兜赖陆?jīng)》開宗明義第一句便是:“道可、道非,常道?!边@可稱得上是最早的(比希臘亞里士多德的《工具論》早2個多世紀)關于客觀世界排中律的揭舉:“事件或其否定——常有事件。”“道,萬物之奧?!薄暗溃瑹o為而無不為?!保ň姟兜赖陆?jīng)》)道是萬事萬物(顯然是客觀的)普遍而又奧妙的屬性——事件或事物的邏輯性質(zhì)或稱為邏輯結(jié)構(gòu);盡管任何事件或事物本身并不就是邏輯性質(zhì)或邏輯結(jié)構(gòu)(無為),然而在任何事件或事物中卻無所不在地深藏著邏輯性質(zhì)或邏輯結(jié)構(gòu)(無不為)。這堪稱是對客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律的最早的精辟而簡要的描述。 邏輯科學在萌芽、形成、發(fā)展過程中,事實上始終在研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。在戰(zhàn)國時期,墨翟的《墨經(jīng)》以“有之必然”、“無之必不然”定義“大故”、“小故”(即“充分條件”、“必要條件”),研究的是客觀世界的邏輯結(jié)構(gòu)——這項科學界說一直被沿用了24個世紀(如,在金岳霖教授的《形式邏輯通俗讀本》中就以“有甲必然有乙”來規(guī)定客觀的充分條件關系);韓非在《韓非子》中揭舉的“不自相矛盾律”“無不陷之矛與不可陷之盾不可同世而立”是含有二元關系且分析到項的客觀世界的邏輯規(guī)律(這比德國學者弗雷格的關系邏輯早21個世紀);古希臘亞里士多德在《工具論》中提出的不矛盾律“任何事物不可能同時具有又不具有某種特性”也是客觀世界的邏輯規(guī)律。然而,由于未明確提出客體邏輯的元邏輯思想,這種自發(fā)的客體邏輯傾向逐漸被湮沒、異化。“形式邏輯”這個名稱的最初出現(xiàn)并提出其研究對象是“思維形式及其規(guī)律”這種思辯邏輯的元邏輯觀點,從時間上說,不晚于康德的《純粹理性批判》(1787年)、黑格爾的《邏輯學》(1816年)。這種觀點與事實上自發(fā)的客體邏輯傾向背道而馳、南轅北轍。自此以后,至少在19、20兩個世紀內(nèi),這種“研究思維形式及其規(guī)律”的思辯邏輯元邏輯觀點在西方漫延,并逐漸占據(jù)正統(tǒng)的主導地位,把在邏輯史上自發(fā)地得出的客體邏輯成果(關于客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律的揭舉)一廂情愿地、想當然地強行納入“思維形式及其規(guī)律”的范疇。應該是把這種被顛倒了的歷史重新顛倒過來的時候了。當前流行的傳統(tǒng)形式邏輯書大都承認“思維的邏輯規(guī)律是對客觀規(guī)律的認識、反映”。既然如此,這種被認識、反映的客觀規(guī)律便是客觀世界的邏輯規(guī)律,這是一;其次,在物理、化學、天文、地質(zhì)等眾多學科中闡明了眾多相應領域中的物理、化學、天文、地質(zhì)等客觀規(guī)律,這種“闡明”本身當然是一種思想,表述出來便是語言文字,當然是對相應客觀規(guī)律的認識、反映,然而,在這些眾多的學科中,從來不曾把這種對相應領域中的客觀規(guī)律的認識本身叫做“思維的物理規(guī)律”、“思維的化學規(guī)律”、“思維的天文規(guī)律”、“思維的地質(zhì)規(guī)律”等,唯獨在傳統(tǒng)形式邏輯書中,把這種對客觀世界的邏輯規(guī)律的認識本身叫做“思維的邏輯規(guī)律”,而把不管是古人還是今人事實上在進行的對客觀世界邏輯規(guī)律的研究稱為“研究思維的邏輯規(guī)律”。“思維”作為宇宙中五類運動形態(tài)(其余四類為機械、量子、化學、生命)中的最高級的運動形態(tài),當然會有結(jié)構(gòu)(似乎也可稱為“形式”)和規(guī)律,然而,古今中外的任何邏輯都不曾對之進行過任何研究(除了按被認識的客觀邏輯結(jié)構(gòu)和規(guī)律起一個相應的名稱,此外,對這種作為思想的認識本身所真正具有的結(jié)構(gòu)和規(guī)律事實上卻一無所知)。難道事情不是這樣嗎?據(jù)說,已故著名邏輯學家詹劍峰教授在給學生講授三段論時先做如下演示:他把眼鏡摘下,放進眼鏡盒,啪的一聲蓋上盒蓋,然后把裝有眼鏡的眼鏡盒放進上衣口袋;用手拍拍口袋,說道:“我的眼鏡在眼鏡盒里,眼鏡盒在這口袋里,所以,我的眼鏡在這口袋里”。他隨即把手伸進口袋,把口袋中(未取出來)的眼鏡盒打開,捏住眼鏡,隨手把眼鏡取出,舉起,并說到:“你們看,果然!”詹教授向?qū)W生們切切實實地演示了客觀世界的第一格第一式三段律(通常用“AAA”表示):空間包含關系(也可叫做類包含關系)的傳遞律。詹教授的這種極度形象生動、有聲有色的實際演示可稱為“顯示客觀邏輯規(guī)律的邏輯實驗”,就像顯示客觀理、化規(guī)律的理、化實驗一樣。流行的眾多形式邏輯學讀物中,沒有一條邏輯理論不是對客觀世界邏輯結(jié)構(gòu)和邏輯規(guī)律的認識和整理,沒有一條邏輯理論是對人的思維的形式結(jié)構(gòu)和思維規(guī)律的認識和整理。迄今為止,人對自己的思維幾乎一無所知。歷來爭論不休的邏輯系統(tǒng)內(nèi)眾多理論問題中,當首推演繹推理能否出新知。傳統(tǒng)形式邏輯始終堅持論證不許循環(huán)、推理的結(jié)論對前提來說是新知。這種黃金般閃光、殊堪珍惜的傳統(tǒng)觀點無疑是應予發(fā)揚光大的可貴歷史遺產(chǎn);然而,自從正統(tǒng)數(shù)理邏輯興起并被一些人視做傳統(tǒng)形式邏輯的現(xiàn)代發(fā)展以來,竟然認為推理式是同語反復的重言式,結(jié)論只不過是部分或全部重復在前提中已出現(xiàn)過的命題。這完全抹殺了邏輯是從已知進入新知的認識宇宙的普遍有效的工具。邏輯客體說倡導者不僅堅持客觀世界具有獨立于人的認識的客觀的邏輯結(jié)構(gòu),而且,還具有不以人的意志為轉(zhuǎn)移的從已有事件必然過渡到新事件的邏輯運演機制——客觀世界的客觀的邏輯規(guī)律。這種在人類誕生前和消失后始終在廣漠無垠的宇宙際運行著的客觀的邏輯運演機制被“會思想的蘆葦”——人類——認識后便是從已知(對已有事件的認識)去得出(對必然過渡的認識)新知(對新事件的認識)的推理、論證。傾心于上述邏輯理論問題的讀者也可以在本著作中覓得相關的論述。當然,您可以贊成(只要“是我而當”,您就是我們的朋友),更可以反對(也只要“非我而當”,那我們就恭恭敬敬地拜您為師);不論您是贊成抑或反對,無論如何,希望您能理解、明白本著作中的闡述。(二)在這本著作的諸多特色中,下述兩個特色最顯著、最突出:認定了邏輯科學的研究對象不是思維形式或符號(包括自然語言和人工語言),而是客觀世界的客觀的邏輯結(jié)構(gòu)和邏輯規(guī)律;在客觀世界的客觀的邏輯規(guī)律中,最重要的則是以具有兩個獨立性的客觀的充分條件關系為結(jié)構(gòu)核心故而能從已有事件必然過渡到新事件的客觀推理律,人認識后便成為可從已有知識去推出新知識的思想推理,用自然語言或符號語言表達出來就是推理句群或推理式。這里,存在著互有緊密聯(lián)系然而卻又有嚴格區(qū)別的下述三者:(1)人類誕生前、消失后,在無邊無涯、無始無終的宇宙中無所不在、永不停息地運行著的客觀的邏輯運演機制——客觀的具有兩個獨立性的推理律;(2)在人類誕生后、消失前,對客觀推理律以迄今不知其內(nèi)在機理的腦神經(jīng)元搭接方式實現(xiàn)的正確反映、如實摹寫——思想推理;(3)為了互相交流,也為了留久傳遠,把思想推理表達成自然語言或符號語言——推理句群或推理式。其中,(1)是獨立于人的意志和認識的像客觀的天體運動、化學反應等一樣的充滿于廣漠綿延的宇宙際的客觀的邏輯規(guī)律;(2)是發(fā)生在人類頭腦中迄今說不清其宏觀、微觀機制的人對客觀的邏輯規(guī)律的意識映像;(3)是意識映像的常用物質(zhì)載體——一串聲音(發(fā)自喉嚨、口腔等發(fā)音器管)或筆道(紙張等物料上的有色可見痕跡)。(1)具有客觀的唯一確定的邏輯結(jié)構(gòu)(像物質(zhì)的化學結(jié)構(gòu)一樣客觀而又確定);(3)則具有約定俗成或依據(jù)(1)人為地規(guī)定的語言結(jié)構(gòu),而約定俗成(某種意義上是根本不曾顧及客觀的邏輯結(jié)構(gòu)而隨心所欲)的自然語言結(jié)構(gòu)與被其所指謂的客觀的邏輯結(jié)構(gòu)之間的關系是多對多關系——多種語言結(jié)構(gòu)表述一種邏輯結(jié)構(gòu)(即語言中的同義現(xiàn)象),而一種語言結(jié)構(gòu)又可表述多種邏輯結(jié)構(gòu)(即語言中的多義現(xiàn)象);(2)是作為宇宙際五種運動形態(tài)中最高級的運動形態(tài),按理也應具有自己的結(jié)構(gòu),然而,包括邏輯科學在內(nèi)的任何科學對此幾乎一無所知,邏輯科學自誕生之日起直到如今自覺或自發(fā)地(對有些人來說是“違心”地)在事實上研究的是(1),并把研究結(jié)果用(3)表達出來,對(2)本身除了依據(jù)(1)起一個相應的名稱外,不曾進行過任何研究。我國作為世界邏輯科學三大發(fā)源地之一,遠在春秋戰(zhàn)國時期就涌現(xiàn)出一批對邏輯科學做出重大貢獻的思想家。在群星閃耀的眾多思想家中最耀眼的可數(shù)墨翟、韓非、荀況、公孫龍等。《韓非子?難一》以淺易通俗的寓言故事舉重若輕地闡明了家喻戶曉、老幼皆知的客觀世界的邏輯規(guī)律不自相矛盾律?!安豢赏蓝ⅰ钡氖菨M足客觀關系“不可陷”、“無不陷”的客觀事物“盾”、“矛”,而并非什么思想或語言;而自相矛盾的思想或語言明明可以同時說出或?qū)懗?;從而,“不自相矛盾律”是客觀事物的,而不是思想或語言的。鑒于韓非子的不自相矛盾律之成立必須分析到客觀的個體變元和2元關系,堪稱古代邏輯科學的輝煌杰作,同時代的古希臘亞里士多德邏輯學不能望其項背。韓非等古代邏輯學家這些彪炳古今的客體邏輯思想照亮了中國以至世界邏輯科學發(fā)展的路程。著作《當代形式邏輯引論》則沿著這條發(fā)展邏輯科學的康莊大道邁步向前。邏輯科學的另一個發(fā)源地是古希臘。被尊稱為傳統(tǒng)形式邏輯開山鼻祖的亞里士多德在《工具論》、《形而上學》等著作中系統(tǒng)地研究了客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。如他對“十范疇”的分析,就在事實上研究了客觀事件的客觀邏輯結(jié)構(gòu)中的一些客觀組成要素:個體、性質(zhì)(一元關系)、關系(多元關系)等;他還樸素然而深刻地揭舉了客觀世界的不矛盾律等客觀的邏輯規(guī)律:“任一事物不能既具有又不具有同一性質(zhì)。”他對客觀的推理律的刻劃則是:“一些事情發(fā)生了,另一些事情必然隨之發(fā)生?!痹谶@種對客觀推理律的刻劃中,難能可貴的是:針對具有客觀的必然過渡關系的客觀的“一些事情”、“另一些事情”,而并非并不具有必然過渡關系的“一些思想(或語言)”。因為,對“思想(或語言)”來說,當一些“思想(或語言)”產(chǎn)生時,另一些“思想(或語言)”可以產(chǎn)生,也可以不產(chǎn)生;可以這樣產(chǎn)生,也可以那樣產(chǎn)生;這與客觀的“事情”完全不同(當一些事情發(fā)生時,另一些事情不可能不發(fā)生,不管人們是否認識、承認)。正由于在客觀推理律中出現(xiàn)的客觀的充分條件關系具有兩個獨立性,根本不是任何真值函數(shù),因此,這本著作特別區(qū)分了純真值和非純真值聯(lián)結(jié)關系,并把重點放在非純真值聯(lián)結(jié)關系上。與此相應地,這本著作區(qū)別了含蘊涵重言式和含充分條件的推導式;前者不具有推導功能,從而不是推導式,只有后者才是真正的推導式。作者在此基礎上,又將含充分條件的真正的推導式再進一步二分為推理式和導出式;前者由于具有兩個獨立性故而能從已知得出新知,后者由于只具有第一獨立性而不具有第二獨立性,因此不能得出新知。任何正確的理論都會獲得實際應用,而是否具有實際應用也是檢驗一種理論是否正確的有效途徑。邏輯理論當然也在此列。鑒于客體邏輯理論當代形式邏輯研究無所不在的客觀世界的邏輯結(jié)構(gòu)和規(guī)律,因此,必然具有非常廣泛的應用領域。在本著作主持人的其他論著中,關于當代形式邏輯在人工智能、計算機科學、數(shù)學、哲學、管理學等方面的應用有較詳細的論述。這本著作第16章關于當代形式邏輯在軍事管理中的應用實例是一種初步嘗試,這也是邏輯應用的一個值得研究的嶄新領域。  這本著作內(nèi)容豐富新穎,值得一讀。這本著作致力于繼承、發(fā)揚傳統(tǒng)形式邏輯固有的客體邏輯方向,堅持傳統(tǒng)形式邏輯將推理作為從已有知識得出新知識的邏輯工具的主導思想,具有眾多特色——上面指出的只是其中較為顯著的。本著作作為一部頗具特色的、根本不同于用數(shù)理邏輯“改造”傳統(tǒng)形式邏輯或用數(shù)理邏輯“取代”傳統(tǒng)形式邏輯的邏輯著作,希望能引起學界賢達的深切關注。

內(nèi)容概要

   作為真正的邏輯科學的傳統(tǒng)形式邏輯源遠流長,具有始終深深地植根于和自然語言形影不離的普通邏輯思考實際、在理論上堅持論證不許循環(huán)等深刻正確的主導思想,向人類認識世界、改造世界提供效能卓著的從已知獲取新知的工具?!懂敶问竭壿嬕摗吩瓌?chuàng)性地研究并清晰而準確地闡述了概念、命題、邏輯定理、邏輯證明,以及在各方面的應用。

作者簡介

龔啟榮,江西景德鎮(zhèn)人。1964年貴州大學畢業(yè)后被選派到貴州省委黨校理論研究班學習并開始從事理論教育工作。系貴州省先進科技工作者、國際符號邏輯協(xié)會會員、BLS國際邏輯學會會員,東亞國際符號學會會員,貴州省社科聯(lián)黍員、貴州省科協(xié)第四屆委員,貴州制約邏輯學會理事長、貴州省邏輯教學研究會會長,任貴州大學邏輯學教授、學術帶頭人、邏輯學研究生點主持人、領銜導師,任責州人民武裝學院督導和邏輯學教授。發(fā)表論著Entailment Logic——A Developmen of TradItion al Logic Our Times(J)(第八屆國際邏輯、科學哲學和科學方法討論會論文集,莫斯科科學出版社1987年)、Entailment Logic And Krlowledge Representation(J)(《符號邏輯雜志》,美國,1992年第1期第57卷),Objee—tivity Logic is Re BesPLogic Instrument of Knowl-edge  Representation(J)(《符號邏輯會刊》,美國,2007年第3期第13卷)、Orthodox Mathematical Logic is Not a Reasoning Theor(J)(《符號邏輯會刊》,美國,2007年第3期第13卷)、《形式邏輯導引》(M)(貴州人民出版社1995年),《邏輯斯諦——又稱“數(shù)理邏輯”的二值數(shù)學》(M)(貴州教育出版社1998年)、《邏輯學》(M)(貴州人民出版社2005年)、《當代形式邏輯基礎》(M)(貴州教育出版社2006年)等100多篇(部)。完成國家電子工業(yè)部、教育部和省級科研課題10余項。曾10余次受國際重要邏輯學術會議邀請并發(fā)表論文。龔啟榮的教學、科研情況在《團結(jié)報》、《貴州日報》、《貴州經(jīng)濟報》、《中國哲學年鑒》、《貴州年鑒》以及一些網(wǎng)站上均有介紹。

書籍目錄

引言 一、邏輯科學在現(xiàn)代科學中的地位 二、傳統(tǒng)形式邏輯與數(shù)理邏輯 三、當代形式邏輯語義學、語構(gòu)學、語用學 四、當代形式邏輯的研究領域、哲學思想和理論觀點第1篇  客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律 第1章  當代形式邏輯語義學基礎(1)——客觀世界的項和事件  1.1  客觀世界的集  1.2  客觀世界的N目組、N目組集和N元關系  1.3  客觀世界的N元函數(shù)關系  1.4  客觀世界的項(TERM)  1.5  客觀世界的原子事件  1.6  客觀世界的真值函數(shù)關系與純真值復合事件  1.7  客觀世界基本的非純真值聯(lián)結(jié)關系——充分條件關系及其兩個獨立性  1.8 客觀世界的導出的非純真值聯(lián)結(jié)關系和非純真值復合事件  1.9  客觀世界的事件 第2章  當代形式邏輯語義學基礎(2)——客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律  2.1  客觀世界的邏輯結(jié)構(gòu)  2.2  客觀世界邏輯規(guī)律的種類  2.3  客觀世界的邏輯定律  2.4  客觀世界的邏輯法則 第3章  邏輯規(guī)律是客觀世界的規(guī)律  3.1  邏輯規(guī)律概述  3.2  邏輯規(guī)律不是思維自身的規(guī)律  3.3  邏輯規(guī)律不是符號自身的規(guī)律  3.4  邏輯規(guī)律是且只能是客觀世界的規(guī)律第2篇  邏輯思考  概念 第4章  邏輯思考概述  4.1  邏輯思考的定義  4.2  邏輯思考的內(nèi)容  4.3  邏輯思考的形式化  4.4  邏輯思考、思考對象、語言載體的關系 第5章  概念第3篇  命題 第6章  原子命題  純真值復合命題 第7章  非純真值復合命題第4篇  邏輯定理 第8章  推理和導出 第9章  非推導邏輯定理第5篇  傳統(tǒng)形式邏輯直言命題及其推導理論簡介 第10章  傳統(tǒng)形式邏輯直言命題 第11章  傳統(tǒng)形式邏輯直言命題推導第6篇  邏輯證明及其認識論意義 第12章  邏輯證明與證實 第13章  邏輯證明的認識論意義第7篇  對邏輯科學發(fā)展的進一步研究 第14章  對傳統(tǒng)形式邏輯讀物中一些問題的討論 第15章  關于邏輯證明哲學意義的深入探討 第16章  當代形式邏輯基礎理論在軍事管理中的應用研究實例結(jié)語  邏輯科學的定義后記參考文獻

章節(jié)摘錄

插圖:第1篇 客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律第1章 當代形式邏輯語義學基礎(1)——客觀世界的項和事件1.1 客觀世界的集1.1.1 對象、個休與集對象就是可以對之思考的一切。實物是對象,性質(zhì)、關系也是對象;物質(zhì)是對象,意識也是對象。意識只不過是人腦這個高度發(fā)展了的實物的屬性,一經(jīng)產(chǎn)生,也便可以對之思考。然而,盡管如此,正在進行的思考卻不可能以自身為思考對象。這個事實稱為思考的不自返律。當然,某個思考一經(jīng)完成,另起的思考便可以以之為對象。在思考時不對之進行分解的單個對象稱為個體。譬如,當人們在做各種不同的思考而分別以銀河系、地球、大興安嶺森林、一棵樹、一個細胞、一個分子、一個原子、一個電子等為不對之進行分解的單個對象時,銀河系、地球、大興安嶺森林、一棵樹、一個細胞、一個分子、一個原子、一個電子等,就分別是個體。通常以斜體小寫拉丁字母e、右上角加撇e或右下角加下標e,i(i為自然數(shù))表示個體。人們在討論問題時,不可能從嘴里噴出一個個體月亮,也不可能在紙面上放上一個個體國家,而只能使用表示個體月亮或國家的符號。在當代形式邏輯語義學的范圍內(nèi),使用符號只不過是手段,討論為符號所指稱的個體才是目的。宇宙在結(jié)構(gòu)層次上沒有最小的不可再分的起點,然而,人們對宇宙結(jié)構(gòu)層次的認識卻必須有也只能有一個起點。個體就是當代形式邏輯語義學研究宇宙的結(jié)構(gòu)層次的起點。

編輯推薦

《當代形式邏輯引論》為電子工業(yè)出版社出版發(fā)行。

圖書封面

圖書標簽Tags

評論、評分、閱讀與下載


    當代形式邏輯引論 PDF格式下載


用戶評論 (總計1條)

 
 

  •   著作《當代形式邏輯引論》是貴州大學邏輯學專業(yè)研究生學位授權點領銜導師龔啟榮教授主持的繼2006年在貴州教育出版社出版的專著《當代形式邏輯基礎》之后的又一部頗具特色的邏輯學著作?!肮び破涫拢叵壤淦?。”在諸多領域,形如科研、法律、經(jīng)濟、文化、國防,邏輯科學是必不可少的理論工具。一部指導思想正確的、理論科學的、具有實用性的邏輯著作,對我們的社會主義建設事業(yè)所發(fā)揮的作用是難以估量的,是舉足輕重的。龔啟榮教授所撰寫的該著作,以辨證唯物主義為指導思想,能如實準確的刻畫客觀現(xiàn)實世界,具有很強的實用性,是一部新的工具論。該著作認定了邏輯科學的研究對象不是思維形式或符號(包括自然語言和人工語言),而是客觀世界的客觀的邏輯結(jié)構(gòu)和邏輯規(guī)律;在客觀世界的客觀的邏輯規(guī)律中,最重要的則是以具有兩個獨立性的客觀的充分條件關系為結(jié)構(gòu)核心故而能從已有事件必然過渡到新事件的客觀推理律,人認識后便成為可從已有知識去推出新知識的思想推理,用自然語言或符號語言表達出來就是推理句群或推理式。這里,存在著互有緊密聯(lián)系然而卻又有嚴格區(qū)別的下述三者:(1)人類誕生前、消失后,在無邊無涯、無始無終的宇宙中無所不在、永不停息地運行著的客觀的邏輯運演機制——客觀的具有兩個獨立性的推理律;(2)在人類誕生后、消失前,對客觀推理律以迄今不知其內(nèi)在機理的腦神經(jīng)元搭接方式實現(xiàn)的正確反映、如實摹寫——思想...推理;(3)為了互相交流,也為了留久傳遠,把思想推理表達成自然語言或符號語言——推理句群或推理式。其中,(1)是獨立于人的意志和認識的象客觀的天體運動、化學反應等一樣的充滿于廣漠綿延的宇宙際的客觀的邏輯規(guī)律;(2)是發(fā)生在人類頭腦中迄今說不清其宏觀、微觀機制的人對客觀的邏輯規(guī)律的意識映像;(3)是意識映像的常用物質(zhì)載體——一串聲音(發(fā)自喉嚨、口腔等發(fā)音器管)或筆道(紙張等物料上的有色可見痕跡)。(1)具有客觀的唯一確定的邏輯結(jié)構(gòu)(像物質(zhì)的化學結(jié)構(gòu)一樣客觀而又確定);(3)則具有約定俗成或依據(jù)(1)人為地規(guī)定的語言結(jié)構(gòu),而約定俗成(某種意義上是根本不曾顧及客觀的邏輯結(jié)構(gòu)而隨心所欲)的自然語言結(jié)構(gòu)與被其所指謂的客觀的邏輯結(jié)構(gòu)之間的關系是多對多關系——多種語言結(jié)構(gòu)表述一種邏輯結(jié)構(gòu)(即語言中的同義現(xiàn)象),而一種語言結(jié)構(gòu)又可表述多種邏輯結(jié)構(gòu)(即語言中的多義現(xiàn)象);(2)是作為宇宙際五種運動形態(tài)中最高級的運動形態(tài),按理也應具有自己的結(jié)構(gòu),然而,包括邏輯科學在內(nèi)的任何科學對此幾乎一無所知,邏輯科學自誕生之日起直到如今自覺或自發(fā)地(對有些人來說是“違心”地)在事實上研究的是(1),并把研究結(jié)果用(3)表達出來,對(2)本身除了依據(jù)(1)起一個相應的名稱外,不曾進行過任何研究。正由于在客觀推理律中出現(xiàn)的客觀的充分條件關系具有兩個獨立性,根本不是任何真值函數(shù),因此,這本著作特列區(qū)分了純真值和非純真值聯(lián)結(jié)關系,并把重點放在非純真值聯(lián)結(jié)關系上。與此相應地,這本著作區(qū)別了含蘊涵重言式和含充分條件的推導式;前者不具有推導功能,從而不是推導式,只有后者才是真正的推導式。作者在此基礎上,又將含充分條件的真正的推導式再進一步二分為推理式和導出式;前者由于具有兩個獨立性故而能從已知得出新知,后者由于只具有第一獨立性而不具有第二獨立性,因此不能得出新知。任何正確的理論都會獲得實際應用,而是否具有實際應用也是檢驗一種理論是否正確的有效途徑。邏輯理論當然也在此例。鑒于客體邏輯理論當代形式邏輯研究無所不在的客觀世界的邏輯結(jié)構(gòu)和規(guī)律,因此,必然具有非常廣泛的應用領域。在本著作主持人的其他論著中,關于當代形式邏輯在人工智能、計算機科學、數(shù)學、哲學、管理學等方面的應用有較詳細的論述。這本著作第16章關于當代形式邏輯在軍事管理中的應用實例是一種初步嘗試,這也是邏輯應用的一個值得研究的嶄新領域。該著作內(nèi)容豐富新穎,值得一讀。該著作致力于繼承、發(fā)揚傳統(tǒng)形式邏輯固有的客體邏輯方向,堅持傳統(tǒng)形式邏輯將推理作為從已有知識得出新知識的邏輯工具的主導思想,具有眾多特色——上面指出的只是其中較為顯著的。本著作作為一部頗具特色的、根本不同于用數(shù)理邏輯“改造”傳統(tǒng)形式邏輯或用數(shù)理邏輯“取代”傳統(tǒng)形式邏輯的邏輯著作,希望能引起學界賢達的深切關注。 閱讀更多 ›
 

250萬本中文圖書簡介、評論、評分,PDF格式免費下載。 第一圖書網(wǎng) 手機版

京ICP備13047387號-7