西南大學(xué)邏輯與智能研究中心

邏輯與智能研究中心簡報(bào)2014-PAGE1-邏輯與智能研究中心第2第2期總第48期2014西南大學(xué)邏輯與智能研究中心簡報(bào)★★學(xué)術(shù)交流★香港大學(xué)DanRobins博士來中心講學(xué)應(yīng)西南大學(xué)邏輯與智能研究中心邀請，香港大學(xué)DanRobins博士于2014年6月23日下午3:30-5:00在西南大學(xué)邏輯與智能研究中心學(xué)術(shù)報(bào)告廳作“后期墨家唯名論”的學(xué)術(shù)報(bào)告。中心郭美云副教授、馬明輝副教授、Jeremy

Seligman教授、加爾各答大學(xué)研究生NeethiKonar、邏輯學(xué)專業(yè)全體博士碩士研究生以及中國哲學(xué)專業(yè)研究生等20多人參加了此次報(bào)告會，報(bào)告由郭美云副教授主持。DanRobins博士以風(fēng)趣幽默的方式、通俗易懂的語言為大家展現(xiàn)其報(bào)告內(nèi)容，主要分為四部分：首先，簡要介紹唯名論及其反對者的主要觀點(diǎn)，從而提供相關(guān)的知識背景；其次，通過解讀《墨經(jīng)》相關(guān)章節(jié)探討“法”和“然”，論證后期墨家的知識論是與唯名論一致的；然后，通過解讀“堅(jiān)白之辯”考察后期墨家的形而上學(xué)性質(zhì)，認(rèn)為墨家在這點(diǎn)上同樣是唯名論者；最后，通過闡釋《墨經(jīng)》中對“義利”的定義討論“定義和先驗(yàn)”，認(rèn)為《墨經(jīng)》中的“下定義”是論證后期墨家唯名論的一個(gè)優(yōu)勢?？傊?，他基于A.C.Graham以及Hansen、Geaney、Fraser等人的工作充分解決了論證后期墨家唯名論的難題，捍衛(wèi)了“后期墨家是唯名論者”這一觀點(diǎn)。在隨后的提問環(huán)節(jié)中，在座師生與DanRobins博士展開了近乎半個(gè)小時(shí)激烈的討論，充分體現(xiàn)出思維與思維的碰撞，智慧對智慧的挑戰(zhàn)。此次學(xué)術(shù)報(bào)告，加深了同學(xué)們對中國古代邏輯學(xué)的領(lǐng)悟，擴(kuò)展了同學(xué)們的知識結(jié)構(gòu)，加強(qiáng)了我校中國哲學(xué)、中國邏輯史等專業(yè)與海外專家學(xué)者的學(xué)術(shù)交流?！铩飳W(xué)術(shù)會議★郭美云副教授出席2014全國現(xiàn)代邏輯學(xué)術(shù)討論會

2014年全國現(xiàn)代邏輯學(xué)術(shù)討論會于2014年10月24日~26日在北京師范大學(xué)隆重舉行。此次活動(dòng)由中國邏輯學(xué)會現(xiàn)代邏輯專業(yè)委員會與北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院共同舉辦。來自全國的八十多位邏輯學(xué)界的老前輩和年青學(xué)者參加了此次會議。

郭美云副教授應(yīng)邀參加會議并作了題為“證實(shí)原則的認(rèn)知邏輯分析”的學(xué)術(shù)報(bào)告。報(bào)告指出，證實(shí)原則作為證實(shí)主義的一個(gè)一般性綱領(lǐng)認(rèn)為，一個(gè)非分析性的有意義的真語句都是可以被經(jīng)驗(yàn)所證實(shí)（因而是可知）的。但用認(rèn)知邏輯表明從證實(shí)原則出發(fā)可以產(chǎn)生費(fèi)奇悖論。費(fèi)奇悖論表明，證實(shí)原則不僅和信念修正中穆爾語句不能被一致地相信相關(guān)，還與動(dòng)態(tài)認(rèn)知邏輯中一個(gè)公式是否總能成功更新有關(guān)。在對動(dòng)態(tài)認(rèn)知邏輯對證實(shí)原則的各種修正方案進(jìn)行比較分析后認(rèn)為，證實(shí)原則反映了人類學(xué)習(xí)和交流互動(dòng)過程中的精致性和復(fù)雜性，這在動(dòng)態(tài)邏輯的具體背景下可以進(jìn)一步進(jìn)行更為細(xì)致的研究。

此次會議還對中國邏輯學(xué)會現(xiàn)代邏輯專業(yè)委員會進(jìn)行了換屆選舉，在會上郭美云副教授當(dāng)選為現(xiàn)代邏輯專業(yè)委員會副主任。中心副主任唐曉嘉教授和郭美云副教授參加2014年中國邏輯學(xué)會學(xué)術(shù)大會

2014年11月7日至8日由中國邏輯學(xué)會主辦的2014年中國邏輯學(xué)會全國學(xué)術(shù)大會在湘潭大學(xué)正式召開，來自全國的150余位邏輯學(xué)者參加了大會。中心副主任唐曉嘉教授和郭美云副教授一同出席大會。郭美云副教授作了題為“博弈困境的兩種解決方案”的學(xué)術(shù)報(bào)告。報(bào)告以旅行者困境為例，對Halpern&Pass提出的重復(fù)后悔度最小化模型和Capraro提出的基于聯(lián)盟與合作的概率推理模型兩種方案進(jìn)行分析比較，考察它們是如何成功地解釋和預(yù)測旅行者困境中選手實(shí)際博弈行為，并對這兩種方案的普適性問題和