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

前言

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

作者簡(jiǎn)介

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

書(shū)籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

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

---

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

---