當(dāng)代形式邏輯引論

前言

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

內(nèi)容概要

　　 作為真正的邏輯科學(xué)的傳統(tǒng)形式邏輯源遠(yuǎn)流長，具有始終深深地植根于和自然語言形影不離的普通邏輯思考實(shí)際、在理論上堅(jiān)持論證不許循環(huán)等深刻正確的主導(dǎo)思想，向人類認(rèn)識(shí)世界、改造世界提供效能卓著的從已知獲取新知的工具。《當(dāng)代形式邏輯引論》原創(chuàng)性地研究并清晰而準(zhǔn)確地闡述了概念、命題、邏輯定理、邏輯證明，以及在各方面的應(yīng)用。

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    當(dāng)代形式邏輯引論 PDF格式下載

---