發(fā)布時(shí)間：2023-07-25 16:50:20
序言：寫作是分享個(gè)人見解和探索未知領(lǐng)域的橋梁，我們?yōu)槟x了8篇的邏輯學(xué)研究方向樣本，期待這些樣本能夠?yàn)槟峁┴S富的參考和啟發(fā)，請(qǐng)盡情閱讀。
1 大學(xué)英語教學(xué)模式改革的背景分析
《高等職業(yè)教育英語教學(xué)大綱》規(guī)定高職英語教學(xué)應(yīng)該以畢業(yè)生在實(shí)際工作中將要面臨的涉外業(yè)務(wù)英語活動(dòng)為核心，并以此來確定教學(xué)內(nèi)容和目標(biāo)。然而，就目前我國高職公共英語教學(xué)來說，教學(xué)方式一直受傳統(tǒng)英語教學(xué)模式的影響，沿用班級(jí)授課制的方式。課程內(nèi)容設(shè)計(jì)也沒有以畢業(yè)生在實(shí)際工作中將要面臨的涉外業(yè)務(wù)英語活動(dòng)為核心，公共英語教學(xué)缺乏職業(yè)性的特色。加之近年來，隨著高職院校的擴(kuò)招，學(xué)校的生源日趨復(fù)雜，各個(gè)專業(yè)學(xué)生的英語水平參差不齊。而且，目前高職公共英語教學(xué)層次比較單一，并沒有照顧不同專業(yè)學(xué)生的基礎(chǔ)情況，相應(yīng)專業(yè)所選的英語教材也有限，教學(xué)模式仍然以單項(xiàng)課本文本知識(shí)的教學(xué)為主，忽視了學(xué)生聽說能力和實(shí)用日常業(yè)務(wù)語言交際的能力培養(yǎng)。因此，在教學(xué)手段、評(píng)估系統(tǒng)較為單一的情況下，高職院校學(xué)生對(duì)英語缺乏興趣、實(shí)際運(yùn)用能力差，從而影響其社會(huì)競爭力和職業(yè)發(fā)展，大學(xué)英語教學(xué)改革勢(shì)在必行。山東外國語職業(yè)學(xué)院基于網(wǎng)絡(luò)的英語分級(jí)分方向教學(xué)改革始于2012年，該文論述了該校英語分級(jí)教學(xué)的具體實(shí)施情況。
2 大學(xué)英語教學(xué)模式改革的實(shí)施方案、內(nèi)容和特點(diǎn)
2.1 英語教學(xué)模式改革實(shí)施方案
第一學(xué)年為教學(xué)改革的第一階段，其工作重心是：通過入學(xué)摸底考試和高考入學(xué)成績對(duì)非英語專業(yè)學(xué)生進(jìn)行重新編班，分成A、B、C三級(jí)，實(shí)施分級(jí)教學(xué)。一年級(jí)基礎(chǔ)強(qiáng)化階段由讀寫課程與聽說課程組成，實(shí)行英語能力訓(xùn)練式教學(xué)，并輔以相對(duì)集中的課外學(xué)習(xí)，主要是系統(tǒng)培養(yǎng)學(xué)生的聽、說、讀、寫、譯能力，使學(xué)生掌握基本的語言知識(shí)，能應(yīng)用所學(xué)知識(shí)靈活的開展英語日常情景對(duì)話，并幫助學(xué)生順利地通過三級(jí)考試。
第二學(xué)年為分層次分方向培養(yǎng)階段。A級(jí)學(xué)生學(xué)習(xí)商務(wù)英語等一系列課程。B級(jí)學(xué)生學(xué)習(xí)行業(yè)英語課程，按就業(yè)需要設(shè)計(jì)課程，主要由營銷英語、經(jīng)貿(mào)英語、旅游英語、酒店英語、IT英語等課程組成，以崗位所需英語為目標(biāo)，培養(yǎng)學(xué)生借助英語完成目標(biāo)崗位工作的能力。使其語言技能與專業(yè)知識(shí)結(jié)合起來，最大程度滿足了學(xué)生個(gè)性化學(xué)習(xí)的需求，為其就業(yè)奠定雄厚的基礎(chǔ)；C級(jí)學(xué)生學(xué)習(xí)素質(zhì)英語，目標(biāo)仍是通過三級(jí)考試。
2.2 改革的內(nèi)容及特色
這次教學(xué)模式改革，無論在教學(xué)指導(dǎo)思想還是在教學(xué)模式及教學(xué)方法上都有很大突破。打造了“基于網(wǎng)絡(luò)、優(yōu)化課堂、聽說為重、分級(jí)分方向教學(xué)”的大學(xué)英語課程教學(xué)新體系，實(shí)現(xiàn)大學(xué)英語教學(xué)的規(guī)范化和立體化，學(xué)生英語學(xué)習(xí)的個(gè)性化與自主化，使該校的大學(xué)英語教學(xué)質(zhì)量躍升到一個(gè)新的層次。具體包括以下幾個(gè)方面：
（1）實(shí)行分級(jí)教學(xué)，因材施教。近幾年的高校擴(kuò)招使辦學(xué)規(guī)模越來越大，生源也更加廣泛，新生的英語水平相差懸殊。如果不實(shí)行分級(jí)教學(xué)，“一刀切”，難以發(fā)揮學(xué)生的學(xué)習(xí)積極性和主動(dòng)性。該項(xiàng)教學(xué)改革提出了分階段、分層次、分行業(yè)的立體化教學(xué)思想，使不同基礎(chǔ)的學(xué)生英語水平都能得到不同程度的提高，做到了因材施教。
（2）完善課程體系，豐富了大學(xué)英語教學(xué)內(nèi)容，強(qiáng)調(diào)基礎(chǔ)英語和專業(yè)英語結(jié)合。我們把大學(xué)英語教學(xué)分為兩個(gè)階段進(jìn)行，把過去以基礎(chǔ)英語教學(xué)為主的單一的大學(xué)英語課程改為大學(xué)英語基礎(chǔ)課程和大學(xué)英語語言應(yīng)用技能型課程在內(nèi)的多種系列組合的課程。其中基礎(chǔ)課程包括綜合課程和聽說課程，著重提高學(xué)生的聽、說、讀、寫、譯五項(xiàng)技能，尤其是聽、說技能；第二個(gè)階段的語言應(yīng)用技能型課程分級(jí)分模塊進(jìn)行，教授與各專業(yè)相關(guān)的英語材料。學(xué)生在獲取基本語言知識(shí)和語言技能的同時(shí)，能夠進(jìn)行相關(guān)專業(yè)項(xiàng)目的訓(xùn)練，為其在職業(yè)生涯中成為一名合格的從業(yè)人員打下了語言基礎(chǔ)，提高了學(xué)生行業(yè)英語能力。
（3）建立了基于網(wǎng)絡(luò)技術(shù)和多媒體的英語教學(xué)模式。建設(shè)了語言中心，繼續(xù)發(fā)揮藍(lán)鴿語言學(xué)習(xí)平臺(tái)的作用，采用多媒體網(wǎng)絡(luò)環(huán)境下三位一體的教學(xué)模式，即以“課堂教學(xué)掌握語言、文化和專業(yè)英語知識(shí)，網(wǎng)絡(luò)自主學(xué)習(xí)鞏固知識(shí)發(fā)展能力，課外第二課堂實(shí)踐提高語言應(yīng)用和交流能力”的立體化教學(xué)模式。以學(xué)生為本、個(gè)性化學(xué)習(xí)、課內(nèi)外整合、實(shí)行過程監(jiān)控。
（4）通過與有關(guān)專業(yè)院系的合作，培養(yǎng)和造就一批適應(yīng)該校各專業(yè)教學(xué)需要的專業(yè)英語教師，加強(qiáng)全校的大學(xué)英語專業(yè)教師的師資隊(duì)伍建設(shè)。
3 對(duì)于該教學(xué)改革的幾點(diǎn)思考
（1）大力宣傳大學(xué)英語分級(jí)分方向教學(xué)，提高學(xué)生對(duì)新教學(xué)模式的認(rèn)識(shí)。學(xué)生產(chǎn)生消極態(tài)度的主要原因是對(duì)分級(jí)分模塊教學(xué)認(rèn)識(shí)不夠充分。因此，教學(xué)各個(gè)環(huán)節(jié)要幫助學(xué)生充分認(rèn)識(shí)到新教學(xué)模式的意義。需要教師善于觀察新教學(xué)模式下學(xué)生的各種情緒變化，幫助學(xué)生對(duì)自己準(zhǔn)確恰當(dāng)?shù)囟ㄎ?，適度地進(jìn)行疏導(dǎo)，克服焦慮、氣餒等消極情緒。
（2）進(jìn)一步完善網(wǎng)絡(luò)教學(xué)平臺(tái)。目前分級(jí)分方向仍以課堂面授為主，藍(lán)鴿教學(xué)平臺(tái)等網(wǎng)上教學(xué)資源也沒有得到充分利用。針對(duì)這一問題，要充分利用網(wǎng)上資源，學(xué)生登錄英語教學(xué)平臺(tái)學(xué)習(xí)應(yīng)該作為平時(shí)成績的一部分。任課教師可以每周輪流值班，網(wǎng)上監(jiān)督、批改作業(yè)、答疑，充分發(fā)揮學(xué)生自主學(xué)習(xí)的能力，加強(qiáng)師生之間溝通。
（3）進(jìn)一步完善課程設(shè)置。受教師研究方向、學(xué)生英語水平和繁重的教學(xué)壓力等方面的制約，專業(yè)英語模塊的多樣性沒有明顯體現(xiàn)，需要進(jìn)一步完善課程體系，如開設(shè)航空、物流等方向的英語。
（4）進(jìn)一步加強(qiáng)學(xué)生管理。學(xué)生在分級(jí)、分方向授課后被重組分班，每個(gè)英語班可能會(huì)由不同班級(jí)的學(xué)生組成，彼此之間不夠熟悉，人多雜亂，不論在考勤、安排作業(yè)，還是組織課堂活動(dòng)方面，任課教師都會(huì)很吃力。因此可和教務(wù)處合作，進(jìn)一步加強(qiáng)學(xué)生管理。打造英語分級(jí)教務(wù)管理軟件，完善數(shù)據(jù)采集、統(tǒng)計(jì)及分析工作。入校新生的高考英語成績、單獨(dú)組織的英語測試成績、英語教學(xué)的升級(jí)考試分?jǐn)?shù)、每階段升級(jí)考試成績分析報(bào)告等重要參數(shù)都應(yīng)錄入教務(wù)管理系統(tǒng)，通過對(duì)比分析分級(jí)教學(xué)前后的變化，根據(jù)分析結(jié)果進(jìn)―步完善分級(jí)教學(xué)模式。
關(guān)鍵詞:邏輯教學(xué);現(xiàn)代化;先進(jìn)化;邏輯教育體系;現(xiàn)代邏輯;邏輯思維素質(zhì)
中圖分類號(hào):B81 文獻(xiàn)標(biāo)識(shí)碼:A 文章編號(hào):1673—9841(2012)04-0024-07
上世紀(jì)70年代末80年代初,王憲鈞教授等學(xué)界前輩倡導(dǎo)邏輯教學(xué)與研究現(xiàn)代化,有力推動(dòng)了我國邏輯事業(yè)30余年的長足發(fā)展。我們認(rèn)同張家龍研究員關(guān)于我國邏輯教學(xué)與研究的現(xiàn)代化已“初步實(shí)現(xiàn)”的判斷及其“五個(gè)一批”的判據(jù),同時(shí)也贊同將“全面實(shí)現(xiàn)”邏輯教學(xué)與研究現(xiàn)代化作為我國邏輯工作今后一個(gè)時(shí)期的主要任務(wù)。應(yīng)當(dāng)清醒地看到,與邏輯教學(xué)與研究的先進(jìn)國家(包括英語世界、西歐和北歐國家等)相比,要達(dá)到“全面實(shí)現(xiàn)”邏輯教學(xué)與研究現(xiàn)代化的任務(wù),我們還有很長的路要走。而要實(shí)現(xiàn)這一宏偉目標(biāo),首先要對(duì)“目標(biāo)”本身及其實(shí)現(xiàn)途徑有比較清楚的把握。本文擬結(jié)合南京大學(xué)和國內(nèi)相關(guān)高校的邏輯教學(xué)及相關(guān)工作實(shí)踐,談?wù)勎覀儗?duì)“全面實(shí)現(xiàn)邏輯教學(xué)現(xiàn)代化”的目標(biāo)及其實(shí)現(xiàn)途徑的一些認(rèn)識(shí)。
一、關(guān)于邏輯學(xué)專業(yè)研究生培育
在我國高校研究生培養(yǎng)的現(xiàn)行學(xué)科建制中,“邏輯學(xué)”屬于“哲學(xué)”門類“哲學(xué)”一級(jí)學(xué)科之下的二級(jí)學(xué)科(專業(yè))。就邏輯學(xué)專業(yè)研究生培育來說,“初步實(shí)現(xiàn)”教學(xué)現(xiàn)代化的判定是有較充分的根據(jù)的。其顯著標(biāo)志是,幾乎所有邏輯學(xué)專業(yè)碩士生培養(yǎng)方案都列入了現(xiàn)代經(jīng)典(一階)邏輯和(狹義)模態(tài)邏輯為專業(yè)必修課程,盡管實(shí)際教學(xué)水平會(huì)有所差異。我們認(rèn)為,邏輯學(xué)專業(yè)教學(xué)現(xiàn)代化的首要標(biāo)志,就是將這兩大經(jīng)典基礎(chǔ)理論學(xué)習(xí)與訓(xùn)練放在首要地位,并能真正取得實(shí)效,使學(xué)生能夠運(yùn)用現(xiàn)代邏輯的理論與方法從事邏輯學(xué)各方向上的研究;另一重要標(biāo)志是使學(xué)生能夠?qū)壿媽W(xué)的歷史發(fā)展有比較系統(tǒng)深入的把握,對(duì)基礎(chǔ)邏輯、應(yīng)用邏輯與邏輯應(yīng)用各領(lǐng)域的最新進(jìn)展有相對(duì)全面而又有所側(cè)重的把握;第三個(gè)標(biāo)志是學(xué)生能夠在特定方向的研究中通過學(xué)術(shù)史的把握走到當(dāng)代學(xué)科前沿,能夠做出真正富有新意、有所建樹的工作,特別是對(duì)博士研究生而言更是如此。我們認(rèn)為,這三個(gè)“標(biāo)志”也就是邏輯學(xué)專業(yè)研究生教學(xué)“現(xiàn)代化”的基本目標(biāo)。
經(jīng)過改革開放以來30余年的發(fā)展,我國哲學(xué)學(xué)科招收邏輯學(xué)專業(yè)博士研究生的單位已達(dá)13個(gè),招收邏輯學(xué)專業(yè)碩士研究生的單位達(dá)60余個(gè)。南京大學(xué)哲學(xué)學(xué)科于1983年獲得邏輯學(xué)專業(yè)碩士學(xué)位授予權(quán),2001年開始招收邏輯學(xué)方向博士生,2003年獲得邏輯學(xué)專業(yè)博士學(xué)位授予權(quán),同時(shí)成立了南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所。迄今邏輯學(xué)專業(yè)共授予碩士學(xué)位71人(其中上世紀(jì)80年代12人,90年代15人),授予博士學(xué)位25人;現(xiàn)有在讀碩士研究生16人(含美國留學(xué)生1人),在讀博士研究生16人。我們?cè)谶壿媽W(xué)專業(yè)設(shè)立之初,即支持并貫徹教學(xué)“現(xiàn)代化”的思想,并逐步明確了上述“現(xiàn)代化”理念,將之作為研究生培育的指針。
就當(dāng)前的教學(xué)狀況而言,在前述第一“標(biāo)志”方面,南京大學(xué)邏輯學(xué)專業(yè)碩士研究生的課程設(shè)置,首先突出強(qiáng)調(diào)現(xiàn)代邏輯基礎(chǔ)的嚴(yán)整的學(xué)習(xí)與訓(xùn)練,這主要通過貫通一年級(jí)全年的“一階邏輯與一階理論”和“哲學(xué)邏輯研究”兩門課程實(shí)現(xiàn);其中除一階邏輯與狹義(真勢(shì))模態(tài)邏輯的基本訓(xùn)練外,也努力使學(xué)生了解數(shù)理邏輯“四論”特別是集合論和非經(jīng)典邏輯學(xué)科群的基本知識(shí),從而使學(xué)生獲得比較扎實(shí)的現(xiàn)代邏輯功底和相對(duì)完整的現(xiàn)代邏輯觀念。在邏輯學(xué)專業(yè)博士研究生培養(yǎng)方面,我們也提出一個(gè)基本要求:無論是哪個(gè)研究方向的博士生,都必須繼續(xù)強(qiáng)化一階邏輯、模態(tài)邏輯及集合論的學(xué)習(xí)與訓(xùn)練,并根據(jù)生源實(shí)際落實(shí)不同層次的訓(xùn)練計(jì)劃,其別強(qiáng)調(diào)了邏輯語義學(xué)的學(xué)習(xí)與訓(xùn)練,向?qū)W生明確這是進(jìn)入當(dāng)代邏輯科學(xué)研究領(lǐng)域的“通行證”,只有真正學(xué)會(huì)“走路”才能在研究領(lǐng)域“起跑”。
(一)有利于拓展邏輯學(xué)發(fā)展方向,更廣泛地體現(xiàn)邏輯學(xué)的價(jià)值
經(jīng)過多年的發(fā)展,邏輯學(xué)呈現(xiàn)出多元發(fā)展的趨勢(shì),出現(xiàn)很多邏輯分支或邏輯類型,成為一個(gè)龐大的系統(tǒng),并在不同的領(lǐng)域發(fā)揮著不可替代的作用。與傳統(tǒng)邏輯比較,現(xiàn)代邏輯雖然成為了當(dāng)今邏輯學(xué)發(fā)展的主流,其嚴(yán)密性、先進(jìn)性以及在現(xiàn)代哲學(xué)、數(shù)學(xué)、計(jì)算機(jī)、認(rèn)知科學(xué)等領(lǐng)域的廣泛應(yīng)用和所發(fā)揮的重要作用毋庸置疑。但是,我們也應(yīng)該認(rèn)識(shí)到一門科學(xué)的持續(xù)發(fā)展,要考慮它的適應(yīng)群體和研究目的。論及此,必須提一下非形式邏輯領(lǐng)域被廣為引證的卡亨的一段話:在幾年以前的課堂上,當(dāng)我正要結(jié)束(對(duì)我來說)迷人的、復(fù)雜的謂詞邏輯的量詞規(guī)則的時(shí)候,有個(gè)學(xué)生嫌惡地問道:他花了整整一個(gè)學(xué)期所學(xué)的東西,與諸如約翰遜總統(tǒng)決定再次升級(jí)越南戰(zhàn)爭的問題有何關(guān)系。我喃喃無語,就約翰遜方面說是糟糕的邏輯,然后就表示,邏輯導(dǎo)論不是這類課程。學(xué)生接著問道,什么課程處理這種事務(wù)。我不得不承認(rèn),就我所知,還沒有這樣的課程。這個(gè)學(xué)生想要今天大多數(shù)學(xué)生想要的一門與日常推理相關(guān)的課程,一門與他們聽到、看到的各種論證相關(guān)的課程,這些論證的內(nèi)容涉及到種族、污染、貧困、性別、核戰(zhàn)爭、人炸以及在20世紀(jì)后半葉人類所面臨的所有其他問題?！?〕28與此相同,吳家國教授也曾提及在國內(nèi)發(fā)生的類似情況:1999年12月12日,為了紀(jì)念“學(xué)術(shù)百年”、面向社會(huì)宣傳邏輯學(xué),北京邏輯學(xué)會(huì)舉辦了一場邏輯報(bào)告會(huì),除專業(yè)邏輯工作者參加外,還公開售票,歡迎對(duì)邏輯學(xué)感興趣的人們參加。會(huì)上,邏輯工作者發(fā)言十分踴躍。然而,在會(huì)議結(jié)束時(shí)有一位中年女同志站起來發(fā)了言,她深沉地說:我是花錢買票來聽講的,本想學(xué)點(diǎn)邏輯知識(shí)對(duì)工作有用,可是,聽了以后感到聽不懂,不知道邏輯學(xué)對(duì)我有什么幫助。我很失望?！?〕這些事例,充分說明了邏輯學(xué)發(fā)展過程中的一個(gè)不盡如人意的方面,甚至可以說不平衡發(fā)展的不足。在這種邏輯學(xué)與人們現(xiàn)實(shí)生活、思維實(shí)踐嚴(yán)重脫離的情況下,首先從北美興起批判性思維運(yùn)動(dòng),從而推動(dòng)了非形式邏輯的發(fā)展。武宏志、周建民、唐堅(jiān)等人在《非形式邏輯導(dǎo)論》一書緒論中大量轉(zhuǎn)述國外部分邏輯學(xué)家的論述,指出數(shù)學(xué)邏輯(即通常說的數(shù)理邏輯—引者)的特征及非形式邏輯學(xué)家對(duì)數(shù)學(xué)邏輯的批評(píng),提出了“邏輯學(xué)的實(shí)踐轉(zhuǎn)向”。〔6〕28目前,非形式邏輯與批判性思維的教學(xué)與科研工作得到了高度重視并廣泛推廣,取得了較好的成效。鞠實(shí)兒教授曾提出:“假定存在一個(gè)邏輯類型,它或者是新的或已知的。如果它取代另一邏輯類型而成為被關(guān)注的主流,則稱這一歷史事件為邏輯學(xué)轉(zhuǎn)向”。〔8〕并在該文中提出了邏輯學(xué)的認(rèn)知轉(zhuǎn)向。陳慕澤教授在《邏輯的非形式轉(zhuǎn)向》一文中確認(rèn)邏輯學(xué)是以研究推理和論證的總體目標(biāo)的前提下,解釋了邏輯轉(zhuǎn)向的三個(gè)意思:“第一,促使邏輯學(xué)在某一階段發(fā)展的動(dòng)力,有別于上述總體目標(biāo);第二,邏輯學(xué)在此種轉(zhuǎn)向目標(biāo)的推動(dòng)下,取得了長足的實(shí)質(zhì)性的進(jìn)展;第三,此種進(jìn)展不但對(duì)實(shí)現(xiàn)其轉(zhuǎn)向的目標(biāo),而且對(duì)實(shí)現(xiàn)邏輯學(xué)的總體目標(biāo)有重要的意義”?！?〕邏輯學(xué)的這些發(fā)展方向的轉(zhuǎn)變?yōu)椴煌褡逅季S方式的研究提供了重要啟發(fā)和理論依據(jù)。陳波教授在探討“邏輯的可修正”問題時(shí)指出了“作為研究對(duì)象的邏輯”和“作為理論形態(tài)的邏輯”的區(qū)別:“前者(指作為研究對(duì)象的邏輯———引者)就是我們?cè)趯?shí)際使用著的邏輯,這是一種客觀形態(tài)的東西。有沒有這樣的邏輯存在,是有爭議的。如果有這種邏輯的話,它大概存在于人類的語言實(shí)踐和思維實(shí)踐中,并且與人類所面對(duì)的外部世界也有某種關(guān)聯(lián)。于是,‘作為理論形態(tài)的邏輯’,就是對(duì)這種邏輯的描寫、刻畫或重構(gòu);它們是一種‘發(fā)現(xiàn)’而不是‘發(fā)明’;發(fā)現(xiàn)就含有描述性成分,就有真假對(duì)錯(cuò)之分……,由此引出一連串復(fù)雜的哲學(xué)問題。當(dāng)我說‘邏輯是可修的’時(shí)候,我不是指客觀形態(tài)的邏輯,這種邏輯是‘存在’那里、‘?dāng)[’在那里的東西,無法修正;至于它究竟是什么樣子,則見仁見智,難以獲得統(tǒng)一的見解?？梢孕拚闹荒苁恰鳛槔碚撔螒B(tài)的邏輯’,即邏輯學(xué)家所構(gòu)造的、并獲得公認(rèn)的邏輯學(xué)說和邏輯系統(tǒng)”?！?0〕不同民族的思維方式就是存在于不同民族語言實(shí)踐和思維實(shí)踐中,并在他們認(rèn)識(shí)世界、表達(dá)和交流思想等與外部世界發(fā)生一切關(guān)系時(shí)具有密切關(guān)聯(lián)、起重要作用的一種實(shí)際的思維現(xiàn)象,可視為該民族“作為研究對(duì)象的”邏輯。以邏輯學(xué)視角,用邏輯學(xué)理論,研究不同民族思維方式,掌握其認(rèn)識(shí)世界、交流思想的基本規(guī)律,分析其形成的歷史文化背景,總結(jié)在有效交際過程中的主導(dǎo)推理形式,并與邏輯一般規(guī)律以及各民族傳統(tǒng)思維方式進(jìn)行比較等等,都可謂是邏輯學(xué)今后在邏輯與文化的互動(dòng)視域下值得研究的新領(lǐng)域,也是解決邏輯脫離人們思維實(shí)際的有效途徑之一,同時(shí)能夠充分發(fā)揮邏輯科學(xué)在不同民族思維實(shí)踐中的重要作用,體現(xiàn)其應(yīng)用價(jià)值。
(二)有利于中國邏輯史的研究,豐富中國古代邏輯思想
西方邏輯傳入中國之后,中國有識(shí)之士大量介紹、學(xué)習(xí)西方邏輯的同時(shí),圍繞“中國古代有沒有邏輯?”、“邏輯在中國歷史上的狀況應(yīng)當(dāng)如何認(rèn)識(shí)與評(píng)價(jià)?”的問題開始了中國邏輯史的研究。經(jīng)過一個(gè)世紀(jì)以來幾代學(xué)者的辛勤勞動(dòng)和不懈努力,中國邏輯史的研究取得了豐碩成果,對(duì)中國邏輯史的研究對(duì)象形成共識(shí),研究方法進(jìn)一步科學(xué)化,研究成果可謂是洋洋大觀。不同時(shí)期、不同地域的邏輯思想是邏輯史研究的重要內(nèi)容之一。中國古代有豐富的邏輯思想,其中由于中國古代的歷史發(fā)展本身就是一個(gè)不同民族不斷融合的過程,其歷史的發(fā)展演變中當(dāng)然也包括了不同民族的歷史文化的持續(xù)融合過程。因此,研究中國古代的邏輯思想,理應(yīng)包括在不同歷史文化背景下形成的不同民族的邏輯思想。不同民族的思維方式不能說是不同的邏輯,但它是邏輯思想的核心內(nèi)容之一,在不同民族群體的思維實(shí)踐中占居主導(dǎo)地位并發(fā)揮著重要作用。我們應(yīng)該通過學(xué)習(xí)、研究不同民族思維方式來探究其規(guī)律性的因素,通過比較研究,豐富中國的古代邏輯思想。比如,蒙古族是我國具有悠久歷史的少數(shù)民族之一,長期以來在以蒙古高原為中心的北方遼闊草原為依靠游牧經(jīng)濟(jì)生息繁衍,創(chuàng)造了有別于中原農(nóng)業(yè)文明的草原文化,形成了獨(dú)有特色的蒙古族思維方式。蒙古人的為人處事方式與漢族人有別樣的一面。那么這是為什么?這種特征是怎么形成的?這些問題要從古代蒙古族的歷史文化背景著手,進(jìn)行全方位、系統(tǒng)的研究,并與漢族古代邏輯思想進(jìn)行比較,分析與漢族及其它民族思維方式的相互影響、相互作用等。邏輯與文化具有密不可分的互動(dòng)關(guān)系。張東蓀先生進(jìn)行了邏輯與語言結(jié)合的研究,提出了自己關(guān)于邏輯與文化之間關(guān)系的觀點(diǎn),有人稱之為“文化主義邏輯觀”。他認(rèn)為:“邏輯是由文化所需要而逼迫出來的,跟著哲學(xué)思想走,是文化的產(chǎn)物,由于不同國家、民族的文化不同,因此邏輯就不同,不存在先驗(yàn)的、普遍的邏輯,沒有唯一的邏輯,而只有在各種不同文化背景下所形成的不同邏輯”?！?1〕崔清田教授則在中西邏輯比較研究中充分闡明了邏輯與文化之間的互動(dòng)關(guān)系。他指出:“邏輯與文化存在著不容忽視的客觀聯(lián)系。這種聯(lián)系是由文化的整體性,以及包括邏輯思維在內(nèi)的思維方式在構(gòu)成文化整體的諸要素中的特殊地位所決定的。邏輯與文化的關(guān)系既表現(xiàn)為文化的整體特征和需求對(duì)邏輯的制約,也表現(xiàn)為邏輯對(duì)文化發(fā)展的影響。文化對(duì)邏輯的制約,決定了由特定歷史階段的特定文化所孕育出的不同邏輯傳統(tǒng),既有共同性的一面,又有特殊的一面”?！?〕156鞠實(shí)兒教授在《邏輯學(xué)的問題與未來》一文中指出,在某一文明內(nèi)部,由不同的人群所創(chuàng)造的不同或具有顯著差異的物質(zhì)和精神產(chǎn)品構(gòu)成不同的文化。不同的文明可以具有不同的邏輯?！?2〕眾所周知,中國邏輯學(xué)界“大邏輯觀”與“小邏輯觀”之爭可以說至今還沒有徹底結(jié)束。我們雖然沒有將大邏輯觀擴(kuò)大化,持不同的民族都有不同的邏輯,或者不同民族的思維方式就是不同的邏輯的觀點(diǎn)。但是,從中國特殊的歷史文化背景出發(fā),將不同民族的思維方式或不同文化群體的說理方式作為中國古代邏輯思想的組成部分進(jìn)行研究是很有必要的。布留爾將原始人的思維稱作為“原邏輯”,并指出:它(指原始人的思維)不是反邏輯的,也不是非邏輯的?！?3〕一個(gè)民族的思維方式或一個(gè)文化群體的說理方式可以說是前邏輯或原邏輯,它體現(xiàn)著一個(gè)文化群體在認(rèn)識(shí)客觀事物、表達(dá)思想、論證觀點(diǎn)等方面的規(guī)律、規(guī)則、程序、步驟、手段等共同的思維特點(diǎn)和思維趨向。將不同民族的思維方式或不同文化群體的說理方式納入到中國邏輯史研究范疇,能夠豐富中國古代邏輯思想,體現(xiàn)我國多民族的文化、思維相互影響、交融一體的特點(diǎn),對(duì)中國邏輯史研究具有非常重要的意義。
(三)有利于不同民族之間的文化交流和民族文化發(fā)展,促進(jìn)社會(huì)和諧發(fā)展
當(dāng)今社會(huì)科學(xué)技術(shù)突飛猛進(jìn),信息傳播方式不斷進(jìn)步,不同國家、不同民族之間的文化交流日趨頻繁。不同民族文化從表面上看,有很多顯現(xiàn)的、可感知的差異,而其最本質(zhì)的差異潛在于一種文化的深層次。這里包括在漫長的歷史過程中積淀的文化理念。這種理念在不同民族政治、經(jīng)濟(jì)、歷史、文學(xué)、藝術(shù)、道德、宗教、風(fēng)俗、語言文字等諸多領(lǐng)域起作用并處處得到體現(xiàn)。一個(gè)民族或一種文化群體的思維方式以及說理方式貫穿于該文化體系中,有學(xué)者稱之為文化的“本”和“紐帶”,認(rèn)為在思維方式的作用下各種具體文化形態(tài)和形式聯(lián)結(jié)成為一個(gè)有機(jī)整體。不同文化群體之間或不同說理方式的人群之間的交流與互動(dòng),可以視為一種跨文化的論證。評(píng)價(jià)一個(gè)論證的好壞,有很多不同的標(biāo)準(zhǔn)。從非形式邏輯標(biāo)準(zhǔn)分析,其要素———“論證者”與“目標(biāo)聽眾”至關(guān)重要。所謂論證者“就是指提出論證的人”。所謂目標(biāo)聽眾“即是指論證者試圖說服的聽眾”。〔14〕面對(duì)不同民族文化群體之間或不同說理方式的人群之間的跨文化互動(dòng),不僅要考慮論證形式的共性,更要考慮涉及論證者和目標(biāo)聽眾的文化差異性。和諧社會(huì)需要人與自然、人與人、人與社會(huì)的和諧。和諧社會(huì)是通過社會(huì)主體———人的行為得以實(shí)現(xiàn)的,只有人人保持人與自然、人與人、人與社會(huì)的和諧,社會(huì)才能夠和諧發(fā)展。每個(gè)人的行為都受其思維方式的制約,是思維方式的具體表現(xiàn),一個(gè)民族、一個(gè)國家也是如此。在國與國、民族與民族之間的交流、交往過程中,能夠多一些和諧、少一些沖突,其重要的前提之一就是對(duì)彼此思維方式的全面、正確了解。因此,對(duì)不同民族的思維方式進(jìn)行認(rèn)真研究,正確認(rèn)識(shí)、全面了解不同民族文化各層面的具體狀態(tài)及其歷史演變,把握其文化的特質(zhì)思維方式背后深層次的因素,是社會(huì)和諧發(fā)展的時(shí)代需要。鞠實(shí)兒教授曾提出“廣義論證”〔15〕概念,擴(kuò)大了邏輯家族成員,在廣義論證的框架內(nèi)考察不同文化群體的說理方式以及具有不同說理方式的人群之間的交流方式,將不同文化群體的說理方式納入到邏輯家族。廣義論證不僅考慮到論證中的語境變量,而且還將文化作為變量引入邏輯學(xué)的研究領(lǐng)域;強(qiáng)調(diào)博弈參與者的文化隸屬關(guān)系對(duì)論證活動(dòng)的作用,從而允許我們?cè)趶V義論證的框架內(nèi)考察不同文化群體的說理方式,以及具有不同說理方式的人群之間的交流方式。由于參與者的社會(huì)文化隸屬關(guān)系對(duì)論證的實(shí)施方式和論證結(jié)果的可接受性有直接的制約作用,事實(shí)上,如果博弈者使用的規(guī)則不被他們所屬的文化群體認(rèn)可,博弈的結(jié)果將不會(huì)被相應(yīng)的群體所接受,所以也就沒有規(guī)范性。這一理論的提出對(duì)于邏輯學(xué)發(fā)展和不同民族文化交流與發(fā)展都具有重要意義。只有在這樣理論指導(dǎo)和“文明平等原則”〔12〕下,不同民族之間才能夠順利有效地交流,也只有這樣的原則下,不同民族文化才能平等、協(xié)調(diào)發(fā)展。
二、民族思維方式的研究方法
任何一門科學(xué)或?qū)W科不容忽視研究方法的重要性?？茖W(xué)的研究方法是取得成功的先決條件。民族思維方式的研究,要借鑒中國邏輯史研究的成功經(jīng)驗(yàn),采取比較研究方法和歷史分析與文化詮釋的方法。
(一)比較研究方法
比較研究方法是諸多學(xué)科普遍運(yùn)用的研究方法。不同學(xué)科運(yùn)用比較研究方法之后,在該學(xué)科研究領(lǐng)域出現(xiàn)過新的分支或研究方向。例如,比較文學(xué)、比較邏輯等。民族思維方式的研究,也離不開比較研究方法。因?yàn)?只有在比較中才能夠更好地體現(xiàn)不同民族思維方式的本質(zhì)特征和一般規(guī)律。采用比較方法,必須堅(jiān)持科學(xué)、客觀的原則,不能盲目比附或強(qiáng)行比較。要明確比較目的、對(duì)象,要通過不同民族思維方式所形成的歷史文化背景、主要特征的比較,總結(jié)出他們的共性和個(gè)性,全面、客觀地分析他們的異同特征形成的原因,掌握發(fā)展規(guī)律,分析發(fā)展趨勢(shì),指導(dǎo)不同民族群體和個(gè)體之間的交流。
(二)歷史分析與文化詮釋方法
歷史分析與文化詮釋方法是中國邏輯史研究的一種成功的研究方法。即把中國古代邏輯史放在它產(chǎn)生和發(fā)展的具體歷史環(huán)境和文化環(huán)境中,將中國古代邏輯思想作為先秦文化的有機(jī)組成部分,與當(dāng)時(shí)的哲學(xué)、倫理學(xué)、政治學(xué)、語言學(xué)和科學(xué)技術(shù)等方面的思想以及文化發(fā)展的基本特征結(jié)合起來進(jìn)行全面的分析、考察,從而得出全面、確切的結(jié)論。歷史分析與文化詮釋方法不僅糾正了過去中國邏輯史研究“據(jù)西釋中”、“簡單比附”方法的缺陷和不足,為中國邏輯史研究開辟新的思路,提供了科學(xué)的方法,而且對(duì)很多學(xué)科的研究都具有方法論意義。民族思維方式研究必須正確采用歷史分析與文化詮釋方法,把不同民族思維方式放在其產(chǎn)生和發(fā)展的該民族的特定歷史背景和文化環(huán)境中,進(jìn)行全面考察、認(rèn)真分析、高度概括、科學(xué)歸納,得出切合實(shí)際的結(jié)論。
三、小結(jié)
在復(fù)雜的電子線路中，電路故障的查找，是電路檢修工作中的一個(gè)難點(diǎn)。本文闡述了邏輯不相容、重合、包含等理論，在電路故障分析中的運(yùn)用方法。對(duì)縮小電路故障范圍，確定故障點(diǎn)將起到重要的作用。
【關(guān)鍵詞】電子電路 邏輯理論 故障
在進(jìn)行電路故障分析和查找時(shí)，如果運(yùn)用邏輯理論中的不相容、重合、包含等概念，對(duì)電路的故障現(xiàn)象進(jìn)行邏輯推理分析，能有效地縮小電路故障的檢查范圍，從復(fù)雜的電子線路中，快速地查找出故障點(diǎn)。
1 邏輯不相容概念的運(yùn)用
邏輯學(xué)中不相容概念：在圖1a中，A、B兩部分互為獨(dú)立，互不影響。
邏輯不相容概念對(duì)電路故障的分析：在圖1b中，視左聲道電路為A，右聲道電路為B。分析如下：
（1）圖b中的左聲道電路A和右聲道電路B是相互獨(dú)立的。即左聲道輸入信號(hào)只在左聲道電路A中進(jìn)行傳輸和放大，不會(huì)影響到右聲道電路B； 同樣，右聲道對(duì)輸入信號(hào)的處理，與左聲道電路無關(guān)。
（2）當(dāng)右聲道電路B出現(xiàn)故障時(shí)，只會(huì)影響到右聲道自己的信號(hào)傳輸和放大，而不會(huì)影響到左聲道電路A。例如：右聲道出現(xiàn)無聲故障，此時(shí)試聽左聲道聲音正常，運(yùn)用邏輯學(xué)的不相容概念推論：故障出現(xiàn)在右聲道電路B中，而與左聲道電路A無關(guān)。
（3）有效縮小電路故障檢查范圍：依據(jù)上述邏輯推論，將故障范圍從左、右兩個(gè)聲道的電路范圍壓縮到右聲道電路B中，即只需要對(duì)右聲道電路進(jìn)一步檢查，故障就可確定。
2 邏輯重合概念的運(yùn)用
邏輯學(xué)中重合概念：如圖2（a）所示，為邏輯學(xué)中重合概念示意圖，即A、B兩部分完全重合，相互影響。
邏輯重合概念對(duì)電路故障的分析：在圖2（b）中，電路A：是輸入級(jí)放大器的電源供給電路，電路B：是功率放大器的電源供給電路。電路A和電路B的直流電壓供給是同一個(gè)電源電路，這就是邏輯重合。邏輯分析如下：
（1）直流電源電路：它同時(shí)為輸入級(jí)放大器和功率放大器提供直流工作電壓，即直流電源電路是電路A和電路B的完全共用電路，一旦電源電路出現(xiàn)故障，將同時(shí)影響到輸入級(jí)放大器電路和功率放大器電路。例如電源電路出現(xiàn)無電壓供給故障時(shí)，兩放大電路同時(shí)沒有了工作電壓，將沒有放大信號(hào)輸出給揚(yáng)聲器。
（2）運(yùn)用邏輯學(xué)的重合原理進(jìn)行反向推理：如果輸入級(jí)放大器和功率放大器電路出現(xiàn)相同的故障現(xiàn)象，就說明它們的共用電路（如電源電路）出現(xiàn)了故障。
（3）有效縮小電路故障檢查范圍：依據(jù)上述邏輯推論，將故障范圍從整個(gè)電路范圍壓縮到共用電源電路中，即只需要對(duì)電路A和電路B的共用電路進(jìn)一步檢查，故障點(diǎn)就可確定。
3 邏輯包含概念的運(yùn)用
邏輯學(xué)中包含概念：圖3所示是邏輯學(xué)中包含概念及電路示意圖，圖3a所示是A包含B的示意圖，B是A的一部分，B出現(xiàn)問題會(huì)影響A整體。
將邏輯包含概念應(yīng)用到電路故障分析中來：在圖3b中，電路A：由輸入級(jí)大器、功率放大器和揚(yáng)聲器組成；電路B：是功率放大器。邏輯思路如下：
（1）功率放大器電路B只是A電路中的一個(gè)部分，它出現(xiàn)任何故障都將影響A電路的整體工作性能。例如，當(dāng)功率放大器B出現(xiàn)故障導(dǎo)致信號(hào)失真時(shí)，將導(dǎo)致整個(gè)電路A出現(xiàn)噪聲故障。
（2）反向邏輯推理：如果整個(gè)A電路出現(xiàn)噪聲大故障時(shí)，不一定就是功率放大器B電路的故障，A電路中的輸入級(jí)放大器也可能會(huì)導(dǎo)致噪聲大的故障。所以，要從A電路整體出發(fā)，考慮構(gòu)成A電路的每個(gè)單元電路。
（3）有效縮小電路故障檢查范圍：依據(jù)上述邏輯推論，將故障范圍從整個(gè)電路A壓縮到包含電路B中，即只需要對(duì)電路B作進(jìn)一步檢查，故障點(diǎn)就可確定
電子電路故障的查找，是電子技術(shù)工作中的一個(gè)難點(diǎn)。好的檢查方法，能幫助檢修人員從復(fù)雜的電子線路中，快速地查找出故障點(diǎn)。本文根據(jù)實(shí)際教學(xué)經(jīng)驗(yàn)，闡述了邏輯理論中不相容、重合、包含等概念，在電路故障分析中的運(yùn)用。對(duì)縮小電路故障范圍，確定故障點(diǎn)將起到重要的作用。
參考文獻(xiàn)
[1]呂國泰.電子技術(shù)[M].北京：高等教育出版社，2007.
[2]胡斌著.電子技術(shù)學(xué)習(xí)方法[M].北京：人民郵電出版社，2004.
作者簡介
張燕玉，女，現(xiàn)為湖北黃岡師范學(xué)院副教授。研究方向?yàn)闄C(jī)電一體化。
關(guān)鍵詞：假言命題；蘊(yùn)涵關(guān)系時(shí)間；悖論
普通邏輯學(xué)中的“假言命題是反映某一事物情況存在是另一事物存在的條件的復(fù)合命題?！盵1]它揭示的是客觀世界兩事件之間的蘊(yùn)涵關(guān)系，所以又可以稱為蘊(yùn)涵命題。例如：1、溫度適中，種子發(fā)芽。2、人心齊，泰山移。
“假言命題只涉及兩個(gè)事物情況，所反映的兩事件之間是條件與結(jié)果的關(guān)系” [2]。與聯(lián)言命題和選言命題不同，它對(duì)事物情況的反映是在假定基礎(chǔ)上有條件的進(jìn)行反映，并且所反映的不是此兩事件本身，而是此兩事件之間的蘊(yùn)涵關(guān)系。我們把具有條件和結(jié)果關(guān)系的兩事件稱為前件和后件。表示條件的命題稱為前件，表示結(jié)果（或者說依賴條件而成立）的命題稱為后件。邏輯學(xué)根據(jù)兩事件之間蘊(yùn)涵關(guān)系的不同情況將假言命題分為三種：充分條件假言命題，必要條件假言命題，充分必要條件假言命題。
1 充分條件假言命題
斷定某一事物情況存在是另一事物情況存在的充分條件的假言命題，叫充分條件假言命題。充分條件就是產(chǎn)生某一結(jié)果的充足的、足夠的條件。該條件一出現(xiàn)，它就會(huì)產(chǎn)生某種相應(yīng)的結(jié)果。設(shè)“P”和“q”是兩個(gè)事物情況，如果有“P”，則必然有“q”，那么“P”就是“q”的充分條件。即 “P”蘊(yùn)涵著“q”。但兩事件之間存在時(shí)間差。例如：摩擦物體，物體生熱。充分條件假言命題用符號(hào)刻畫為“Pq”，讀作“”蘊(yùn)涵“”。作為蘊(yùn)涵關(guān)系中的一種充分條件是前件P必然蘊(yùn)涵后件q，前后件之間的蘊(yùn)涵關(guān)系是有前件必有后件，沒有前件后件不確定，有后件前件不確定，沒有后件則沒有前件。它描述的是客觀世界中若干獨(dú)立事件分別可以導(dǎo)致同一事件的現(xiàn)象.如發(fā)燒就可以由若干原因單獨(dú)導(dǎo)致。充分條件假言命題的真假與前后件的真假之間的關(guān)系，可用下面的真值表來表示；
P q Pq
真 真 真
真 假 假
假 真 真
假 假 真
2 必要條件假言命題
斷定某一事物情況存在是另一事物情況存在的必要條件的假言命題，叫必要條件假言命題。必要條件是產(chǎn)生某種結(jié)果必需的、不可缺少的條件。沒有這種條件，就肯定不會(huì)產(chǎn)生某種結(jié)果，但有了這種條件，未必會(huì)產(chǎn)生某種結(jié)果。設(shè)“P”和“q”是兩個(gè)事物情況，如果無“P”，則必然無“q”，那么“P”就是“q”的必要條件。即 “P”必然被 “q”蘊(yùn)涵著，用符號(hào)刻畫為“Pq”，讀作“P”反蘊(yùn)涵“q”。它描述的是客觀世界中若干事件齊備后共同導(dǎo)致同一事件的現(xiàn)象，例如：溫度適中，種子發(fā)芽。必要條件假言命題作為蘊(yùn)涵關(guān)系它的前后件之間的依存關(guān)系是沒有前件必沒有后件，有前件后件不確定，沒有后件前件不確定，有后件則有前件。必要條件假言命題的真假與前后件的真假之間的關(guān)系，可用下面的真值表來表示。
P q Pq
真 真 真
真 假 真
假 真 假
假 假 真
3 充分必要條件假言命題
作為蘊(yùn)涵命題的第三種，充分必要條件假言命題簡稱為充要條件假言命題。它具備充分條件假言命題和必要條件假言命題兩種命題的特征。前件既是后件的充分條件，又是后件的必要條件。設(shè)“P”和“q”是兩個(gè)事物情況，如果有“P”，則必然有“q”，如果無“P”，則必然無“q”，那么“P”就是“q”的充分必要條件。用符號(hào)記為“Pq”，讀作“P等值于q”。如“三角形三條邊相等，則三內(nèi)角相等”。由于充分必要條件假言命題前后件之間是相互蘊(yùn)涵關(guān)系，所以前件成立則后件成立，前件不成立，則后件不成立；后件成立則前件成立，后件不成立，則前件不成立。它描述的是客觀世界中一對(duì)一的事件關(guān)系，即“當(dāng)且僅當(dāng)P，才q”。如“當(dāng)且僅當(dāng)月亮運(yùn)行到地球和太陽之間，三者成一直線時(shí)，才會(huì)出現(xiàn)日食”，前后件之間同真同假，所以又把充分必要條件假言命題稱為等值命題。充分必要條件假言命題的真假與前后件之間的真假關(guān)系，可用下面的真值表來表示：
P q Pq
真 真 真
真 假 假
假 真 假
假 假 真
復(fù)合命題中的聯(lián)言命題揭示的是客觀世界事件之間的并存關(guān)系，選言命題揭示的是事件之間選擇關(guān)系，假言命題揭示的是事件之間的蘊(yùn)涵關(guān)系。三種假言命題分別反映三種蘊(yùn)涵關(guān)系，充分條件反映的是前件P必然蘊(yùn)涵后件q，必要條件反映的是后件q必然蘊(yùn)涵前件P，充要條件反映的是前后件P與 q之間的必然相互蘊(yùn)涵。三種假言命題是否真的就概括了客觀世界中的所有蘊(yùn)涵關(guān)系，也就說客觀世界中的蘊(yùn)涵關(guān)系是否就只有這三種？
4 假言命題的第四種——充要悖轉(zhuǎn)假言命題
普通邏輯學(xué)介紹且只介紹了三種假言命題，就是充分條件假言命題、必要條件假言命題以及充分必要條件假言命題?？疾爝@三種假言命題的前后件，它們有一個(gè)共同點(diǎn)，就是前件與后件作為兩個(gè)獨(dú)立的事件，它們之間是反對(duì)關(guān)系。反對(duì)的雙方是可以蘊(yùn)涵的，所以充分條件假言命題的前件就蘊(yùn)涵著后件，必要條件假言命題則是后件蘊(yùn)涵前件，充要條件則是前后件之間的相互蘊(yùn)涵。反對(duì)雙方的相互蘊(yùn)涵得益于時(shí)間的運(yùn)轉(zhuǎn)，時(shí)間是蘊(yùn)涵關(guān)系存在的必要條件。
邏輯學(xué)研究的是思維的規(guī)律，但歸根結(jié)底，思維的規(guī)律是客觀事物的規(guī)律在人類頭腦中的反映。盡管邏輯學(xué)在探索思維規(guī)律的理論中始終沒有提及時(shí)間這一因素，但時(shí)間始終在客觀世界中客觀地存在著，并且無處不在。既然反對(duì)的雙方在時(shí)間的運(yùn)轉(zhuǎn)之下能夠相互蘊(yùn)涵，那么在時(shí)間的運(yùn)轉(zhuǎn)之下，矛盾的雙方是否也可以相互蘊(yùn)涵？在客觀世界中，矛盾雙方p與-p在時(shí)間作用下相互蘊(yùn)涵轉(zhuǎn)化的現(xiàn)象隨處可見。太陽的東升西落，人們的上班與下班，機(jī)器的運(yùn)轉(zhuǎn)與不運(yùn)轉(zhuǎn)，歷史的分與合等。我們?cè)趪@服客觀世界奇妙的同時(shí)，用符號(hào)將矛盾雙方p與-p的相互蘊(yùn)涵轉(zhuǎn)換刻劃如下：p-pp-p........，也可記為P-p，暫且稱之為矛盾且逆轉(zhuǎn)關(guān)系，簡稱悖轉(zhuǎn)關(guān)系?？梢园阉暈榧傺悦}的第四種。作為蘊(yùn)涵關(guān)系的第四種與前三種假言命題相比，共同的一點(diǎn)是它們的存在都離不開時(shí)間。而它的特殊性在于它的前后件是矛盾關(guān)系，在時(shí)間的運(yùn)轉(zhuǎn)之下，矛盾的一方在形成自己的同時(shí)不斷地向著對(duì)方轉(zhuǎn)變靠攏，周而復(fù)始。悖轉(zhuǎn)關(guān)系想要描述的是兩矛盾事件動(dòng)態(tài)的一面，它對(duì)矛盾事件的解讀更進(jìn)了一層，它既沒有違背辯證法，也沒有違背思維規(guī)律中的矛盾律。但是我們?cè)谡劶般Ｕ摰臅r(shí)候，卻把時(shí)間棄置不顧，不分前提與結(jié)果是兩次事件，簡單地把二者并列一處，最終眼里看到的只剩下矛盾雙方的并存。把矛盾雙方在同一時(shí)間點(diǎn)上并列呈現(xiàn)，在主觀思維中做得到，在客觀世界里卻無法做到，悖論的產(chǎn)生就在于此。
參考文獻(xiàn)
[1]《普通邏輯》編寫組. 普通邏輯[M].上海人民出版社2004。1
[2]張學(xué)立.大學(xué)邏輯[M].貴州人民出版社，2009.8
形式語義學(xué)是邏輯和語言交叉研究的產(chǎn)物，是在邏輯框架內(nèi)構(gòu)建的關(guān)于自然語言的語義學(xué)。關(guān)于自然語言的形式語義理論，其目標(biāo)雖是處理自然語言的語義，但其實(shí)現(xiàn)步驟卻是先構(gòu)造自然語言的句法(這種句法是供語義解釋之用而和語義對(duì)應(yīng)的句法，不同于傳統(tǒng)語言學(xué)理解的句法概念)。跟別的語言學(xué)理論如轉(zhuǎn)換語法相比較，形式語義學(xué)側(cè)重語義研究，但從自身的內(nèi)部分工看，形式語義學(xué)也涉及句法，包括句法和語義兩個(gè)層面的研究。
形式語義學(xué)中主要的理論有：蒙太格語法、廣義量詞理論、話語表述理論、情境語義學(xué)和類型邏輯語法?，F(xiàn)分述如下：
由美國邏輯學(xué)家蒙太格在上世紀(jì)60-70年代創(chuàng)立的蒙太格語法(montague grammar)，把自然語言看作是同邏輯語言本質(zhì)上相同的符號(hào)系統(tǒng)，開創(chuàng)了自然語言形式語義學(xué)研究的領(lǐng)域。蒙太格語法構(gòu)造的ptq英語部分語句系統(tǒng)成功地描述了自然語言的量化表達(dá)式、內(nèi)涵語境及命題態(tài)度句等語義特征?！岸嗄陙恚Z言學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家一直在從事關(guān)于自然語言形式處理的研究。蒙太格關(guān)于英語部分語句系統(tǒng)的形式化方案是這個(gè)研究方向的極其重要的一步。……理查德·蒙太格引進(jìn)了從句法和語義兩個(gè)層面分析自然語言的強(qiáng)有力的方法，他發(fā)展了一種形式化的工具，為深刻理解自然語言的語義學(xué)提供了必要的技術(shù)背景。”[1]301形式語義學(xué)的最顯著特征是把自然語言看做是現(xiàn)代邏輯形式化方法處理的對(duì)象，認(rèn)為自然語言與邏輯語言沒有實(shí)質(zhì)的區(qū)別，可以通過構(gòu)造自然語言形式系統(tǒng)的方式來解決其語義問題。具體的操作手段是建立句法和語義的對(duì)應(yīng)原則，構(gòu)造基于意義組合原則的語義模型。這些思想觀念和技術(shù)工具是形式語義學(xué)的基石(montague，1974)，是蒙太格及cresswell、partee等人最早明確提出并付諸實(shí)施的，所以說蒙太格語法是形式語義學(xué)研究的開端。
概言之，蒙太格語法強(qiáng)調(diào)的要點(diǎn)是：(1)自然語言和邏輯語言在深層構(gòu)造方面是相通的，從代數(shù)結(jié)構(gòu)及其運(yùn)算的角度進(jìn)行研究，數(shù)學(xué)和邏輯的方法便進(jìn)入自然語言的研究領(lǐng)域。自然語言的形式語義學(xué)是數(shù)學(xué)的分支而不屬于心理學(xué)；(2)句法和語義對(duì)應(yīng)的原則，即每條句法規(guī)則對(duì)應(yīng)一條語義規(guī)則。句法規(guī)則是自然語言由詞條形成詞組短語最終形成語句的規(guī)則(類似邏輯系統(tǒng)合式公式的形成規(guī)則)，與之對(duì)應(yīng)的語義規(guī)則就是按照句法表達(dá)式的形成過程而制定的意義組合規(guī)則。句法由小的符號(hào)串毗連大的符號(hào)串，語義也由部分表達(dá)式的語義合成復(fù)合表達(dá)式的語義。復(fù)合表達(dá)式的語義是其部分語義的函項(xiàng)。所以句法和語義的對(duì)應(yīng)即是意義的組合原則；(3)自然語言句子的意義是模型論語義學(xué)所謂的真值條件，自然語言詞條、詞組短語的意義皆服務(wù)于對(duì)句子真值條件的描述。上述思想就是邏輯觀念強(qiáng)勢(shì)影響自然語言研究的結(jié)果。
例如，蒙太格語法中的句法規(guī)則：若α是名詞短語且β是動(dòng)詞短語，則f(α，β)=αβ是語句。對(duì)應(yīng)的語義規(guī)則為：若α的語義是α且β的語義是β，則αβ的語義是αβ=g(α，β)=α(β)。語句表達(dá)式αβ的意義αβ顯然是其部分意義α和β的函項(xiàng)，其真值條件為：α(β)=1當(dāng)且僅當(dāng)β∈α。名詞短語α的意義α和動(dòng)詞短語β的意義β在語句真值條件的描述中起作用。
思考的問題有：蒙太格語法強(qiáng)調(diào)自然語言和邏輯語言的共通之處，是否對(duì)不同點(diǎn)給予足夠的關(guān)注？特別是比較兩種語言系統(tǒng)的差異性。在系統(tǒng)初始部分它們的追求是類似的，逐層形成表達(dá)式且遵循意義的組合原則。而后則分道揚(yáng)鑣，邏輯系統(tǒng)轉(zhuǎn)而關(guān)注邏輯有效式的證明等內(nèi)容，自然語言系統(tǒng)卻仍在句法形成機(jī)制方面深入細(xì)化。其次，邏輯系統(tǒng)有可靠性和完全性等元邏輯討論，自然語言語句系統(tǒng)有無類似的性質(zhì)？是否對(duì)此可從句法和語義對(duì)應(yīng)的角度來討論類似可靠性和完全性那樣的性質(zhì)？再則，漢語的語句系統(tǒng)不同于英語的語句系統(tǒng)，除有句法形態(tài)和句法生成的差別外，其語義解釋有無特色？最本質(zhì)的區(qū)別在哪里？
廣義量詞理論gqt(generalized quantifier theory)研究自然語言的量化表達(dá)式的意義及其語義共性。廣義量詞理論雖被看作是20世紀(jì)80年代提出的形式語義理論，但其思想根源卻可追溯到20世紀(jì)初：現(xiàn)代邏輯的創(chuàng)始人frege最早提出廣義量詞的基本思想；其后50—60年代mostowski和lindstrm的工作加深了對(duì)廣義量詞的理解；20世紀(jì)70-80年代以來，montague及barwise等人把量詞的概念推廣到自然語言的領(lǐng)域，使廣義量詞理論成為形式語義學(xué)領(lǐng)域的重要門類；這以后keenan和等人繼續(xù)關(guān)注自然語言量化表達(dá)式的研究。不同類型的量詞對(duì)應(yīng)自然語言的各種量化表達(dá)式：類型為〈1〉的量詞對(duì)應(yīng)自然語言的名詞短語“every man”，“somedog”等及邏輯系統(tǒng)的“”和“”，而〈1，1〉類型乃至〈〈1，1〉，1〉類型的量詞分別對(duì)應(yīng)自然語言限定詞“all”，“the”等以及自然語言中“five more…than…”之類非連續(xù)表達(dá)式，而邏輯系統(tǒng)則沒有相應(yīng)的對(duì)應(yīng)物?？梢姡琯qt的縱深發(fā)展愈益依賴自然語言的領(lǐng)域[2]。
gqt嚴(yán)格講不是關(guān)于自然語言的框架理論，它僅僅關(guān)注自然語言表現(xiàn)出的量化意義。一方面它是經(jīng)典邏輯量詞概念在自然語言領(lǐng)域的推廣，另一方面其思路也是蒙太格語法對(duì)自然語言量化表達(dá)式研究的延伸。gqt的主要內(nèi)容有：(1)對(duì)量化表達(dá)式的語義解釋建立在集合論基礎(chǔ)上。若把自然語言量化句一分為二，則其中的名詞短語就是〈1〉類型的量詞。量詞就是函項(xiàng)，其論元是句中動(dòng)詞短語所表示的集合。若把自然語言量化句一分為三，其中的限定詞就是〈1，1〉類型的量詞。這種量詞是二元函項(xiàng)，其第一論元就是限定詞所修辭的名詞所表示的集合，其第二論元就是動(dòng)詞短語所表示的集合；(2)既然量化表達(dá)式表現(xiàn)為各種層次集合之間的關(guān)系，gqt就從集合論角度來討論量詞的各種數(shù)學(xué)性質(zhì)，如駐留性、數(shù)量性和擴(kuò)展性等。gqt還進(jìn)一步關(guān)注自然語言量化表達(dá)式與其集合論對(duì)應(yīng)物的關(guān)系，即是說自然語言量化表達(dá)式是否能夠表達(dá)出給定集合涉及的所有關(guān)系，這是所謂表達(dá)力問題；(3)gqt的研究還涉及多樣模式的量詞、關(guān)于量詞的疊置復(fù)合與量詞類型的提升、以及量詞的可定義性等問題，gqt所謂非標(biāo)準(zhǔn)的量化表達(dá)式概念擴(kuò)展了其研究范圍，非標(biāo)準(zhǔn)的量化表達(dá)式包括副詞和連詞等表達(dá)式。
例子解讀：對(duì)英語量化句“every boy runs”一分為三，限定詞“every”的語義every是〈1，1〉類型的量詞，名詞“boy”的語義boy是這個(gè)量詞的第一個(gè)論元，動(dòng)詞短語“runs”的語義runs是這個(gè)量詞的第二個(gè)論元。整個(gè)英語句的語義every boy runs的真值條件是：boy這個(gè)集合跟run這個(gè)集合構(gòu)成的序?qū)儆趀very 這個(gè)集合序?qū)Φ募希磝，y〉d[2]：xy｝。直觀看，英語句“every boy runs”為真當(dāng)且僅當(dāng)“boy”對(duì)應(yīng)的集合隸屬于“runs”對(duì)應(yīng)的集合，即凡屬于“boy”類皆屬于“runs”類。
思考的問題：廣義量詞作為一種集合論函項(xiàng)，不僅是抽象模型論研究的對(duì)象，還可從高階邏輯的角度研究，近年來已出現(xiàn)這樣的方向。其次，漢語的量化表達(dá)式除了在句法形態(tài)上不同于英語外，是否存在獨(dú)特的語義定義及其語義性質(zhì)？基于集合論的量詞函項(xiàng)的概念跟自然語言量化表達(dá)式一般來說是不對(duì)等的，歐美學(xué)者對(duì)此用英語做了一些比較，是否可以考慮把這樣的工作延伸到漢語量化表達(dá)式的領(lǐng)域？
話語表述理論drt(discourse representation theory)擅長處理句子之間名詞與代詞的照應(yīng)關(guān)系以及動(dòng)詞在時(shí)間方面的聯(lián)系，對(duì)句子序列的語義分析采用一種漸進(jìn)遞增的動(dòng)態(tài)方法。drt把以往蒙太格語法對(duì)自然語言單個(gè)句子的分析擴(kuò)大到句子序列，是動(dòng)態(tài)的描述自然語言意義的形式語義理論。其創(chuàng)始人kamp指出：“drt從以蒙太格語法為首的關(guān)于自然語言語義學(xué)的模型論方法那里發(fā)展起來?！盵3]253此外，drt還在句法結(jié)構(gòu)分析樹與其語義模型之間，增設(shè)了一個(gè)稱作話語表述結(jié)構(gòu)drs的中間層面作為自然語言的語義表現(xiàn)。
簡言之，drt有兩個(gè)要點(diǎn)：一是突破形式語義理論孤立分析單個(gè)句子的傳統(tǒng)，把視角擴(kuò)大到句子序列的層面以便把握名詞和代詞的照應(yīng)關(guān)系；二是分析方法的革新，由靜態(tài)發(fā)展到動(dòng)態(tài)。如英語句子序列“john walked. he whistled”，蒙太格語法只能把第一句分析成walk(j)，第二句分析成whistle(x)，兩個(gè)結(jié)果彼此獨(dú)立，沒有依賴聯(lián)系。而drt則把兩個(gè)句子看作一個(gè)互相依賴的整體，第一個(gè)句子的分析要影響第二個(gè)句子的分析，第二句子的分析基于第一句子的分析。如對(duì)上例句drt的動(dòng)態(tài)分析為：
這里見到，第二句分析所獲信息是對(duì)第一句分析的添加，是在第一句分析基礎(chǔ)上生長擴(kuò)展的結(jié)果。承前句子影響后續(xù)句子，后續(xù)句子離不開承前句子，這種語言表達(dá)的語感要求在drt這里獲得體現(xiàn)。同時(shí)分析也呈現(xiàn)出一種動(dòng)態(tài)過程：第二圖所示drs涵蓋了第一圖所示drs，第二個(gè)drs直接基于第一個(gè)drs生長出來，并由此取代了第一個(gè)drs。好比人的生長，成人形態(tài)取代更新了幼年形態(tài)。動(dòng)態(tài)意味生長，意味更新。此外，第二個(gè)drs中的公式“x=y”畫龍點(diǎn)睛地揭示了該句子系列專名和代詞的照應(yīng)關(guān)系。
思考的問題：drt同動(dòng)態(tài)蒙太格語法dmg是一種什么關(guān)系？二者各自的利弊如何？dmg是一種基于組合原則的動(dòng)態(tài)形式語義理論，而drt對(duì)組合原則所采取的靈活態(tài)度說明了什么？同是動(dòng)態(tài)語義理論，drt跟一脈相承的動(dòng)態(tài)謂詞邏輯dpl和普通動(dòng)態(tài)邏輯在語義解釋上為什么有微小差異，在drt語義模型中確立的“嵌入確認(rèn)函項(xiàng)”有什么價(jià)值？怎樣在技術(shù)上處理動(dòng)詞短語乃至更多種類表達(dá)式的回指現(xiàn)象？能否從漢語和英語回指現(xiàn)象在句法上的不同表現(xiàn)，挖掘出深刻的語義根源？
情境語義學(xué)ss(situation semantics)對(duì)命題態(tài)度句的心理特征和語句的語境因素給予充分關(guān)注，運(yùn)用信息條目的方式描述自然語言的語義語用現(xiàn)象。情境語義學(xué)是歐美20世紀(jì)80年代產(chǎn)生的一種新理論，創(chuàng)始人是美國邏輯學(xué)家barwise和語言哲學(xué)家perry，其代表作是1983年出版的situationand attitudes 一書。國際上著名刊物《語言學(xué)和哲學(xué)》(linguistics & philosophy)曾出專輯，收集了許多哲學(xué)家、邏輯學(xué)家、語言學(xué)家、心理學(xué)家及計(jì)算機(jī)人工智能科學(xué)家關(guān)于情境語義學(xué)的討論文章。美國和歐洲好些大學(xué)還開設(shè)了情境語義學(xué)的專門課程。情境語義學(xué)是貫穿“信息”思想的語義理論，是關(guān)于信息的數(shù)學(xué)和邏輯，是一種比較獨(dú)特的形式語義學(xué)理論，自上個(gè)世紀(jì)80年代以來在邏輯學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)以及語言哲學(xué)等領(lǐng)域內(nèi)顯示出深遠(yuǎn)的影響。
ss的最顯著特色是其“另類”性質(zhì)，是對(duì)tarski邏輯語義學(xué)傳統(tǒng)的挑戰(zhàn)。ss為了有效解決所謂命題態(tài)度句所涉及的心理認(rèn)知問題，主張把句子的外延看作是句子所描述的情境而不是真值。在邏輯看來，命題態(tài)度詞作為算子，其論元是認(rèn)知主體和賓語子句。然而整個(gè)命題態(tài)度句的真假卻不依賴作為其部分的賓語子句的真假，這里組合原則失效。ss認(rèn)為命題態(tài)度句是否成立，并不取決于賓語子句的真值，而依據(jù)賓語子句所描述的情境和主體是否具有特定的認(rèn)知關(guān)系。其次，ss是一種涉及世界本體性質(zhì)的語義理論。情境由信息條目組成，而信息條目表現(xiàn)為：一個(gè)關(guān)系、若干具有不同角色作用的個(gè)體以及時(shí)間和空間單位等元素的排列。關(guān)系是獨(dú)立存在的，并不由個(gè)體的集合或個(gè)體序?qū)Φ募蟻矶x。再次，ss認(rèn)為句子的意義是該句的陳述情境和該句所描述的情境的一種關(guān)聯(lián)，而陳述情境則涉及講話者和聽話者等因素。ss把語境當(dāng)作一種特殊的情境，ss的觸角已經(jīng)延伸到語用領(lǐng)域。此外，ss對(duì)情境進(jìn)行抽象得到情境類型的概念，這有助于刻畫自然語言的各種條件句。情境類型間的關(guān)聯(lián)思想導(dǎo)致信息流的概念，據(jù)此產(chǎn)生了信息流邏輯[4]。
關(guān)于ss的另類性質(zhì)，其理解需要例句的解析：
a. bob believes that new york is between boston and washington.
b. bob believes that 1＋2=3.
命題態(tài)度句a和b的賓語子句盡管都是真的，但若bob只知美國地理常識(shí)而不懂算術(shù)計(jì)算，則a真而b假。按照通常邏輯對(duì)a和b分析所得的公式以及意義組合的函項(xiàng)原則，這是不可能的。所以不能采用傳統(tǒng)的形式語義學(xué)方式處理a和b。在ss看來，a和b各自的賓語子句所描述的情境是不一樣的。a的賓語子句描述的情境為：e′《r，new york，boston，washington，l.1》，而b的賓語子句描述的情境為：e′《i，+(1，2)，3，l，1》，因此a成立而b不成立是完全可能的。
思考的問題：隨著形式語義學(xué)對(duì)自然語言的深入研究，感到原有的邏輯觀念的確與自然語言的實(shí)際情況具有相當(dāng)差距，ss的獨(dú)特視角自有其合理性。組合原則盡管在自然語言的認(rèn)知心理領(lǐng)域失效，但在自然語言語義分析的其他領(lǐng)域其作用不容抹殺，組合原則是否有一定適用范圍？或者是否可以考慮對(duì)組合原則做出融合ss觀念的全新理解？ss跟當(dāng)今認(rèn)知邏輯有何關(guān)聯(lián)？如基于情境類型思想的信息流邏輯在刻畫信念變化方面能否有所作為？
類型邏輯語法(type logical grammar)又叫范疇類型邏輯。作為徹底貫徹意義組合原則的理論，類型邏輯語法不僅可以抽象地研究自然語言句法范疇的運(yùn)行規(guī)律，還能夠通過引入簡單類型λ-演算的工具來展現(xiàn)句法和語義的并行接口(interface)。類型邏輯語法的發(fā)展階段分為：古典范疇語法，lambek句法演算”[5]，類型-邏輯語義學(xué)和語法邏輯。古典范疇語法把語言符號(hào)串由小到大逐層逐級(jí)地生成毗連轉(zhuǎn)換成范疇的運(yùn)算；lambek句法演算基于范疇構(gòu)成一個(gè)形式系統(tǒng)，用其中的定理表示范疇的運(yùn)算規(guī)律；類型-邏輯語義學(xué)通過句法范疇和(一詞項(xiàng)的并行推演，來展示自然語言句法和語義的對(duì)應(yīng)；語法邏輯的特色是把函子范疇中的斜線算子和范疇的毗連看作是二元模態(tài)算子，從而在類型邏輯語法領(lǐng)域內(nèi)開辟了多模態(tài)系統(tǒng)的研究方向。
類型邏輯語法的要點(diǎn)有：(1)建立更為明確的句法語義概念。句法比較單純，所以lambek演算明確以自然語言句法為研究起點(diǎn)。在形式語義學(xué)看來語義是核心，所以類型-邏輯語義學(xué)勢(shì)必進(jìn)入語義領(lǐng)域，并且對(duì)句法和語義給予直接的配對(duì)，在規(guī)則中同時(shí)提供句法范疇推演和語義詞項(xiàng)組合的依據(jù)。在模態(tài)邏輯思潮的影響下，作為多模態(tài)范疇系統(tǒng)的語法邏輯便應(yīng)運(yùn)而生，語法邏輯專門針對(duì)句法范疇的運(yùn)行規(guī)律進(jìn)行更深刻的抽象。(2)類型邏輯語法尤其強(qiáng)調(diào)推演和計(jì)算的精神，認(rèn)為語法就是邏輯，認(rèn)知就是計(jì)算，分析就是演繹。類型邏輯語法不僅延續(xù)蒙太格語法構(gòu)造自然語言語句系統(tǒng)的傳統(tǒng)，還廣泛吸納了gentzen后承演算和框架語義學(xué)等現(xiàn)代邏輯的工具。
類型邏輯語法對(duì)自然語言的分析是一種句法范疇和語義詞項(xiàng)的并行推演，我們給出例句“john loves mary”的分析：
推演圖的最上端是“同一公理”的三次運(yùn)用，對(duì)應(yīng)三個(gè)詞條“john”，“l(fā)oves”和“mary”的類型邏輯語義指派。推演圖的最下端表明三個(gè)詞條的類型邏輯語義的毗連推出了句子的類型邏輯語義，即句子對(duì)應(yīng)的邏輯公式和真值范疇。句子構(gòu)成部分的類型邏輯語義決定了整個(gè)句子的類型邏輯語義。
思考的問題有：類型邏輯語法句法演算的表述方式有：公理表述、gentzen后承表述和自然演繹表述。公理表述有助于元邏輯討論，gentzen后承表述有利于判定問題的解決，而自然演繹表述強(qiáng)調(diào)同自然語言的聯(lián)系。除此之外，各自利弊應(yīng)該有更深入的研討。其次，在范疇類型邏輯的多模態(tài)系統(tǒng)中，其邏輯推演公理和結(jié)構(gòu)公設(shè)是否正好對(duì)應(yīng)轉(zhuǎn)換語法流派所謂句法生成和句法轉(zhuǎn)換的概念？
總之，形式語義學(xué)各理論的共同點(diǎn)是：對(duì)待自然語言，在給定句法規(guī)則基礎(chǔ)上確立與句法嚴(yán)格對(duì)應(yīng)的語義運(yùn)算規(guī)則，對(duì)此遵循邏輯語義學(xué)要求的組合原則①邏輯強(qiáng)勢(shì)影響下對(duì)自然語言語義的分析結(jié)果畢竟適合計(jì)算的要求，便于計(jì)算機(jī)的信息處理。
二、語言研究促使邏輯工具的創(chuàng)新
顯然，形式語義學(xué)諸理論是多年來邏輯影響自然語言研究的產(chǎn)物，邏輯對(duì)自然語言研究的作用毋庸置疑，這是事情的一方面。約翰·范本特姆寫道：弗雷格把邏輯語言和自然語言的關(guān)系比作顯微鏡和人的眼睛之間的關(guān)系。前一種工具更精確，但所視范圍非常有限，而后者可能不太精確，但是它的功能更多，原則上應(yīng)用范圍非常廣泛。隨著形式語義學(xué)研究的深入，自然語言的豐富性對(duì)比出邏輯工具的貧乏性，于是二者的互動(dòng)關(guān)系產(chǎn)生另一方向的作用，即自然語言的豐富性促進(jìn)邏輯的變化，催生邏輯工具的創(chuàng)新。從上世紀(jì)70年代至今，自然語言研究反過來作用于邏輯，對(duì)邏輯的發(fā)展給予積極的影響。
自然語言中所謂命題態(tài)度句是指包含諸如“知道”、“相信”之類認(rèn)知?jiǎng)釉~的句子，在形式語義學(xué)看來，這種動(dòng)詞不宜解釋成以其賓語子句的真值為論元的真值函項(xiàng)，即不能由“晨星是昏星”的真值來決定“張三相信晨星是昏星”的真值。外延的一階邏輯無法揭示命題態(tài)度句的意義，這就促使邏輯工具的創(chuàng)新，由外延邏輯發(fā)展到內(nèi)涵邏輯，由一階邏輯提升到高階邏輯，于是產(chǎn)生內(nèi)涵類型論的邏輯工具il。在蒙太格的學(xué)生兼同事gallin看來，內(nèi)涵類型論還可發(fā)展出另一種簡潔的邏輯理論——兩體類型論(two-sorted type theory)。gallin注意到，內(nèi)涵類型語言沒有表示可能世界的變項(xiàng)，所以不能對(duì)可能世界等內(nèi)涵實(shí)體直接進(jìn)行句法運(yùn)算，進(jìn)而λ-轉(zhuǎn)換的運(yùn)算受到限制，被轉(zhuǎn)換的變項(xiàng)不能處在內(nèi)涵算子的轄域內(nèi)，即要轉(zhuǎn)換的詞項(xiàng)一定是那種其語義值是常值函項(xiàng)的詞項(xiàng)。要克服內(nèi)涵類型論的局限，gallin創(chuàng)建了兩體類型論。把表示可能世界的類型s算作是基本類型，句法語言就有表達(dá)可能世界的詞項(xiàng)，可能世界的概念由“語義幕后”轉(zhuǎn)到“句法前臺(tái)”。更有甚者，圍繞體現(xiàn)認(rèn)知心理特點(diǎn)的命題態(tài)度句，產(chǎn)生了對(duì)傳統(tǒng)邏輯語義觀念進(jìn)行挑戰(zhàn)的情境語義學(xué)，進(jìn)而催生了所謂“情境多體邏輯”[6]的誕生。
自然語言既有句法層面的構(gòu)造，也有語義層面的內(nèi)容，兩層面同時(shí)并存。譬如我們說出漢語句“美國次貸危機(jī)正在蔓延”，我們既知道該句的句法構(gòu)造，專名“美國次貸危機(jī)”充當(dāng)np，“正在蔓延”是vp。我們也能理解該句的語義：np所指個(gè)體具有vp所指性質(zhì)。即是說，自然語言的實(shí)際表現(xiàn)是句法和語義的并存。基于此，形式語義學(xué)中的類型邏輯語法就以句法和語義的并行推演(接口)的方式展開對(duì)自然語言的分析，而這種句法語義并行的表述方式很快影響到邏輯理論。英國邏輯學(xué)家gabbay提出了加標(biāo)演繹理論lds，給邏輯證明中的每一步公式配備一個(gè)標(biāo)記(label)，公式和標(biāo)記并行推演”[7]。如lds在相干邏輯領(lǐng)域內(nèi)表現(xiàn)出來的規(guī)則及其例證為：
邏輯證明實(shí)行并行推演至少有三方面的好處：(1)可以區(qū)分邏輯證明中對(duì)象語言的特征與元邏輯特征。公式的運(yùn)行規(guī)律是對(duì)象語言的特征，相應(yīng)的標(biāo)記的運(yùn)行規(guī)律自然屬于元邏輯的范疇，這種元邏輯的說明具有更強(qiáng)的解釋力；(2)可從標(biāo)記運(yùn)行規(guī)律的角度說明不同邏輯證明系統(tǒng)的不同特點(diǎn)；(3)可從邏輯證明結(jié)論的標(biāo)記中看到它所依賴的假設(shè)是哪些，即結(jié)論的來源是什么。
在自然語言領(lǐng)域，句子不是最小的語言單位，由句子構(gòu)成的句子序列或句群篇章則是更大的語言單位。句子序列中句子之間具有各種各樣的聯(lián)系，而其中代詞對(duì)名詞的照應(yīng)是一種重要的聯(lián)系。先行句子中名詞或名詞短語所涉及的對(duì)象在后續(xù)句子中用代詞來指稱，這就是自然語言的所謂回指現(xiàn)象。形式語義學(xué)中的話語表述理論drt特別關(guān)注這類現(xiàn)象，用不斷積累遞增信息的動(dòng)態(tài)方法來刻畫句子之間名詞和代詞的聯(lián)系。drt設(shè)置了一個(gè)表現(xiàn)自然語言語義的所謂drs層面，各種層次的drs是由外到內(nèi)逐步構(gòu)造的。最外層drs中的話語所指可通達(dá)到較內(nèi)層的drs中去，相應(yīng)的drs語義解釋涉及的嵌入確認(rèn)函項(xiàng)g就可以擴(kuò)展成把更多的話語所指映射到模型論域中去的g′。這樣的處理啟發(fā)了邏輯賦值的新思路：把公式的語義值確定為賦值函項(xiàng)序?qū)Α磄，g′〉的集合，這就是groenendijk和stokhof提出的動(dòng)態(tài)謂詞邏輯dpl的做法。
dpl在句法方面跟經(jīng)典邏輯沒什么區(qū)別，差異主要體現(xiàn)在語義解釋部分。dpl的語義模型m=〈d，f〉表現(xiàn)為：d是個(gè)體的非空集合；f是個(gè)體常項(xiàng)和謂詞的解釋函項(xiàng)；g是個(gè)體變項(xiàng)的賦值函項(xiàng)；在這個(gè)基礎(chǔ)上，dpl關(guān)于公式語義值的理解比較經(jīng)典邏輯來說就大不相同了：解釋函項(xiàng)把公式映射到g×g(g是賦值函項(xiàng)g的集合)上去，即給公式指派的語義值是由賦值函項(xiàng)的序?qū)?gòu)成的集合，表述如下：
在dpl中，一個(gè)公式參照模型m和賦值函項(xiàng)g真，當(dāng)且僅當(dāng)，在g作為輸入指派的條件下，該公式還存在一個(gè)輸出指派h(groenendijk & stokhof，1991)。以上定義表明：只有合取式和存在量化式的語義賦值，其中的輸入指派和輸出指派不必是等同的。這和drs中話語所指的“可通達(dá)關(guān)系”的延伸思想一脈相承。
在自然語言的實(shí)際狀態(tài)那里，各種邏輯特征交織在一起，比如動(dòng)詞或句子的時(shí)間特征時(shí)態(tài)(tense)、體態(tài)(aspect)和時(shí)相(phase)。這里體態(tài)和時(shí)相在通常時(shí)間邏輯中沒有對(duì)應(yīng)的概念。尤其在漢語中，動(dòng)詞短語“寫好了”，既包含過去時(shí)態(tài)的內(nèi)容，也涉及完成體態(tài)和結(jié)果時(shí)相的因素。因此，形式語義研究便采用了一種混合的邏輯語言，這種語言既有傳統(tǒng)的時(shí)間邏輯算子，如過去時(shí)算子p與將來時(shí)算子f，還有進(jìn)行體態(tài)算子pros與完成體態(tài)算子perf等。據(jù)此galton創(chuàng)立了態(tài)邏輯公理系統(tǒng)，系統(tǒng)中除了傳統(tǒng)時(shí)間邏輯的公理外，還有專門的有關(guān)體態(tài)運(yùn)算的公理。由于自然語言中的不同時(shí)間特征是交織在一起的，混合邏輯語言中分別解釋時(shí)態(tài)與體態(tài)兩類算子的兩類模型就有某種關(guān)聯(lián)。這就是gabbay提出的交織邏輯(fibring logic)的基本思想”[8]。
交織邏輯建立在所謂交織語義學(xué)(fibring semantics)或交織模型(fibring model)的基礎(chǔ)上。gabbay通過模態(tài)邏輯的具體公式來闡述交織語義學(xué)的觀念：令的兩個(gè)模態(tài)語言，其原子命題的集合
邏輯和自然語言研究是一種交叉互動(dòng)的關(guān)系，邏輯方法應(yīng)用到自然語言的領(lǐng)域，產(chǎn)生了形式語義學(xué)。在形式語義學(xué)的研究下，自然語言的特性反過來促進(jìn)邏輯方法的創(chuàng)新。應(yīng)該說，自然語言的形式研究對(duì)邏輯的影響眼下畢竟沒有超過數(shù)學(xué)對(duì)邏輯的影響程度，今后能否達(dá)到是將來才能回答的問題。盡管如此，這種從自然語言的豐富性中挖掘題材來拓寬邏輯的范圍甚至改變邏輯一些觀念的發(fā)展趨勢(shì)是值得關(guān)注的。
[關(guān)鍵詞]李之藻；數(shù)學(xué)；翻譯；影響
一、李之藻生平簡介
李之藻，字振之，又字我存，號(hào)涼庵居士、存園寄叟等，明仁和（今浙江省杭州市人），生于1565年，卒于1630年。萬歷二十六年（1598）進(jìn)士，授官平祿寺少卿、知州、太仆寺卿、南京工部員外郎等職；萬歷二十九年（1601）跟隨傳教士利瑪竇學(xué)習(xí)天文、數(shù)學(xué)、地理等科學(xué)；萬歷三十一年（1603）任福建學(xué)政。李之藻學(xué)識(shí)淵博，長于天文歷算、數(shù)學(xué)，并深諳兵法，與徐光啟齊名。李之藻畢生致力于學(xué)習(xí)西學(xué)，撰譯西學(xué)圖籍，是晚明“中國知識(shí)線和外國知識(shí)線相接觸”下的優(yōu)秀科學(xué)家。
李之藻的曾祖父為李榮，曾是一個(gè)“聽選官”；李之藻的祖父李子堂，當(dāng)過知事；父親李師錫，未任任何官職。李之藻于1598年會(huì)試中名列第五，成為五魁之一，及第進(jìn)士后，于1601年來到北京任官并在此時(shí)結(jié)識(shí)利瑪竇，從此開始跟隨利瑪竇研究西方科技知識(shí)。1602年翻刻了利瑪竇的《坤輿萬國全圖》；1605年，主持福建鄉(xiāng)試，后回到北京，并根據(jù)利瑪竇傳授的知識(shí)和自己的實(shí)地考察，寫成《渾蓋通憲圖說》一書；1608年寫成《圜容較義》，探討了多邊形和多面體的問題；1627年辭官回鄉(xiāng)的李之藻在杭州與葡萄牙傳教士傅泛際（Furtato，1587-1653）共同寫成《名理探》，主要介紹了亞里士多德的邏輯學(xué)。1630年李之藻在徐光啟的推薦之下到北京參與編寫《崇禎歷書》，李之藻為西方數(shù)學(xué)在我國的傳播做了很多開拓性的工作，對(duì)我國數(shù)學(xué)發(fā)展的影響顯而易見，清朝初期的數(shù)學(xué)家梅文鼎就參考了李之藻的數(shù)學(xué)著作，他的三極通機(jī)、三角法等都是建立在李之藻的數(shù)學(xué)研究之上的。
二、李之藻的實(shí)證思想
曾經(jīng)說過：“中國近三百年來思想學(xué)問皆趨于精密細(xì)致科學(xué)化，一般學(xué)者，認(rèn)為系受西洋天主教耶穌會(huì)士來華的影響?！崩钪宓闹匾暙I(xiàn)之一即為傳播了西方的實(shí)證思想。
李之藻生活在封建社會(huì)開始沒落的時(shí)代，作為先進(jìn)知識(shí)分子的他在見識(shí)了西方科技發(fā)達(dá)之后意識(shí)到明末國家實(shí)力的落后，于是傾自身之力介紹西方科技富國強(qiáng)兵也就成了他追求的目標(biāo)?！皩?shí)證”的思想在他身上表現(xiàn)出兩層含義：其一，學(xué)貴求實(shí)。雖然深受儒學(xué)思想的影響，但在認(rèn)識(shí)到中西方科技差異的時(shí)候，他能及時(shí)突破中國妄自尊大的夷夏觀，認(rèn)識(shí)到中國儒學(xué)內(nèi)在缺少對(duì)客觀事物自然規(guī)律的探求，以至于“二千年來論推無證，漫云存而不論，論而不議；未不議則論何以明，不論則存之奚據(jù)？”而西方科學(xué)“闡著實(shí)理”、“窺測既核，研究亦審”，注重對(duì)客觀事物及內(nèi)在規(guī)律的研究；其二，嚴(yán)苛論證。李之藻的兒子李次■在為李之藻的譯著《名理探》作的序言中說：“先大夫（李之藻）自晤利先生于京師，嗣轍所之，必日偕西賢切■揚(yáng)■，迨癸亥廬居靈竺■延體齋傅先生譯《寰有詮》，兩載削稿，再閱歲……第厥意義宏深，發(fā)抒匪易，或只字未安，含毫幾腐，或片言少棘，證解移時(shí)，以故歷數(shù)年，所竟帙十許?！?/p>
李之藻談翻譯《寰有詮》時(shí)說，“借我華言，翻出西義而止，不敢妄增聞見，致失本真?！贝藭r(shí)的李之藻不是初識(shí)西學(xué)，而是已經(jīng)或翻譯、或編寫了《坤輿萬國全圖》、《圜容較義》、《同文算指》等響當(dāng)當(dāng)?shù)奈鲗W(xué)著作之后了，在西學(xué)的譯介上已是享譽(yù)盛名，可他仍然秉持了一貫的認(rèn)真嚴(yán)苛、一絲不茍的學(xué)風(fēng)，實(shí)屬可貴。除此之外，李之藻在治學(xué)中采西學(xué)“實(shí)證”之長，對(duì)于不確定的知識(shí)，在討教利瑪竇之外，還會(huì)不辭辛苦反復(fù)驗(yàn)證，“依法測驗(yàn)良然”。他“是有史以來第一位將西方科學(xué)工具和方法，運(yùn)用到治學(xué)活動(dòng)中的中國科學(xué)家。”
三、李之藻實(shí)證思想之影響
1.傳播邏輯思維
中國古代數(shù)學(xué)較為發(fā)達(dá)，以《九章算術(shù)》為代表，發(fā)展了割圓術(shù)、圓周率、天元術(shù)、四元術(shù)和大衍求一術(shù)等復(fù)雜的數(shù)學(xué)成果，并在明末完成了由籌算到珠算的轉(zhuǎn)型。但正如英國科技史家李約瑟所提到的，“中國人只注重具體數(shù)字，并阻礙他們?nèi)タ紤]抽象的概念；不管怎樣，中國人重視實(shí)踐和經(jīng)驗(yàn)的性格，總是使他們傾向于向這方面發(fā)展，從實(shí)踐到純知識(shí)領(lǐng)域的飛躍中，中國數(shù)學(xué)史未曾參與過的?！敝袊茖W(xué)在向近代邁進(jìn)的過程中逐漸落后，與邏輯學(xué)思維的缺失有一定的關(guān)系。日本著名科學(xué)史家三上義夫曾指出：“在古代中國的數(shù)學(xué)思想中，最大的缺點(diǎn)是缺少嚴(yán)格求證的思想?！薄爸袊酥枷肷?，無所謂三段證法，……不便于幾何學(xué)之成立，之一理由，或即在此?！?/p>
嚴(yán)格求證是公理化的前提，而公理化是使得科學(xué)知識(shí)系統(tǒng)化的有效方法。中國數(shù)學(xué)因?yàn)槿鄙俟砘睦碚摻Y(jié)構(gòu)，沒能形成一個(gè)有效的邏輯系統(tǒng)。在此方面，《幾何原本》作了大膽嘗試?！拔羧嗽啤x鴦繡出從君看，不把金針度與人’。吾輩言幾何之學(xué)，正與此異。因反其語曰：‘金針度去從君用，未把鴛鴦繡與人’?！睅缀谓虝?huì)了數(shù)學(xué)家如何通過嚴(yán)謹(jǐn)周密絲絲入扣的推理來證明結(jié)論的正確性，正表現(xiàn)出其邏輯思維的說服力，“歐幾里得應(yīng)用邏輯學(xué)來整理幾何學(xué)研究成果，建立了第一個(gè)幾何學(xué)公理體系。至此，數(shù)學(xué)和邏輯才正式結(jié)合起來?！保@也是徐光啟對(duì)此譯著大加贊賞的原因。李之藻的老師利瑪竇曾評(píng)論中國的數(shù)學(xué)說中國人提出了各種各樣的命題，卻都沒有證明。這樣一種體系的結(jié)果是任何人都可以在數(shù)學(xué)上隨意馳騁自己最狂誕的想象力而不必提供確切的證明。李之藻緊隨徐光啟的腳步，意識(shí)到西方演繹體系的可靠性，由感性到理性，由理性到超性的一步步深化，使得數(shù)學(xué)在嚴(yán)密邏輯思維引導(dǎo)下的每一步論證都有理有據(jù)，“循所以明，推而通諸未明之辯”，從而保證了結(jié)果的正確性。他對(duì)嚴(yán)密的歐式幾何學(xué)大力推薦，呼吁中國學(xué)者對(duì)西方演繹和邏輯思維的學(xué)習(xí)，并在自己的譯作中竭力翻譯帶有思想性和邏輯性的西方著作?！氨酥邢仁ズ笫ニ撎斓厝f物之理，探源窮委，步步推明，由有形入無形，由因性達(dá)超性，大抵有感必開，無微不破?！?/p>
2.改變明清數(shù)學(xué)知識(shí)結(jié)構(gòu)和學(xué)風(fēng)
李之藻譯介的西學(xué)知識(shí)涉及很多學(xué)科領(lǐng)域，如天文、數(shù)學(xué)、地理、宗教，甚至邏輯推理。《坤輿萬國全圖》介紹的世界各國的地理位置和風(fēng)俗習(xí)慣、《渾蓋通憲圖說》介紹的關(guān)于西方天文學(xué)儀器的制作與詳細(xì)畫法、《同文算指》對(duì)于西方筆算知識(shí)的譯介、《寰有詮》《名理探》關(guān)于西方的邏輯學(xué)知識(shí)的介紹、《天學(xué)初函》理器十編對(duì)于譯介西方科技譯著的匯編等，甚至李之藻踐行經(jīng)世致用的實(shí)學(xué)之風(fēng)、為富國強(qiáng)兵而翻譯介紹的西方火器和水利方面的知識(shí)，使得明末的火炮工藝和射程比以前優(yōu)異，并在相關(guān)的戰(zhàn)役中取得勝利。士人不僅可以舞文弄墨，還可以研究火器軍事、富國強(qiáng)兵。由于李之藻等士大夫的積極倡導(dǎo)，明末士人的知識(shí)結(jié)構(gòu)發(fā)生了較大變化。知識(shí)結(jié)構(gòu)由由空談心性的人倫學(xué)向注重經(jīng)世致用的實(shí)學(xué)轉(zhuǎn)變，不僅領(lǐng)域有所拓寬，已有的學(xué)科也得到補(bǔ)充。
針對(duì)當(dāng)時(shí)士人偏于空談“汗漫空疏”不潛心治學(xué)的學(xué)風(fēng)，李之藻曾利用主持鄉(xiāng)試的機(jī)會(huì)“往返萬里”、“測驗(yàn)無爽”，對(duì)西方的新知識(shí)親自實(shí)踐，提高了實(shí)學(xué)在士人心中的地位。李之藻每次見到傳教士就會(huì)問有沒有新書，“宴會(huì)時(shí)，閑居時(shí)，手不釋卷，目不停閱，即乘轎亦持書卷，不廢光陰，及一目失明，一目又不健，彼猶捧書近目，勉強(qiáng)誦閱”，其踏實(shí)求學(xué)、嚴(yán)謹(jǐn)治學(xué)的態(tài)度，給明末空談性理的士人提供了很好的范例?！懊亓x巧術(shù)，乃得之乎數(shù)萬里外來賓之使……若吾儒在世善世，所期無負(fù)霄壤，則實(shí)學(xué)更有自在；藻不敏，愿從君子砥焉。”其孜孜不倦的求學(xué)態(tài)度，著實(shí)讓人佩服。“我們只要肯把當(dāng)時(shí)那班人的著譯數(shù)目一翻，便可以想見他們對(duì)于新知識(shí)之傳播，如何的努力，只要肯把那時(shí)候代表作品――如《幾何原本》之類擇一兩部，細(xì)讀一過，便可以知道他們對(duì)于學(xué)問如何的忠實(shí)。”
四、小結(jié)
中國古代的科學(xué)技術(shù)曾有過輝煌燦爛的歷史，長時(shí)期處于世界發(fā)展的前列。強(qiáng)大燦爛的中華文明孕育了中國人的自尊自信，也導(dǎo)致了中國人的盲目自信和夜郎自大。中國的科技經(jīng)歷了上千年的領(lǐng)先歷史，到了明代，逐漸走向衰弱。明末利瑪竇等西方傳教士的到來喚醒了部分中國士大夫，他們或興奮、或惶恐，可不管何種態(tài)度，傳教士帶來的西方科技為緩慢發(fā)展的中國科技注入了活力。徐光啟積極的接納、李之藻積極的接納，對(duì)西學(xué)表現(xiàn)出了極大的熱情。當(dāng)然，他們不僅僅出于自己的興趣，更是出于“超勝”的決心。明末的衰弱使他們不僅考慮自己的安危，而且更加害怕民族的危亡。他們或翻譯、或編譯，甚至自己出資出版奔走相告，大力引進(jìn)的西方科技文獻(xiàn)使得中國知識(shí)分子的學(xué)風(fēng)和知識(shí)結(jié)構(gòu)出現(xiàn)了很大的改觀，傳統(tǒng)的科技成就得以重新發(fā)掘。對(duì)我們整個(gè)中國數(shù)學(xué)史的發(fā)展做出了不可磨滅的貢獻(xiàn)。
參考文獻(xiàn)：
[1]德禮賢編，方豪譯.利瑪竇年譜[C].周康燮編《利瑪竇研究論集》，香港：崇文書店，1971.
[2]杜石然.數(shù)學(xué)?歷史?社會(huì)1[C]].沈陽：遼寧教育出版社，2003.
[3]方豪.方豪文錄[M].北京：北平上智編譯館，1948.
[4]方豪.李之藻研究[M].臺(tái)北：臺(tái)灣商務(wù)印書館，1966.
[5]方豪.中西交通史[M].臺(tái)北：中華文化出版事業(yè)社，1954.
[6]郭書春.匯較九章算術(shù)[M].沈陽：遼寧教育出版社，2004.
[7]何高濟(jì)等譯.利瑪竇中國札記（下冊(cè)）[M].北京：中華書局，2005.
[8]嵇文甫.晚明思想史[M].北京：東方出版社，1996.
[9]李迪.中國數(shù)學(xué)史簡編[M].沈陽：遼寧人民出版社，1984.
[10]利瑪竇.利瑪竇年譜.16世紀(jì)的中國――利瑪竇1583至1610年日記[M].香港：崇文書店，1953.
[11]羅冬陽.論明末清初西學(xué)的分期與特征[J].東北師大學(xué)報(bào)（哲學(xué)社會(huì)科學(xué)版），2002（4）.
[12]潘亦寧.李之藻對(duì)方程解法問題的研究[J].西北大學(xué)學(xué)報(bào)（自然科學(xué)版），2012（4）.
[13]潘亦寧.《同文算指》中的方程解法[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2012（12）.
[14]潘亦寧.利瑪竇、李之藻與《同文算指》的編纂[J].自然辯證法通訊，2008（4）.
[15][葡]曾昭德（著），何高濟(jì)譯.李之藻傳，大中國志[M].上海：上海古籍出版社，1998.
[16]徐宗澤.明清間耶穌會(huì)士譯著提要[M].上海：上海世紀(jì)出版集團(tuán)，2010.
[17]梁啟超.中國近三百年學(xué)術(shù)史[M].北京：中國畫報(bào)出版社，2012.
[18]李約瑟.中國科學(xué)技術(shù)史（第三卷）[M].北京：科學(xué)出版社，1978.
[19]李約瑟.中國科學(xué)技術(shù)史（第三卷）[M].北京：科學(xué)出版社，1978.
[20]徐光啟.《幾何原本》雜議[Z].上海：上海古籍出版社，1984.
[21]王前.數(shù)學(xué)哲學(xué)引論[M].沈陽：遼寧教育出版社，2002.
[22]李之藻.名理探[M].北京：三聯(lián)書店，1959.
[23].《考證學(xué)方法的來歷》見《大公報(bào)》1934年1月.
[24]徐宗澤.明清間耶穌會(huì)士譯著提要[M].上海：上海書店出版社，2009：9.
［關(guān)鍵詞］人工智能，常識(shí)推理，歸納邏輯，廣義內(nèi)涵邏輯，認(rèn)知邏輯，自然語言邏輯
現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動(dòng)力主要來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們?cè)噲D即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿ΑＳ纱嗽斐傻暮蠊褪?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強(qiáng)了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個(gè)高峰期，并且對(duì)整個(gè)現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語言學(xué)和計(jì)算機(jī)科學(xué)產(chǎn)生了非常重要的影響。
本文所要探討的問題是：21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿碜院翁帲看笾抡f來將如何發(fā)展？我個(gè)人的看法是：計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈?，并將由此決定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能，它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理（這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了，如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明，“深藍(lán)”通過高速、大量的計(jì)算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動(dòng)性、創(chuàng)造性思維，這種思維活動(dòng)中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關(guān)的經(jīng)驗(yàn)證據(jù)，在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達(dá)到實(shí)踐的成功。于是，邏輯學(xué)將不得不比較全面地研究人的思維活動(dòng)，并著重研究人的思維中最能體現(xiàn)其能動(dòng)性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。
實(shí)際上，在20世紀(jì)中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學(xué)邏輯所研究的許多課題在理論計(jì)算機(jī)和人工智能中具有重要的應(yīng)用價(jià)值。AI從認(rèn)知心理學(xué)、社會(huì)科學(xué)以及決策科學(xué)中獲得了許多資源，但邏輯（包括哲學(xué)邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理
的理論；基于幾乎同樣的理由，AI研究者也在進(jìn)行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關(guān)心下述課題：
·效率和資源有限的推理；
·感知；
·做計(jì)劃和計(jì)劃再認(rèn)；
·關(guān)于他人的知識(shí)和信念的推理；
·各認(rèn)知主體之間相互的知識(shí)；
·自然語言理解；
·知識(shí)表示；
·常識(shí)的精確處理；
·對(duì)不確定性的處理，容錯(cuò)推理；
·關(guān)于時(shí)間和因果性的推理；
·解釋或說明；
·對(duì)歸納概括以及概念的學(xué)習(xí)。[①]
21世紀(jì)的邏輯學(xué)也應(yīng)該關(guān)注這些問題，并對(duì)之進(jìn)行研究。為了做到這一點(diǎn)，邏輯學(xué)家們有必要熟悉AI的要求及其相關(guān)進(jìn)展，使其研究成果在AI中具有可應(yīng)用性。
我認(rèn)為，至少是21世紀(jì)早期，邏輯學(xué)將會(huì)重點(diǎn)關(guān)注下述幾個(gè)領(lǐng)域，并且有可能在這些領(lǐng)域出現(xiàn)具有重大意義的成果：（1）如何在邏輯中處理常識(shí)推理中的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素？（2）如何使機(jī)器人具有人的創(chuàng)造性智能，如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的歸納判斷？（3）如何進(jìn)行知識(shí)表示和知識(shí)推理，特別是基于已有的知識(shí)庫以及各認(rèn)知主體相互之間的知識(shí)而進(jìn)行的推理？（4）如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理，使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際？等等。
1．常識(shí)推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素
AI研究的一個(gè)目標(biāo)就是用機(jī)器智能模擬人的智能，它選擇各種能反映人的智能特征的問題進(jìn)行實(shí)踐，希望能做出各種具有智能特征的軟件系統(tǒng)。AI研究基于計(jì)算途徑，因此要建立具有可操作性的符號(hào)模型。一般而言，AI關(guān)于智能系統(tǒng)的符號(hào)模型可描述為：由一個(gè)知識(shí)載體（稱為知識(shí)庫KB）和一組加載在KB上的足以產(chǎn)生智能行為的過程（稱為問題求解器PS）構(gòu)成。經(jīng)過20世紀(jì)70年代包括專家系統(tǒng)的發(fā)展，AI研究者逐步取得共識(shí)，認(rèn)識(shí)到知識(shí)在智能系統(tǒng)中力量，即一般的智能系統(tǒng)事實(shí)上是一種基于知識(shí)的系統(tǒng)，而知識(shí)包括專門性知識(shí)和常識(shí)性知識(shí)，前者亦可看做是某一領(lǐng)域內(nèi)專家的常識(shí)。于是，常識(shí)問題就成為AI研究的一個(gè)核心問題，它包括兩個(gè)方面：常識(shí)表示和常識(shí)推理，即如何在人工智能中清晰地表示人類的常識(shí)，并運(yùn)用這些常識(shí)去進(jìn)行符合人類行為的推理。顯然，如此建立的常識(shí)知識(shí)庫可能包含矛盾，是不協(xié)調(diào)的，但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響到進(jìn)行合理的推理行為；常識(shí)推理還是一種非單調(diào)推理，即人們基于不完全的信息推出某些結(jié)論，當(dāng)人們得到更完全的信息后，可以改變甚至收回原來的結(jié)論；常識(shí)推理也是一種可能出錯(cuò)的不精確的推理模式，是在容許有錯(cuò)誤知識(shí)的情況下進(jìn)行的推理，簡稱容錯(cuò)推理。而經(jīng)典邏輯拒斥任何矛盾，容許從矛盾推出一切命題；并且它是單調(diào)的，即承認(rèn)如下的推理模式：如果p?r，則pùq?r；或者說，任一理論的定理屬于該理論之任一擴(kuò)張的定理集。因此，在處理常識(shí)表示和常識(shí)推理時(shí)，經(jīng)典邏輯應(yīng)該受到限制和修正，并發(fā)展出某些非經(jīng)典的邏輯，如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯(cuò)推理等。有人指出，常識(shí)推理的邏輯是次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物，而后者又可看做是對(duì)容錯(cuò)推理的簡單且基本的情形的一種形式化。[②]
“次協(xié)調(diào)邏輯”（ParaconsistentLogic）是由普里斯特、達(dá)·科斯塔等人在對(duì)悖論的研究中發(fā)展出來的，其基本想法是：當(dāng)在一個(gè)理論中發(fā)現(xiàn)難以克服的矛盾或悖論時(shí)，與其徒勞地想盡各種辦法去排除或防范它們，不如干脆讓它們留在理論體系內(nèi)，但把它們“圈禁”起來，不讓它們?nèi)我鈹U(kuò)散，以免使我們所創(chuàng)立或研究的理論成為“不足道”的。于是，在次協(xié)調(diào)邏輯中，能夠容納有意義、有價(jià)值的“真矛盾”，但這些矛盾并不能使系統(tǒng)推出一切，導(dǎo)致自毀。因此，這一新邏輯具有一種次于經(jīng)典邏輯但又遠(yuǎn)遠(yuǎn)高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認(rèn)為，如果在一理論T中，一語句A及其否定?A都是定理，則T是不協(xié)調(diào)的；否則，稱T是協(xié)調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或推理，則不協(xié)調(diào)的T也是不足道的(trivial)。因此，通常以經(jīng)典邏輯為基礎(chǔ)的理論，如果它是不協(xié)調(diào)的，那它一定也是不足道的。這一現(xiàn)象表明，經(jīng)典邏輯雖可用于研究協(xié)調(diào)的理論，但不適用于研究不協(xié)調(diào)但又足道的理論。達(dá)·科斯塔在20世紀(jì)60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn（1≤n≤w），以用作不協(xié)調(diào)而又足道的理論的邏輯工具。對(duì)次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題：(i)矛盾律?(A??A)不普遍有效；(ii)從兩個(gè)相互否定的公式A和?A推不出任意公式；即是說，矛盾不會(huì)在系統(tǒng)中任意擴(kuò)散，矛盾不等于災(zāi)難。(iii)應(yīng)當(dāng)容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里，(i)和(ii)表明了對(duì)矛盾的一種相對(duì)寬容的態(tài)度，(iii)則表明次協(xié)調(diào)邏輯對(duì)于經(jīng)典邏輯仍有一定的繼承性。
在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w)中，下述經(jīng)典邏輯的定理或推理模式都不成立：
?(Aù?A)
Aù?AB
A(?AB)
(A??A)B
(A??A)?B
A??A
(?Aù(AúB))B
(AB)(?B?A)
若以C0為經(jīng)典邏輯，則系列C0,C1,C2,…Cn,…Cw使得對(duì)任正整數(shù)i有Ci弱于Ci-1，Cw是這系列中最弱的演算。已經(jīng)為Cn設(shè)計(jì)出了合適的語義學(xué)，并已經(jīng)證明Cn相對(duì)于此種語義是可靠的和完全的，并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的。現(xiàn)在，已經(jīng)有人把次協(xié)調(diào)邏輯擴(kuò)展到模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、多值邏輯、集合論等領(lǐng)域的研究中，發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然，次協(xié)調(diào)邏輯將會(huì)得到更進(jìn)一步的發(fā)展。[③]
非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯，它的研究開始于20世紀(jì)80年代。1980年，D·麥克多莫特和J·多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們?cè)诮?jīng)典謂詞演算中引入一個(gè)算子M，表示某種“一致性”斷言，并將其看做是模態(tài)概念，通過一定程序把模態(tài)邏輯系統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B·摩爾的論文《非單調(diào)邏輯的語義思考》（1983）據(jù)認(rèn)為在非單調(diào)邏輯方面作出了令人注目的貢獻(xiàn)。他在“缺省推理”和“自動(dòng)認(rèn)知推理”之間做了區(qū)分，并把前者看作是在沒有任何相反信息和缺少證據(jù)的條件下進(jìn)行推理的過程，這種推理的特征是試探性的：根據(jù)新信息，它們很可能會(huì)被撤消。自動(dòng)認(rèn)知推理則不是這種類型，它是與人們自身的信念或知識(shí)相關(guān)的推理，可用它模擬一個(gè)理想的具有信念的有理性的人的推理。對(duì)于在計(jì)算機(jī)和人工智能中獲得成功的應(yīng)用而言，非單調(diào)邏輯尚需進(jìn)一步發(fā)展。
2．歸納以及其他不確定性推理
人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中，具有必然性的演繹推理固然起重要作用，但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此，計(jì)算機(jī)要成功地模擬人的智能，真正體現(xiàn)出人的智能品質(zhì)，就必須對(duì)各種具有不確定性的推理模式進(jìn)行研究。
首先是對(duì)歸納推理和歸納邏輯的研究。這里所說的“歸納推理”是廣義的，指一切擴(kuò)展性推理，它們的結(jié)論所斷定的超出了其前提所斷定的范圍，因而前提的真無法保證結(jié)論的真，整個(gè)推理因此缺乏必然性。具體說來，這種意義的“歸納”包括下述內(nèi)容：簡單枚舉法；排除歸納法，指這樣一些操作：預(yù)先通過觀察或?qū)嶒?yàn)列出被研究現(xiàn)象的可能的原因，然后有選擇地安排某些事例或?qū)嶒?yàn)，根據(jù)某些標(biāo)準(zhǔn)排除不相干假設(shè)，最后得到比較可靠的結(jié)論；統(tǒng)計(jì)概括：從關(guān)于有窮數(shù)目樣本的構(gòu)成的知識(shí)到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理；類比論證和假說演繹法，等等。盡管休謨提出著名的“歸納問題”，對(duì)歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑，但我認(rèn)為，（1）歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認(rèn)知策略，對(duì)于人類來說具有實(shí)踐的必然性。（2）人類有理由從經(jīng)驗(yàn)的重復(fù)中建立某種確實(shí)性和規(guī)律性，其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的，而用純邏輯的理由去懷疑一個(gè)關(guān)于世界的事實(shí)性斷言則是不合理的，除非這個(gè)斷言是邏輯矛盾。（3）人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且，歸納邏輯的這種可能性正在計(jì)算?蒲Ш腿斯ぶ悄艿難芯客貧侶匱荼涑上質(zhì)怠6鞲袼乖緹橢賦觶吧緇嵋壞屑際跎系男枰?，则这种需要比十所大学更能把科学推向前进。”[④]有人通過指責(zé)現(xiàn)有的歸納邏輯不成熟，得出“歸納邏輯不可能”的結(jié)論，他們的推理本身與歸納推理一樣，不具有演繹的必然性。（4）人類實(shí)踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗(yàn)知識(shí)的真理性，也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認(rèn)，歸納邏輯目前還很不成熟。有的學(xué)者指出，為了在機(jī)器的智能模擬中克服對(duì)歸納模擬的困難而有所突破，應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機(jī)器學(xué)習(xí)、不確ㄍ評(píng)硨蛻窬繆澳P陀牘檳裳爸幸延械某曬岷掀鵠礎(chǔ)V揮姓庋?，才能哉浹有的箼壣学习硶覃上，哉燏器箼壣和机器发现上取挡[碌耐黃坪徒?。[⑤]這是一個(gè)極有價(jià)值且極富挑戰(zhàn)性的課題，無疑在21世紀(jì)將得到重視并取得進(jìn)展。
再談模糊邏輯?，F(xiàn)實(shí)世界中充滿了模糊現(xiàn)象，這些現(xiàn)象反映到人的思維中形成了模糊概念和模糊命題，如“矮個(gè)子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對(duì)它的研究始于20世紀(jì)20年代，其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯（二值邏輯）解決不了的問題提供了解決的可能，它目前在醫(yī)療診斷、故障檢測、氣象預(yù)報(bào)、自動(dòng)控制以及人工智能研究中獲得重要應(yīng)用。顯然，它在21世紀(jì)將繼續(xù)得到更大的發(fā)展。
3．廣義內(nèi)涵邏輯
經(jīng)典邏輯只是對(duì)命題聯(lián)結(jié)詞、個(gè)體詞、謂詞、量詞和等詞進(jìn)行了研究，但在自然語言中，除了這些語言成分之外，顯然還存在許多其他的語言成分，如各種各樣的副詞，包括模態(tài)詞“必然”、“可能”和“不可能”、時(shí)態(tài)詞“過去”、“現(xiàn)在”和“未來”、道義詞“應(yīng)該”、“允許”、“禁止”等等，以及各種認(rèn)知?jiǎng)釉~，如“思考”、“希望”、“相信”、“判斷”、“猜測”、“考慮”、“懷疑”，這些認(rèn)知?jiǎng)釉~在邏輯和哲學(xué)文獻(xiàn)中被叫做“命題態(tài)度詞”。對(duì)這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。
大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的，造成內(nèi)涵語境，后者與外延語境構(gòu)成對(duì)照。外延語境又叫透明語境，是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用的語境；內(nèi)涵語境又稱晦暗語境，是上述規(guī)則在其中不適用的語境。相應(yīng)于外延語境和內(nèi)涵語境的區(qū)別，一切語言表達(dá)式（包括自然語言的名詞、動(dòng)詞、形容詞直至語句）都可以區(qū)分為外延性的和內(nèi)涵性的，前者是提供外延語境的表達(dá)式，后者是提供內(nèi)涵性語境的表達(dá)式。例如，殺死、見到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達(dá)式，而知道、相信、認(rèn)識(shí)、必然、可能、允許、禁止、過去、現(xiàn)在、未來等都是內(nèi)涵性表達(dá)式。
在內(nèi)涵語境中會(huì)出現(xiàn)一些復(fù)雜的情況。首先，對(duì)于個(gè)體詞項(xiàng)來說，關(guān)鍵性的東西是我們不僅必須考慮它們?cè)诂F(xiàn)實(shí)世界中的外延，而且要考慮它們?cè)谄渌赡苁澜缰械耐庋?。例如，由于“必然”是?nèi)涵性表達(dá)式，它提供內(nèi)涵語境，因而下述推理是非有效的：
晨星必然是晨星，
晨星就是暮星，
所以，晨星必然是暮星。
這是因?yàn)椋哼@個(gè)推理只考慮到“晨星”和“暮星”在現(xiàn)實(shí)世界中的外延，并沒有考慮到它們?cè)诿恳粋€(gè)可能世界中的外延，我們完全可以設(shè)想一個(gè)可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我們就不能利用同一性替換規(guī)則，由該推理的前提得出它的結(jié)論：“晨星必然是暮星”。其次，在內(nèi)涵語境中，語言表達(dá)式不再以通常是它們的外延的東西作為外延，而以通常是它們的內(nèi)涵的東西作為外延。以“達(dá)爾文相信人是從猿猴進(jìn)化而來的”這個(gè)語句為例。這里，達(dá)爾文所相信的是“人是從猿猴進(jìn)化而來的”所表達(dá)的思想，而不是它所指稱的真值，于是在這種情況下，“人是從猿猴進(jìn)化而來的”所表達(dá)的思想（命題）就構(gòu)成它的外延。再次，在內(nèi)涵語境中，雖然適用于外延的函項(xiàng)性原則不再成立，但并不是非要拋棄不可，可以把它改述為新的形式：一復(fù)合表達(dá)式的外延是它出現(xiàn)于外延語境中的部分表達(dá)式的外延加上出現(xiàn)于內(nèi)涵語境中的部分表達(dá)式的內(nèi)涵的函項(xiàng)。這個(gè)新的組合性或函項(xiàng)性原則在內(nèi)涵邏輯中成立。
一般而言，一個(gè)好的內(nèi)涵邏輯至少應(yīng)滿足兩個(gè)條件：（i）它必須能夠處理外延邏輯所能處理的問題；（ii）它還必須能夠處理外延邏輯所不能處理的難題。這就是說，它既不能與外延邏輯相矛盾，又要克服外延邏輯的局限。這樣的內(nèi)涵邏輯目前正在發(fā)展中，并且已有初步輪廓。從術(shù)語上說，內(nèi)涵邏輯除需要真、假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術(shù)語之外，還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù)語。廣而言之，可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知道”、“相信”，“允許”、“禁止”等提供內(nèi)涵語境的語句算子的一般邏輯。在這種廣義之下，模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)知邏輯、問題邏輯等都是內(nèi)涵邏輯。不過，還有一種狹義的內(nèi)涵邏輯，它可以粗略定義如下：一個(gè)內(nèi)涵邏輯是一個(gè)形式語言，其中包括（1）謂詞邏輯的算子、量詞和變?cè)?，這里的謂詞邏輯不必局限于一階謂詞邏輯，也可以是高階謂詞邏輯；（2）合式的λ—表達(dá)式，例如(λx)A，這里A是任一類型的表達(dá)式，x是任一類型的變?cè)?λx)A本身是一函項(xiàng)，它把變?cè)獂在其中取值的那種類型的對(duì)象映射到A所屬的那種類型上；（3）其他需要的模態(tài)的或內(nèi)涵的算子，例如€，ù、ú。而一個(gè)內(nèi)涵邏輯的解釋，則由下列要素組成：（1）一個(gè)可能世界的非空集W；（2）一個(gè)可能個(gè)體的非空集D；（3）一個(gè)賦值，它給系統(tǒng)內(nèi)的表達(dá)式指派它們?cè)诿縲∈W中的外延。對(duì)于任一的解釋Q和任一的世界w∈W，判定內(nèi)涵邏輯系統(tǒng)中的任一表達(dá)式X相對(duì)于解釋Q在w∈W中的外延總是可能的。這樣的內(nèi)涵邏輯系統(tǒng)有丘奇的LSD系統(tǒng)，R·蒙塔古的IL系統(tǒng)，以及E·N·扎爾塔的FIL系統(tǒng)等。[⑥]
在各種內(nèi)涵邏輯中，認(rèn)識(shí)論邏輯（epistemiclogic）具有重要意義。它有廣義和狹義之分。廣義的認(rèn)識(shí)論邏輯研究與感知（perception）、知道、相信、斷定、理解、懷疑、問題和回答等相關(guān)的邏輯問題，包括問題邏輯、知道邏輯、相信邏輯、斷定邏輯等；狹義的認(rèn)識(shí)論邏輯僅指知道和相信的邏輯，簡稱“認(rèn)知邏輯”。馮·賴特在1951年提出了對(duì)“認(rèn)知模態(tài)”的邏輯分析，這對(duì)建立認(rèn)知邏輯具有極大的啟發(fā)作用。J·麥金西首先給出了一個(gè)關(guān)于“知道”的模態(tài)邏輯。A·帕普于1957年建立了一個(gè)基于6條規(guī)則的相信邏輯系統(tǒng)。J·亨迪卡于60年代出版的《知識(shí)和信念》一書是認(rèn)知邏輯史上的重要著作，其中提出了一些認(rèn)知邏輯的系統(tǒng)，并為其建立了基于“模型集”的語義學(xué)，后者是可能世界語義學(xué)的先導(dǎo)之一。當(dāng)今的認(rèn)知邏輯紛繁復(fù)雜，既不成熟也面臨許多難題。由于認(rèn)知邏輯涉及認(rèn)識(shí)論、心理學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)和人工智能等諸多領(lǐng)域，并且認(rèn)知邏輯的應(yīng)用技術(shù)，又稱關(guān)于知識(shí)的推理技術(shù)，正在成為計(jì)算機(jī)科學(xué)和人工智能的重要分支之一，因此認(rèn)知邏輯在20世紀(jì)中后期成為國際邏輯學(xué)界的一個(gè)熱門研究方向。這一狀況在21世紀(jì)將得到繼續(xù)并進(jìn)一步強(qiáng)化，在這方面有可能出現(xiàn)突破性的重要結(jié)果。
4．對(duì)自然語言的邏輯研究
對(duì)自然語言的邏輯研究有來自幾個(gè)不同領(lǐng)域的推動(dòng)力。首先是計(jì)算機(jī)和人工智能的研究，人機(jī)對(duì)話和通訊、計(jì)算機(jī)的自然語言理解、知識(shí)表示和知識(shí)推理等課題，都需要對(duì)自然語言進(jìn)行精細(xì)的邏輯分析，并且這種分析不能僅停留在句法層面，而且要深入到語義層面。其次是哲學(xué)特別是語言哲學(xué)，在20世紀(jì)哲學(xué)家們對(duì)語言表達(dá)式的意義問題傾注了異乎尋常的精力，發(fā)展了各種各樣的意義理論，如觀念論、指稱論、使用論、言語行為理論、真值條件論等等，以致有人說，關(guān)注意義成了20世紀(jì)哲學(xué)家的職業(yè)病。再次是語言學(xué)自身發(fā)展的需要，例如在研究自然語言的意義問題時(shí)，不能僅僅停留在脫離語境的抽象研究上面，而要結(jié)合使用語言的特定環(huán)境去研究，這導(dǎo)致了語義學(xué)、語用學(xué)、新修辭學(xué)等等發(fā)展。各個(gè)方面發(fā)展的成果可以總稱為“自然語言邏輯”，它力圖綜合后期維特根斯坦提倡的使用論，J·L·奧斯汀、J·L·塞爾等人發(fā)展的言語行為理論，以及P·格賴斯所創(chuàng)立的會(huì)話含義學(xué)說等成果，透過自然語言的指謂性和交際性去研究自然語言中的推理。
自然語言具有表達(dá)和交際兩種職能，其中交際職能是自然語言最重要的職能，是它的生命力之所在。而言語交際總是在一定的語言環(huán)境（簡稱語境）中進(jìn)行的，語境有廣義和狹義之分。狹義的語境僅指一個(gè)語詞、一個(gè)句子出現(xiàn)的上下文。廣義的語境除了上下文之外，還包括該語詞或語句出現(xiàn)的整個(gè)社會(huì)歷史條件，如該語詞或語句出現(xiàn)的時(shí)間、地點(diǎn)、條件、講話的人（作者）、聽話的人（讀者）以及交際雙方所共同具有的背景知識(shí)，這里的背景知識(shí)包括交際雙方共同的信念和心理習(xí)慣，以及共同的知識(shí)和假定等等。這些語境因素對(duì)于自然語言的表達(dá)式（語詞、語句）的意義有著極其重要的影響，這具體表現(xiàn)在：（i）語境具有消除自然語言語詞的多義性、歧義性和模糊性的能力，具有嚴(yán)格規(guī)定語言表達(dá)式意義的能力。（ii）自然語言的句子常常包含指示代詞、人稱代詞、時(shí)間副詞等，要弄清楚這些句子的意義和內(nèi)容，就要弄清楚這句話是誰說的、對(duì)誰說的、什么時(shí)候說的、什么地點(diǎn)說的、針對(duì)什么說的，等等，這只有在一定的語境中才能進(jìn)行。依賴語境的其他類型的語句還有：包含著象“有些”和“每一個(gè)”這類量化表達(dá)式的句子的意義取決于依語境而定的論域，包含著象“大的”、“冷的”這類形容詞的句子的意義?【鲇諞烙錁扯ǖ南啾冉系畝韻罄?；腖錁浜吞跫錁淶囊庖迦【鲇諞蠐錁扯浠撓鏌寰齠ㄒ蛩兀绱說鵲?。（iii）語言表達(dá)式的意義在語境中會(huì)出現(xiàn)一些重要的變化，以至偏離它通常所具有的意義（抽象意義），而產(chǎn)生一種新的意義即語用涵義。有人認(rèn)為，一個(gè)語言表達(dá)式在它的具體語境中的意義，才是它的完全的真正的意義，一旦脫離開語境，它就只具有抽象的意義。語言的抽象意義和它的具體意義的關(guān)系，正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應(yīng)該去研究、理解、把握自然語言的具體意義，當(dāng)然不是去研究某一個(gè)（或一組）特定的語句在某個(gè)特定語境中唯一無二的意義，而是專門研究確定自然語言具體意義的普遍原則。[⑦]
美國語言學(xué)家保羅·格賴斯把語言表達(dá)式在一定的交際語境中產(chǎn)生的一種不謐置嬉庖宓奶厥夂?，絻傣捂k煤濉薄ⅰ盎嶧昂濉被頡耙保╥mplicature），并于1975年提出了一組“交際合作原則”，包括一個(gè)總則和四組準(zhǔn)則?？倓t的內(nèi)容是：在你參與會(huì)話時(shí)，你要依據(jù)你所參與的談話交流的公認(rèn)目的或方向，使你的會(huì)話貢獻(xiàn)符合這種需要。仿照康德把范疇區(qū)分為量、質(zhì)、關(guān)系和方式四類，格賴斯提出了如下四組準(zhǔn)則：
（1）數(shù)量準(zhǔn)則：在交際過程中給出的信息量要適中。
a．給出所要求的信息量；
b．給出的信息量不要多于所要求的信息量。
（2）質(zhì)量準(zhǔn)則：力求講真話。
a．不說你認(rèn)為假的東西，。
b．不說你缺少適當(dāng)證據(jù)的東西。
（3）關(guān)聯(lián)準(zhǔn)則：說話要與已定的交際目的相關(guān)聯(lián)。
（4）方式準(zhǔn)則：說話要意思明確，表達(dá)清晰。
a．避免晦澀生僻的表達(dá)方式；
b．避免有歧義的表達(dá)方式；
c．說話要簡潔；
d．說話要有順序性。[⑧]
后來對(duì)這些原則提出了不和補(bǔ)充，例如有人還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作原則之類的語用規(guī)則作為基本前提，這些原則就可以用來確定和把握自然語言的具體意義（語用涵義）。實(shí)際上，一個(gè)語句p的語用涵義，就是聽話人在具體語境中根據(jù)語用規(guī)則由p得到的那個(gè)或那些語句。更具體地說，從說話人S說的話語p推出語用涵義q的一般過程是：
（i）S說了p；
（ii）沒有理由認(rèn)為S不遵守準(zhǔn)則，或至少S會(huì)遵守總的合作原則；
（iii）S說了p而又要遵守準(zhǔn)則或總的合作原則，S必定想表達(dá)q；
（iv）S必然知道，談話雙方都清楚：如果S是合作的，必須假設(shè)q；
（v）S無法阻止聽話人H考慮q；
（vi）因此，S意圖讓H考慮q，并在說p時(shí)意味著q。
試舉二例：
（1）a站在熄火的汽車旁，b向a走來。a說：“我沒有汽油了?！眀說：“前面拐角處有一個(gè)修車鋪?！边@里a與b談話的目的是：a想得到汽油。根據(jù)關(guān)系準(zhǔn)則，b說這句話是與a想得到汽油相關(guān)的，由此可知：b說這句話時(shí)隱涵著：“前面的修車鋪還在營業(yè)并且賣汽油?！?/p>
