目前我國(guó)邏輯學(xué)研究的幾個(gè)誤區(qū)

當(dāng)前我們國(guó)家邏輯學(xué)研究的幾個(gè)誤區(qū)當(dāng)前我們國(guó)家邏輯學(xué)研究存往幾個(gè)重大的誤區(qū)，即在邏輯學(xué)研究的幾個(gè)很根本的問(wèn)題上產(chǎn)生大的誤解。討論和澄淸這些誤解有利于我們國(guó)家的饳康發(fā)旭，所以我往此拋磚引玉，以期引起討論。1.邏輯的對(duì)象邏輯的對(duì)象就退指邏〔研究的對(duì)象。當(dāng)前國(guó)內(nèi)很多邏輯學(xué)家以為，邏輯研究的對(duì)象是思維形式及典規(guī)俾,而我以為這種說(shuō)法過(guò)于廣泛。首先,思維規(guī)律銜很多種。例如，從n.體的方面上說(shuō)，我們有兒童的思錐規(guī)沛、精祌病人的思維規(guī)律。這些規(guī)律通常是心理學(xué)家而不是邏軻學(xué)家要研究的東西。從一般的方面上說(shuō)，我們有人的認(rèn)識(shí)規(guī)律。例如，“從感覺(jué)上升到知覺(jué)，丙上升到表象’’逛一種認(rèn)識(shí)規(guī)律，以至通常所謂的“從概念到判定W到推理〞也是一種認(rèn)識(shí)規(guī)律，它們是(哲學(xué))認(rèn)識(shí)論研究的對(duì)象，而不是邏輯研究的對(duì)象。其次，思維形式也柯很多種。例如，從典體的方面上說(shuō)，繪畫(huà)中的抽象派和立體派的，表現(xiàn)了畫(huà)家的一種思維形式，這種思維形式顯然不是邏輯要研究的。從一般的方面上說(shuō)，理論數(shù)學(xué)(即趟礎(chǔ)性很強(qiáng)的數(shù)學(xué)分支，例如，數(shù)詒、幾何、拓?fù)?，以及像模型論或鴃太古的形式語(yǔ)法理論都能夠說(shuō)足研究相當(dāng)一般的思維形式的，至少是從t個(gè)側(cè)面訕行這樣的研究D而這些東西也不是邏輯要研究的I靑則人們也不描耍在它們以外幵辟一門(mén)稱(chēng)為邏輯學(xué)的東西?？傊?邏輯不僅不研究詳細(xì)的思維形式，也不研究全部的、即使足較一般的思維形式。那么，邏輯研究的對(duì)象倒底是什么？有一種說(shuō)法是：“邏鉛研究的對(duì)象足推理假如這是對(duì)外行人做通俗的解釋?zhuān)挂灿幸欢ǖ暮侠碇帲鳛橐粋€(gè)學(xué)術(shù)性的定義卻遠(yuǎn)遠(yuǎn)不夠，不僅很不嚴(yán)格，而且會(huì)引起嚴(yán)的誤解。由于推理具葙很多性質(zhì)，例如，排理的形式、推理的內(nèi)容、推理的長(zhǎng)度、推理迕構(gòu)造上的復(fù)雜度、推理的表述、拙理的可承受性、推理的內(nèi)容也還能夠進(jìn)一步分為詳細(xì)內(nèi)容和抽象內(nèi)容?邏鉗不該該也沒(méi)有必迤研究推理的所有性質(zhì)，比方說(shuō)邏輯不該該研究推理的異體內(nèi)容。為此，一呰邏輯學(xué)家進(jìn)~步指出：“邏輯研究的對(duì)象是推理形式〞。這種說(shuō)法我以為也很有問(wèn)題。一方面，邏輯不該該研究全部的推理形式，例如，黑格爾的〔邏輯學(xué)〕〔黑格爾的“邏輯學(xué)〞在我看來(lái)只是一種哲學(xué))的“正一反一合〞也足一種排理形式，這樣的抑理形式不該該由邏鉗來(lái)研究。另一方面，邏輯除了研究推理的形式以外，還應(yīng)該研究推理的某種抽象的內(nèi)容，即與真(假)莉?yàn)?zāi)的內(nèi)容.這種內(nèi)容通常用正確性或有效性來(lái)表達(dá)4兒正確地說(shuō)，邏輯應(yīng)該研究某類(lèi)推理形式和推理的某種性質(zhì)(某種內(nèi)容)之間的關(guān)系，所以我以為以下說(shuō)法比較合玴。通俗地說(shuō)就足：“邏鉗研究的對(duì)象足推理形式的,IE確性更嚴(yán)格(史帶學(xué)術(shù)性)地說(shuō)就是：“邏軻研究的對(duì)象埕推理形式的有效性〞，當(dāng)然這里橄要緊接葙補(bǔ)充一個(gè)說(shuō)m,即“正確性〞或有效性〞都必需用“真〞這個(gè)概念來(lái)定義(由于從理論上說(shuō)，我們完全有可能用推理形式的其他性質(zhì)(其他內(nèi)容)來(lái)定義“正確性或有效性〞。例如，我們能夠用推理的長(zhǎng)度或構(gòu)造的復(fù)雜度來(lái)定義)這樣的“有效性〃也就是王路先生在其〔論“必定地得出w〕中論述的那個(gè)從前提到結(jié)論的“必定地得出〞關(guān)系〔〔哲學(xué)研究〕，1999年染.10期)。順便說(shuō)一句，歸納推理不是邏輯要研究的對(duì)象由于它們沒(méi)有有效蝕。當(dāng)前所謂的歸納邏洱.H不外逛研究歸納推理之間的必定關(guān)系(有效性)，實(shí)際上還是亦研究演繹推理(歸納推理之間的推理)的有效性。當(dāng)然，邏輒研究的對(duì)象足推理形式的有效性迪種定義，不僅沙及推理的形式，而且還牽涉如理的某種內(nèi)容——打效性，以至強(qiáng)調(diào)了后葙。我以為，只要研究推理形式的有效性，能力把推理的形式和某種內(nèi)容(用真(假)概念定義的有效性)結(jié)合起來(lái)研究，能力把邏輯和諸如理論數(shù)學(xué)、蒙太古理論那樣的形式化理論從實(shí)質(zhì)上區(qū)別開(kāi)來(lái)，由于前者，明確地把有效性作為一個(gè)核心概念來(lái)研究，而后者卻并非如此，它們只研究自己感興趣的東西。當(dāng)然這類(lèi)東西假如看作是用推理表述的，則它們也隱含地(在元理論意義上)斷定這類(lèi)推理的正確性，但以至是所有的學(xué)科，只要它們研究的東西是真諦性的東西，都具有這種性質(zhì)，只是形式化的水平不同而己。明確規(guī)定邏輯研究的對(duì)象是推理形式的有效性，能力消除國(guó)內(nèi)很多人所持有的兩個(gè)嚴(yán)重的誤解。有一部分人以為，邏輯只研究推理的形式，不研究推理的內(nèi)容。事實(shí)上，毫無(wú)內(nèi)容的純推理形式?jīng)]有任何意義，邏輯沒(méi)有需要去研究。另一部分人以為，既然邏輯也研究推理的內(nèi)容，所以，與推理宥關(guān)的內(nèi)容(即使這樣的內(nèi)容與真(假)無(wú)關(guān))都是邏輯研究的對(duì)象，所以T這一部分人熱衷丁?研究推理的認(rèn)識(shí)論性質(zhì)、方法論性質(zhì)，以至泛文化性質(zhì)，而且以為這是對(duì)邏鉺的發(fā)展和創(chuàng)新。最后值得說(shuō)明的是，叨確了邏輯研究的對(duì)象也就在一定.水平上明確了邏輯的形態(tài)。明確邏排的研究對(duì)象是推理形式的有效性，就能使我們嚴(yán)格地定義什么是邏輯：邏輯足一個(gè)刻面推理形式的系統(tǒng)使得這個(gè)系統(tǒng)相對(duì)某個(gè)(解釋排J1形式的)語(yǔ)義(在某種意義上說(shuō)，這種語(yǔ)義是形式化的，通常是從詳細(xì)推理的直觀語(yǔ)義中抽象出來(lái)的)具有可靠性和完全性?？煽啃员硎舅ǖ耐评硇问蕉际怯行У?，而完全性則表示有效的推理形式它都能包括。因而，我定義的邏輯是一個(gè)形式(語(yǔ)形和內(nèi)容(語(yǔ)義〕〔這里我還要強(qiáng)調(diào)一下，形式語(yǔ)義也是一種內(nèi)容，雖然它是一種抽象的內(nèi)容〕相匹配(統(tǒng)‘)的東西。所謂邏輯學(xué)(作為一個(gè)學(xué)科)就是研究這樣的邏輯的學(xué)科。2.邏輯的分類(lèi)我們知道,理輯學(xué)家研沆過(guò)的和正在研究的邏輯是多種多樣的，能夠用不同的標(biāo)準(zhǔn)對(duì)它們進(jìn)行分類(lèi)。這里，我們重要通過(guò)對(duì)邏輯的分類(lèi)來(lái)討論兩個(gè)問(wèn)題1,什么足應(yīng)用邏輯？2、普通邏輯是何物，.有無(wú)研究之需要，荷無(wú)花大學(xué)中講授之需要？閃為在這些問(wèn)題上，很多人，包含很多摘邏輯的人，產(chǎn)生了很大的誤解。下面我首先提出自己的分類(lèi)理論，然后論和澄濟(jì)上述誤解。粗略地說(shuō)，與邏輯具有親密關(guān)系的理論有五大類(lèi)：邏輯哲學(xué)、邏輯惡礎(chǔ)、蕋礎(chǔ)邏輯、應(yīng)用邏輯、邏輯的應(yīng)用理論，與中只要駐礎(chǔ)邏輯和應(yīng)用邏輯是邏輯。更具體地，我們能夠如下說(shuō)明：1、邏輯哲學(xué)：討論真(假)概念的理論、討論可能的實(shí)質(zhì)的理論。2、邏輯蕋礎(chǔ)：集合論、模型論、遞歸論。3、蕋礎(chǔ)邏輯：經(jīng)典命題邏輯、一階謂詞邏輯(這種邏輯不牽涉函數(shù)運(yùn)算).4、應(yīng)用邏輯：①數(shù)學(xué)領(lǐng)域：數(shù)理邏輯(mathematicallogic,指.牽涉函數(shù)的一階邏輯)、概率邏輯。②人工智能領(lǐng)域：非單調(diào)邏輯、欠缺邏輯.③哲學(xué)領(lǐng)域：本體論方面：模態(tài)邏輯、時(shí)態(tài)邏輯，認(rèn)識(shí)論方面：認(rèn)知邏輯、，倫理學(xué)方而：道義邏輯。5、邏輯的伙用理論:卡爾納普的歸納語(yǔ)義理論、紮太古的形式語(yǔ)法理論。爻于這個(gè)分類(lèi)理論，我們柯幾點(diǎn)铞要說(shuō)明：第一，邏射哲學(xué)圯用分析、思辯的手段討論邏輯的哲學(xué)趣礎(chǔ)的理論，厲于哲學(xué)，而邏輯蕋礎(chǔ)則是—些形式理論，它們是支撐遝糾的形式化蕋礎(chǔ)。笫二，公理集合論在一定的意義上能夠宥作是~種比較特殊的邏輯，而不是邏輯蕋礎(chǔ)，但通常我們把它們歸入邏輯惡礎(chǔ)，由于人們?cè)谘芯抗砑险摃r(shí)通常重視的是有關(guān)集合的規(guī)律，而不是可靠性定理和完全性定理。第三，蕋礎(chǔ)邏輯也稱(chēng)為純邏輯，能夠說(shuō)其他所銜邏軻都是它們的推廣或修正。在這樣的笟義上，我們稱(chēng)它們是基礎(chǔ)邏應(yīng)用邏輯是基礎(chǔ)邏樹(shù)應(yīng)用于架個(gè)詳細(xì)領(lǐng)域而產(chǎn)生的邏輯。第四，我們把所有的邏輯簡(jiǎn)單地分為菡礎(chǔ)邏輯和應(yīng)用邏輯是相當(dāng)簡(jiǎn)約的，這只足為了回答什么是應(yīng)用邏輯這個(gè)問(wèn)題。-K實(shí)，有些邏輯只不外是蕋礎(chǔ)邏輯的直接推廣，它們能夠算是應(yīng)用邏輯，可以以不算，由于它們究竟不足應(yīng)用于架個(gè)詳細(xì)領(lǐng)域的邏輯。例如，高階邏輯、無(wú)窮邏輯、廣義量詞邏輯。第五，應(yīng)用邏輯和馳礎(chǔ)邏栂之間沒(méi)銜嚴(yán)格的界限。這句話(huà)一方面是說(shuō)，駐礎(chǔ)邏輯能夠轉(zhuǎn)化為應(yīng)用邏輯。例如，用二元謂詞能夠定義函數(shù)。另一方面是說(shuō)，應(yīng)用邏鉺經(jīng)過(guò)歷史的積淀可以以轉(zhuǎn)化為蕋礎(chǔ)邏鋤。例如,如今國(guó)內(nèi)招收邏輯學(xué)研究生強(qiáng)調(diào)要學(xué)好兩門(mén)蕋礎(chǔ)課：數(shù)理邏輯和模態(tài)邏輯，這就說(shuō)明渉及函數(shù)運(yùn)算的一階邏輯已經(jīng)成為駐礎(chǔ)邏輯，模態(tài)邏輯也轉(zhuǎn)化為一種避礎(chǔ)邏輯.第六，邏輯的應(yīng)用理論還不足邏輯標(biāo)記是還沒(méi)有抽象出一個(gè)相對(duì)某個(gè)形式語(yǔ)義具荷可靠性和完全性的形式系統(tǒng)。上述分類(lèi)挫論所奉行的標(biāo)準(zhǔn)相蠱水平上逛國(guó)際皿用的，只袈讀者參閱一下國(guó)外的邏輯雜志(例如，〔純邏鉗與應(yīng)用邏輯〕、〔符號(hào)邏鉗雜志〕、〔哲學(xué)邏輯雜志〕〕就一目了然。但是，國(guó)內(nèi)當(dāng)前還祈很多摘邏輯的人，由于各種損因，搞不懂模態(tài)邏輯、時(shí)態(tài)邏輯等應(yīng)用邏鉺的實(shí)質(zhì)，就把我們上述總義上避礎(chǔ)邏輯和應(yīng)用邏機(jī)都涪作逛純形式的邏ti,而把自己一些覽名批妙的東西宥作足應(yīng)用邏輯。例如，他們通?；ㄆ胀ㄟ壿嫷目蚣苤屑由弦恍┓╛上或經(jīng).濟(jì)上的例子就自稱(chēng)建立了一門(mén)法律邏輯或經(jīng)濟(jì)邏輯，當(dāng)然，我在這里的意思不是說(shuō)我們不能建立一門(mén)法律邏輯，而是說(shuō)上述做法行不通。假如我們用騅礎(chǔ)邏輯去研究法瀋領(lǐng)域的搖本概念，進(jìn)而定義法律推理形式的有效性，我們是能夠逑立一門(mén)法律邏輯的，但這樣的邏輯并不等于普通邏輯加上法俥方而的舉例。這狴人之所以銜上述誤解，重要是由于往他們看來(lái),形式化的邏輯(匹配形式語(yǔ)義的形式系統(tǒng))不可能煶應(yīng)用邏糾，他們不了醉某個(gè)詳細(xì)領(lǐng)域中的概念可以以從中抽取出形式語(yǔ)義，進(jìn)而建立一門(mén)既是形式的又是應(yīng)用的邏輯！下面我們來(lái)討論第二個(gè)問(wèn)題，即普通邏輯煶什么東西，還有無(wú)研究之需要，有無(wú)在大學(xué)中講授之需要？這里之所以討論此間題是由于它也牽涉到邏糾的分類(lèi)理論，當(dāng)前國(guó)內(nèi)邏軟界流行這樣一種分類(lèi)標(biāo)準(zhǔn)，即把邏輯分為普逝邏輯和現(xiàn)代邏前者皿常也稱(chēng)為傳統(tǒng)邏輯、形式邏鉺(形式邏輯這個(gè)名詞有些濫用，國(guó)內(nèi)的人通常用它來(lái)表示普通邏枓，國(guó)外的人通常用它來(lái)表示符號(hào)邏輯.我以為用它來(lái)指稱(chēng)符號(hào)邏輯比較恰當(dāng)〕，后者稱(chēng)為符號(hào)邏輯.國(guó)內(nèi)有很多人之所以提出普通邏輯和現(xiàn)代邏輯的分法，是由于他們以為普通邏鉗和現(xiàn)代邏鉗足兩種截然不同的邏輯，至少足兩種相當(dāng)不同的邏輯，不能混這些人弄不懂符號(hào)邏輯，只好以研究和講授普通邏輯聊以自慰。我們只要苕卷國(guó)內(nèi)這一二十年出版的有關(guān)普通邏輯的大量論文和教學(xué)材料就能知道。我以為，這是一個(gè)非常嚴(yán)重的問(wèn)題.這些做法正在把邏輯學(xué)引向誤區(qū)，導(dǎo)致我們國(guó)家邏輯學(xué)研究和教學(xué)向非常不健康的方向發(fā)展，我以為，只葙在研究邏輯丈時(shí)，把邏輯分為傳統(tǒng)邏輯(亞里士多德式的邏輯)和現(xiàn)代邏輯，并對(duì)此進(jìn)行研究才有意義，正像在研究數(shù)學(xué)史時(shí)I把數(shù)學(xué)分為傳統(tǒng)數(shù)學(xué)〔〔九競(jìng)算術(shù)〕式的數(shù)學(xué)〕和現(xiàn)代數(shù)學(xué)并加以研究才有總義一樣。咼外，在一種非常弱的總義上還有需要進(jìn)行區(qū)分,正像我們能夠把數(shù)學(xué)分成初等數(shù)學(xué)和商等數(shù)學(xué)并花中小學(xué)和大學(xué)分別講授那樣，我們可以以把邏輯分成初等邏鋤和島等邏鉺卯扭中學(xué)和大學(xué)分別講授。高等邏輯就是指我們的分類(lèi)理論中提到的駐礎(chǔ)邏輯和應(yīng)用邏它們應(yīng)該在大學(xué)中講授；初等遝栂就是亞里士多德式的邏鉺，它足一種還沒(méi)有成熟的邏輯，只是羅列了常姐維中常用的正確椎理形式，例如，三段論推理和諾如充足條件的帶定后件式那樣的推理形式，它們應(yīng)該枉中學(xué)中講授(中學(xué)語(yǔ)文教學(xué)材料一度明確包括初等邏輯的基本內(nèi)容，后來(lái)不知什么原因取消了)。事實(shí)上，中學(xué)的語(yǔ)文課和數(shù)學(xué)課，通過(guò)改病句、論說(shuō)文f以及做數(shù)學(xué)、幾何的證明題等形式，己經(jīng)初步牮握這些方法#由于諸如充足條件的否認(rèn)后件式那樣的推理只足經(jīng)典命題邏輯的一些粗淺的碎片，而三段論那樣的推理充；R:量只是一階謂詞邏輯的子邏輯〔這里的“充其量〞是指后人用高等邏輯已經(jīng)證明：三段論理論能夠用謂詞邏枓的一個(gè)子邏輯來(lái)表述〕，所以只要往大學(xué)講投高等邏m.就能使學(xué)生系統(tǒng)而又深切進(jìn)入地把握初等邏輯f沒(méi)有需要洱在大學(xué)開(kāi)初等邏輯。我們說(shuō)初等邏輯是亞里士多德式的邏輯時(shí)并沒(méi)有提到普通邏輯，由于在我看來(lái)，普通邏輯只是一個(gè)哲學(xué)分析方法、實(shí)驗(yàn)科學(xué)方法和粗淺的邏輯碎片的人雜燴?，F(xiàn)往我們不妨用點(diǎn)篇幅來(lái)考察一下普通邏輯倒底畏由什么樣的內(nèi)容構(gòu)成。當(dāng)前為大學(xué)生編寫(xiě)的普通邏輯教學(xué)材料通常分為五大部分：概念、判定、推理、思維規(guī)律和論證，雖然有很多改頭換面的表述形式，但仍萬(wàn)變不離興宗。下面我們稍為具體地分析一下這五大部分倒底包括了什么內(nèi)容:概念部分重要由中學(xué)語(yǔ)文的內(nèi)容構(gòu)成，加雜一些認(rèn)識(shí)論的東西。后者重要是指對(duì)概念特性的哲學(xué)討論，例如，討論概念能否反映事物的特有屬性(固有屬性或?qū)嵸|(zhì)屬性)，前者重要是指下面內(nèi)容：概念與語(yǔ)詞的關(guān)系、概念的種類(lèi)、概念之間的關(guān)系、定義和劃分。這些內(nèi)容是中學(xué)語(yǔ)文課上己經(jīng)講授過(guò)的內(nèi)容，固然在那里可能沒(méi)有明確這樣提述。從普通邏餌要求概念明確可以以看這種迤求也屈子中學(xué)語(yǔ)文的要求這就赴為什么向現(xiàn)代火學(xué)生講“婦女〞和“運(yùn)發(fā)動(dòng)〞這兩個(gè)概念是穿插關(guān)系只能使他們?到乏味的原因。判定部分的愔況好像概念部分的情況，所以我們就不W兒加分析，推理部分通常分為兩個(gè)部分：歸納推璀部分和演繹推理部分。前希大部分是科學(xué)方法論的內(nèi)容，小部分還是哲學(xué)認(rèn)識(shí)論的內(nèi)輊?？茖W(xué)方法，十分是判定因果關(guān)系的五種方法，都是一些實(shí)驗(yàn)科學(xué)的方法。這些內(nèi)容大部分在中學(xué)理科的實(shí)驗(yàn)課己經(jīng)講過(guò)或者己經(jīng)運(yùn)用過(guò)，演繹推理部分我們上面己經(jīng)討論過(guò)了，它們只是高等邏輯的一些碎片和子邏輯s思維規(guī)律部分重要是哲學(xué)認(rèn)識(shí)論的內(nèi)容，大學(xué)的哲學(xué)課會(huì)牽涉這一部分，沒(méi)有需要通過(guò)齊通邏輯來(lái)牮掘.況且替通邏輯也沒(méi)有比哲學(xué)更進(jìn)一步8論證部分羅列了一些常見(jiàn)的證叨方法，通過(guò)中學(xué)語(yǔ)文的論說(shuō)文寫(xiě)作，做數(shù)學(xué)、幾何的證明題等己經(jīng)使中學(xué)生初步把握，沒(méi)有需要在大學(xué)里專(zhuān)門(mén)通過(guò)普通邏輯來(lái)講授。事實(shí)上在我們國(guó)家，最需要論證技巧的理工科大學(xué)生逛不上普通邏輯課的，他們以及他們的教師以為沒(méi)有此需要，這正好說(shuō)明普通邏輯枉理工科大學(xué)中是不需要的。倒是有一些大學(xué)理工科在開(kāi)設(shè)高等邏輯的課程，有的以至有高等邏輯的專(zhuān)業(yè)，如南京大學(xué)數(shù)學(xué)系。至于為扦么我們國(guó)家一些文科大學(xué)生如今還在上普通邏輯課，原因比較復(fù)雜，但重要原因，正像劉壯虎先生在北京市近期召開(kāi)的“中國(guó)學(xué)術(shù)百年研討會(huì)上指出的那樣，婼我們國(guó)家大學(xué)文科的教師沒(méi)有多少人其正悝高等邏輯U從上面的分析我們能夠苷到f為什么普通邏輒在當(dāng)今的大學(xué)，十分是在重點(diǎn)大學(xué)越來(lái)越不受歡迎的原因。我們能夠說(shuō)，往大學(xué)、十分是在研究生中,講授普通邏輯是一種智力浪費(fèi)和歷史倒退！好在如今有很多有識(shí)之士己經(jīng)初步意識(shí)到這一點(diǎn)，正在努力壓縮以至取消普通邏輯的課程。3.邏輯的有用性當(dāng)前國(guó)內(nèi)有很多人以為邏輯無(wú)用，以至在邏輯學(xué)界，很多搞不慌符號(hào)邏輯的作用的人也持這種觀仏在這種毛病觀點(diǎn)的影響下，很多人為r使邏鉗有用.在邏輯中引入很多科學(xué)方法論的東兩，引入很多語(yǔ)言分析的東西，引入很多傳統(tǒng)文化的東西，如此等等。引入的這些東西，有的b邏輯遛無(wú)關(guān)系，有的只是與邏輯哲學(xué)沾點(diǎn)邊?這實(shí)呩上是對(duì)邏輯使.命的一種嚴(yán)重的誤解，邏輯的責(zé)任終究是什么，邏輯倒底冉什么用，如采有用又表如今什么方面？下面我們提出自巳的觀點(diǎn)。誠(chéng)然，邏輯不可能像經(jīng)濟(jì)學(xué)那樣直接影響國(guó)民經(jīng)濟(jì)的發(fā)展,也不像數(shù)理化(這里的數(shù)學(xué)指應(yīng)用數(shù)學(xué)〕那樣直接促進(jìn)科學(xué)技術(shù)的發(fā)展以至不像巧宋學(xué)那樣通過(guò)兌結(jié)歷史的經(jīng)歷體驗(yàn)教訓(xùn)較為間接地促進(jìn)社會(huì)在各方面的發(fā)展。邏輯遠(yuǎn)離社會(huì)。但這不等于說(shuō)邏輯.就無(wú)用，關(guān)鍵是怎樣看待“宥用〞這個(gè)向題。我們知道，邏鉺學(xué)屬〒思維科學(xué)，它所研艽的舉輯從一個(gè)側(cè)面(有效性)刻畫(huà)了一部分思維規(guī)律(正確推理)，所以邏輯的銜用性重要表如今下面幾個(gè)方面：1、真諦性。邏鉗的責(zé)任是用一種系統(tǒng)的方法把有效的推理形式從;K.他的推理形式中區(qū)別出來(lái)，進(jìn)而把真諦(有效公式的直觀解釋)和郛他命題區(qū)分弁來(lái)。這樣的真諦也表述了人類(lèi)與有的正確的思維規(guī)律。尋求和把握真諦總能促進(jìn)社會(huì)健康地發(fā)展，不管這種促進(jìn)作用怎樣間接固然尋求和把握真諦也是其他學(xué)科的責(zé)任，但邏輯直接而又明確地以尋求和把握真諦為自巳的目的，就這一點(diǎn)而言，其他學(xué)科決不能與邏輯相提并論。2、嚴(yán)密性。邏輯的嚴(yán)密性是不問(wèn)可知的。JE由于如此，所以它才成為數(shù)學(xué)、計(jì)算機(jī)編程等學(xué)科的堅(jiān)實(shí)蕋礎(chǔ)。邏輯的嚴(yán)密性:當(dāng)然來(lái)自邏輯的形式化(形式系統(tǒng)、形式語(yǔ)義)，但本成上還逛來(lái)自對(duì)日常思維規(guī)律的正確抽象6由于假如一個(gè)理論是不正確的，則無(wú)論仆么樣把它形式化都不能使這個(gè)理論更嚴(yán)密。如今國(guó)內(nèi)育些人把所谞的辯證邏輯(辯證邏輯由于歷史的原因才被稱(chēng)為邏輯，國(guó)內(nèi)還輯學(xué)界很多人熱衷于研究辨證邏鉺是不正常的，在我看來(lái)，它只是一種哲學(xué)，應(yīng)該由哲學(xué)家和哲學(xué)史家去研究)簡(jiǎn)單地形式化，所得的東西仍然是不嚴(yán)密的。3、深刻性。邏輯的深刻性表如今它對(duì)人的思維形態(tài)進(jìn)行了深刻地刻畫(huà)。例如，對(duì)“必?zé)屺曔@個(gè)概念的刻畫(huà)。我們知道“必定〞是一個(gè)含義模糊的哲學(xué)概念，模態(tài)邏輯把“必定〞視