2015年全國(guó)形式邏輯研討會(huì)暨川渝黔滇邏輯學(xué)會(huì)年會(huì)會(huì)議綜述

?

2015年全國(guó)形式邏輯研討會(huì)暨川渝黔滇邏輯學(xué)會(huì)年會(huì)會(huì)議綜述

2015年10月23-24日，由中國(guó)邏輯學(xué)會(huì)形式邏輯專業(yè)委員會(huì)、重慶市邏輯學(xué)會(huì)、四川省邏輯學(xué)會(huì)、貴州省邏輯學(xué)會(huì)、云南省邏輯學(xué)會(huì)共同主辦，重慶第二師范學(xué)院承辦的“2015年全國(guó)形式邏輯研討會(huì)暨川渝黔滇邏輯學(xué)會(huì)年會(huì)”在重慶第二師范學(xué)院召開(kāi)。本次研討會(huì)的主題包括形式邏輯、現(xiàn)代邏輯、歸納邏輯等內(nèi)容，目的在于讓邏輯學(xué)研究者們匯報(bào)個(gè)人在其所屬領(lǐng)域內(nèi)的最新研究成果，促進(jìn)參會(huì)學(xué)者對(duì)各個(gè)的問(wèn)題的看法交流。來(lái)自中國(guó)社會(huì)科學(xué)院、西南大學(xué)、四川大學(xué)、重慶大學(xué)、西南政法大學(xué)、河北大學(xué)、云南師范大學(xué)、西南財(cái)經(jīng)大學(xué)、四川師范大學(xué)、貴州理工學(xué)院和重慶第二師范學(xué)院等二十余所研究機(jī)構(gòu)和高校的專家學(xué)者以及邏輯學(xué)研究生共80余人出席了本次會(huì)議。

全國(guó)形式邏輯專業(yè)委員會(huì)秘書(shū)長(zhǎng)、全國(guó)現(xiàn)代邏輯專業(yè)委員會(huì)副主任、河北大學(xué)政法學(xué)院張燕京教授主持了本次會(huì)議的開(kāi)幕式。中國(guó)邏輯學(xué)會(huì)形式邏輯專業(yè)委員會(huì)主任、重慶邏輯學(xué)會(huì)會(huì)長(zhǎng)何向東教授代表主辦方致開(kāi)幕辭，重慶第二師范學(xué)院黨委書(shū)記鄒渝代表承辦方致歡迎辭。他向與會(huì)代表熱情介紹了重慶第二師范學(xué)院圍繞0-12歲兒童成長(zhǎng)服務(wù)打造辦學(xué)特色的努力，以及近年在轉(zhuǎn)型發(fā)展過(guò)程中取得的成績(jī)。在學(xué)術(shù)討論的一天時(shí)間內(nèi)，參會(huì)代表圍繞現(xiàn)代邏輯、邏輯哲學(xué)及邏輯應(yīng)用等主題進(jìn)行了十余場(chǎng)報(bào)告。

1　形式邏輯

西南大學(xué)唐曉嘉的報(bào)告是“試析作為理論分析工具的現(xiàn)代邏輯”。報(bào)告闡述了語(yǔ)言與世界、模型與世界的關(guān)系問(wèn)題，認(rèn)為對(duì)世界認(rèn)知的問(wèn)題是語(yǔ)言與世界的關(guān)系和知識(shí)的客觀性?！爸黧w”、“客體”、“客體是什么”的三個(gè)設(shè)定中，“客體是什么”是需要理論背景為條件。理論構(gòu)架要結(jié)合客觀性原則，清楚刻畫(huà)要具有一致性、檢驗(yàn)性標(biāo)準(zhǔn)。理論的目的在于預(yù)測(cè)和解釋。指出一階邏輯局限性的外延原則，即無(wú)法處理內(nèi)涵性命題及其推理的問(wèn)題。模態(tài)邏輯具有靜態(tài)和外在性的特點(diǎn)，不能刻畫(huà)交流中的信息變化和主體間的相互認(rèn)知。而動(dòng)態(tài)認(rèn)知邏輯可以彌補(bǔ)模態(tài)邏輯的不足，并進(jìn)一步推展可以實(shí)現(xiàn)高階信息的表達(dá)與刻畫(huà)，因而可以實(shí)現(xiàn)博弈主體相互認(rèn)知狀態(tài)的標(biāo)準(zhǔn)，完成博弈算法認(rèn)知條件的刻畫(huà)。

西南大學(xué)馬明輝的報(bào)告題目為“非經(jīng)典邏輯的代數(shù)與證明論研究”。指出古典命題邏輯的代數(shù)化是布爾代數(shù)類的等式邏輯，直覺(jué)主義邏輯的代數(shù)是海廷代數(shù)，古典模態(tài)邏輯的代數(shù)是布爾代數(shù)加正規(guī)算子。在偏序、分配格、格、廣群、半群、幺半群、群等基本結(jié)構(gòu)上加算子可獲得眾多非經(jīng)典邏輯。這些邏輯都可以用代數(shù)方式進(jìn)行定義，并從對(duì)偶理論、對(duì)應(yīng)理論、代數(shù)證明論等方面可以對(duì)這些邏輯進(jìn)行研究。他把有界分配格作為基礎(chǔ)，從代數(shù)證明論角度研究分配格上帶著嚴(yán)格蘊(yùn)含算子的非經(jīng)典邏輯。

重慶大學(xué)呂進(jìn)以“記憶的邏輯分析”為題。指出記憶作為認(rèn)知的基本要素，也是主體進(jìn)行認(rèn)知推理的依賴條件。記憶包括經(jīng)驗(yàn)記憶、命題記憶和實(shí)踐記憶。記憶可被認(rèn)為是現(xiàn)實(shí)主體對(duì)過(guò)往獲得的信息的貯存與調(diào)用。短時(shí)記憶真正影響主體行動(dòng)決策。記憶、時(shí)間、信念三者聯(lián)系密切，記憶與過(guò)去相關(guān)聯(lián)，卻發(fā)生在當(dāng)下。主體信念保存于記憶中，從而影響主體的認(rèn)知和行為能力。

西南政法大學(xué)魏斌做了“用人工智能的論證模型定義論證的結(jié)構(gòu)”的學(xué)術(shù)報(bào)告，他從形式化的角度分析了Thomas、Walton和Freeman等人的標(biāo)準(zhǔn)途徑，使用了ASPIC+框架彌補(bǔ)證明理論的標(biāo)準(zhǔn)模型的不足，指出個(gè)別證明類型和證明結(jié)構(gòu)類型的差異。他指出，這一形式化途徑如果可以被接受，那么Vorobej的標(biāo)準(zhǔn)模型拓展就不再必要。

四川師范大學(xué)李晟的報(bào)告是“直覺(jué)主義邏輯上的Friedman-Sheared理論”。他將經(jīng)典的Friedman-Sheared理論（簡(jiǎn)稱為FS理論）的邏輯基礎(chǔ)削弱后，從而討論基于直覺(jué)主義邏輯的Friedman-Sheared理論（簡(jiǎn)稱為IFS理論）。報(bào)告中提出了直覺(jué)主義修正語(yǔ)義學(xué)，而且證明了IFS可以把其中的公理化至第一個(gè)極限序數(shù)ω，之后證明了FS可以通過(guò)否定性轉(zhuǎn)換嵌入到IFS中。

云南師范大學(xué)胡懷亮作了“當(dāng)代條件句邏輯研究的現(xiàn)狀分析”的報(bào)告。報(bào)告中梳理了兩次條件句邏輯研究的浪潮：第一次研究浪潮是圍繞條件句的可保持性理論進(jìn)行的，假設(shè)條件句的前件（添加合適的前提），推得條件句的后件，這個(gè)條件句就是可斷定的；第二次浪潮起于Robert Stalnaker對(duì)條件句配置了一個(gè)可能世界語(yǔ)義學(xué)并提供了一個(gè)公理系統(tǒng)，終于Gardenfors提出的一個(gè)可接受性條件。期間根據(jù)“Ramsey測(cè)驗(yàn)”提出了當(dāng)代研究條件句邏輯的三條路徑：可能世界進(jìn)路、概率進(jìn)路和認(rèn)知進(jìn)路。

2　邏輯哲學(xué)

中國(guó)社會(huì)科學(xué)院劉新文作了題為“金岳霖論題——一個(gè)邏輯的形而上學(xué)問(wèn)題”的報(bào)告。在報(bào)告中，通過(guò)對(duì)金岳霖生平的敘述，以“邏輯中心困境”為切入點(diǎn)提出“金岳霖論題”，他認(rèn)為，這可以成為理解金岳霖的邏輯理論的起點(diǎn)。他在此基礎(chǔ)上提出關(guān)于邏輯的鏡像性的論證，從而使“金岳霖論題”成為當(dāng)前邏輯基礎(chǔ)研究的一部分，以圖體現(xiàn)出金岳霖1927年的這篇論文“Prolegomena”所具有的學(xué)術(shù)價(jià)值。

重慶大學(xué)黃斌報(bào)告的論題是“破解邏輯悖論”。他提出語(yǔ)言層面和語(yǔ)言階的理論，用于解決悖論問(wèn)題。這一基于辯證唯物論理解之上的理論，克服了“解悖”方案慣常所采用的“特設(shè)性”的弊端。以哲學(xué)原理與邏輯分析相結(jié)合的方式，作為研究和解決邏輯問(wèn)題的進(jìn)路。認(rèn)為由“P：〈P〉假”只能得到只能得到“P：～P”，無(wú)法推出“P=～P”，層面不同而且不同形的語(yǔ)句無(wú)法相通，因此“：”不能改為“=”。但“P：〈P〉真”，可得到“P：P”和“P=P”，雖然不同層面，但同形的語(yǔ)句是可以相通的。如此把斷定“真”，斷定“假”分別處理的方式，就克服了禁止語(yǔ)句“自涉”導(dǎo)致的類型、情景、層次無(wú)限后退或無(wú)限升高的問(wèn)題。

貴州工程技術(shù)應(yīng)用技術(shù)學(xué)院董英東的報(bào)告為“可能世界語(yǔ)義下的本體承諾”。他引用拉約（Rayo）對(duì)奎因邏輯標(biāo)準(zhǔn)修正后的標(biāo)準(zhǔn)：一階語(yǔ)句ψ承擔(dān)了承諾Gs，當(dāng)且僅當(dāng)，(a)ψ→?xP(x)是表達(dá)F狀態(tài)的某些謂詞P的邏輯真值；并且(b)存在F的部分都存在G。他指出，在克里普克語(yǔ)義理論里，每一可能世界都包含有可能存在于該世界的對(duì)象。首先，承擔(dān)本體論承諾的是可能的對(duì)象。其次，也可以單獨(dú)考慮用專名表示的對(duì)象來(lái)承擔(dān)本體論承諾。將名稱處理為嚴(yán)格指示詞表明需要對(duì)某些事物做出承諾，即使并未完全覺(jué)知到所有的和該事物相關(guān)的細(xì)節(jié)。他強(qiáng)調(diào)專名和自然種類詞在使用時(shí)可以看作是嚴(yán)格指示詞，并且指出它們具有不同的本體論承諾。

四川大學(xué)徐召清做了題為“歸納問(wèn)題與歸納邏輯——從演繹的角度看歸納”的報(bào)告。他以演繹的角度來(lái)探討歸納推理，認(rèn)為歸納問(wèn)題不應(yīng)該被看成是歸納邏輯的問(wèn)題，而在于對(duì)歸納邏輯的期待出了問(wèn)題。通過(guò)與演繹推理在形式、單調(diào)性、保真性方面的對(duì)比，獲得歸納的特征和局限，從而減少對(duì)歸納有過(guò)多的期待或指責(zé)。

3　邏輯應(yīng)用

西南大學(xué)何向東對(duì)其在2014年立項(xiàng)的國(guó)家社科基金重大項(xiàng)目“關(guān)于信息互動(dòng)的邏輯、認(rèn)知與計(jì)算研究”的課題情況和研究進(jìn)展作了報(bào)告。該課題從信息互動(dòng)場(chǎng)景和信息互動(dòng)理論兩個(gè)角度切入，重點(diǎn)研究信息互動(dòng)的邏輯機(jī)制、計(jì)算機(jī)制、認(rèn)知神經(jīng)機(jī)制、物理機(jī)制，揭示信息互動(dòng)的內(nèi)、外部運(yùn)作機(jī)制，從而建立信息互動(dòng)的邏輯理論，并形成關(guān)于信息互動(dòng)的邏輯、計(jì)算和認(rèn)知的理論體系。研究?jī)?nèi)容主要有：在聯(lián)盟認(rèn)知邏輯基礎(chǔ)上引入動(dòng)態(tài)因素，建立社會(huì)網(wǎng)絡(luò)中信息交互的一般性理論，將原有個(gè)體知識(shí)和信念的變化提升到群體或聯(lián)盟層面。建立社會(huì)網(wǎng)絡(luò)節(jié)點(diǎn)之間信息交互機(jī)制，從計(jì)算智能的視角研究知識(shí)更新和信念修正，并且在博弈問(wèn)題上具體實(shí)現(xiàn)信息交互；對(duì)心理過(guò)程中默認(rèn)網(wǎng)絡(luò)子模塊功能分工以及默認(rèn)網(wǎng)絡(luò)和其他靜息態(tài)腦網(wǎng)絡(luò)之間的交互關(guān)系進(jìn)行研究，從而對(duì)復(fù)雜系統(tǒng)的群聚行為進(jìn)行形式化研究及邏輯建模型，進(jìn)而得出動(dòng)態(tài)聚類方法。課題旨在從“邏輯-物理-計(jì)算-心理”等四大角度多學(xué)科交叉研究信息互動(dòng)機(jī)制，特別引入復(fù)雜系統(tǒng)科學(xué)的視角和認(rèn)知神經(jīng)科學(xué)的視角，運(yùn)用邏輯學(xué)的形式化方法研究社會(huì)復(fù)雜系統(tǒng)行為，建立邏輯模型；以動(dòng)態(tài)認(rèn)知邏輯為基礎(chǔ)建立動(dòng)態(tài)聯(lián)盟認(rèn)知邏輯以及一般性的群體認(rèn)知邏輯理論，而且在這種理論中引入時(shí)間和概率，處理聯(lián)盟博弈的具體信息互動(dòng)問(wèn)題；通過(guò)知識(shí)分離局部化解信息交互問(wèn)題能夠有效地加速求解問(wèn)題，從事實(shí)推導(dǎo)出的具有良基關(guān)系的集合是合理的知識(shí)核心假設(shè)。

西南政法大學(xué)金承光以“邏輯學(xué)與法治國(guó)家建設(shè)”為題。闡述了依法治國(guó)，建設(shè)法治國(guó)家的起步點(diǎn)在于公民講邏輯，擺事實(shí)，講道理。一個(gè)社會(huì)不講邏輯、不講事實(shí)、不講常識(shí)，會(huì)陷入情緒宣泄、胡攪蠻纏、惡語(yǔ)相向、人身攻擊，進(jìn)而惡化為肢體沖突、訴諸暴力。因此，要建成法治國(guó)家，就要求邏輯學(xué)發(fā)揮其基礎(chǔ)作用，提升公民個(gè)人邏輯思考能力。

貴州理工學(xué)院楊崗營(yíng)的報(bào)告題目為“《周易》推理機(jī)制探析”。報(bào)告中指出《周易》的占卦階段的推類推理是一個(gè)完備的演繹推理系統(tǒng)，解卦階段更多的是語(yǔ)用推理，只具有或然性。他以具體事例闡釋了這一觀點(diǎn)。

西南財(cái)經(jīng)大學(xué)谷彪的報(bào)告題目是“大數(shù)據(jù)的邏輯機(jī)理”。報(bào)告中，他指出大數(shù)據(jù)具有容量大、類型多、速度快、價(jià)值密度低的特點(diǎn)，進(jìn)而提出建立在數(shù)據(jù)相關(guān)關(guān)系分析基礎(chǔ)上的預(yù)測(cè)是大數(shù)據(jù)的核心，相關(guān)性是對(duì)因果性、統(tǒng)計(jì)規(guī)律性的的補(bǔ)充，但要警惕“大數(shù)據(jù)浮夸”。使用Hadoop開(kāi)發(fā)和處理大數(shù)據(jù)，Hadoop的核心是匹配歸約算法框架MapReduce。交互性可被視為大數(shù)據(jù)的形成機(jī)制的核心，由此展開(kāi)可得到大數(shù)據(jù)分析的三大邏輯支柱：拉姆塞理論、博弈論的策略可理性化理論、邏輯動(dòng)力學(xué)。他指出，大數(shù)據(jù)認(rèn)知與數(shù)據(jù)挖掘技術(shù)的發(fā)展和網(wǎng)絡(luò)用戶的行為密切相關(guān)，具有漸進(jìn)性、路徑依賴性等隨時(shí)間演化的特征。

重慶師范大學(xué)李章呂報(bào)告的題目是“基于因果模型的兩盒論——紐科姆難題的消解方案”。他首先借助屏蔽原理、動(dòng)作算子do，進(jìn)行紐科姆難題的因果決策模型的勾勒。再引入行動(dòng)概率變量ψ，構(gòu)建一個(gè)基于決策者BATOB的決策方案。這一方案體現(xiàn)了貝葉斯決策的知識(shí)更新和信念修正特點(diǎn)。

重慶第二師范學(xué)院張?zhí)N作了“應(yīng)用型本科院校邏輯通識(shí)教育課程建設(shè)與發(fā)展的路徑探析”的報(bào)告。她認(rèn)為需要發(fā)揮邏輯學(xué)在培養(yǎng)應(yīng)用型人才的創(chuàng)新精神、創(chuàng)造力方面的重要作用，為了完成這一目標(biāo)，需要擯棄分歧，統(tǒng)一理念，在諸多方面進(jìn)行系統(tǒng)改革。

重慶市邏輯學(xué)會(huì)秘書(shū)長(zhǎng)，全國(guó)現(xiàn)代邏輯專業(yè)委員會(huì)副主任郭美云教授在總結(jié)發(fā)言里指出，此次研討會(huì)內(nèi)容豐富，涵蓋面廣。他同時(shí)強(qiáng)調(diào)，此次會(huì)議對(duì)于促進(jìn)四省市邏輯學(xué)會(huì)之間以及與全國(guó)形式邏輯專業(yè)委員會(huì)之間的交流與合作起了很好的效果。

本次會(huì)議是由全國(guó)形式邏輯專業(yè)委員會(huì)主任、重慶市邏輯學(xué)會(huì)會(huì)長(zhǎng)何向東教授發(fā)起和指導(dǎo)組織的第一次會(huì)議。組委會(huì)決定今后將繼續(xù)在四省市輪流舉辦，這對(duì)于促進(jìn)四省市的邏輯學(xué)研究和教學(xué)以及加強(qiáng)西南地區(qū)在邏輯學(xué)領(lǐng)域的交流與合作將會(huì)有重要意義。

孫洋西南大學(xué)邏輯與智能研究中心294256817@qq.com

2015-11-10