2024年6月15日-16日，由bevictor伟德官网、bevictor伟德官网現代邏輯與邏輯應用研究所主辦的“第六屆京津冀邏輯論壇”在bevictor伟德官网七一路校區成功召開。來自京津冀等地10餘所高校的專家學者參加了本次論壇。會議以“智能化時代邏輯學研究與教學”為主題，旨在共話該領域的最新研究進展，促進當代邏輯學的理論和實踐研究走向深入，推動京津冀邏輯學科的交流與合作。
會議開幕式由bevictor伟德官网副院長趙賢教授主持。bevictor伟德官网黨委常委、副校長單耀軍教授，中國邏輯學會副會長、bevictor伟德官网院長張燕京教授，中國邏輯學會副會長、南開大學哲學院院長翟錦程教授，中國社科院哲學研究所邏輯學研究室主任劉新文研究員先後緻辭。單耀軍副校長代表學校對與會專家長期以來對bevictor伟德官网哲學學科的支持表示感謝，并簡要介紹了bevictor伟德官网和哲學學科的發展情況。張燕京對與會專家莅臨bevictor伟德官网參會表示感謝，充分肯定了京津冀邏輯論壇成立的重大意義。翟錦程強調本次會議有助于推動京津冀等地邏輯學研究的協同創新與發展。劉新文回顧了京津冀邏輯論壇的發展曆史、展望了未來的發展方向。
南開大學翟錦程教授在“論中國的哲學與中國的邏輯”的報告中指出，與中國傳統哲學的演進相伴，其背後必然有對中國哲學發展起到根基作用的邏輯論證，所以，中國邏輯也有着相應的發展進程。因此，我們需要依據中國傳統文化的思想生态來認識中國邏輯論證的思想特質，而不是“比附”于外來的邏輯來挖掘中國邏輯思想。
中國社科院劉新文研究員在“王浩論邏輯的哲學基礎”的報告中指出，王浩先生是現代著名數理邏輯學家，是對世界哲學作出過深刻貢獻的華裔學者，其邏輯思想集中體現在自行撰著的《從邏輯到數學》一書中。在闡述邏輯理論時，他從對命題觀念的反思中提煉出邏輯常項，即提煉邏輯，這種特點是其學術價值與史料價值的體現。
浙江大學金立教授作了題為“面向卓越人才培養的邏輯教學實踐探索——浙江大學‘大學寫作’課程經驗分享”的報告，探讨了邏輯學與寫作教學的關系，分享了浙江大學“大學寫作”課程建設理念和取得的成果。她認為，基于寫作在大學通識教育中的樞紐的定位，能更好地推進大學寫作課程建設，從而切實有效地提升大學生的寫作水平。
中國人民大學餘俊偉教授作了題為“邏輯學專業的學與教”的報告，介紹了一種以學為中心的邏輯專業教學理念模式。整個教學過程，教師承擔的角色由傳統的講授模式轉變為導航模式：定計劃，選教材，确保質量，把握進度，實現目标。教材遵循内容經典、難度恰當的原則。研究生的角色由聽轉換為講：依循教材，自主探索，體驗過程，在增長知識的同時更看重自我成長能力的培養，領會方法與原理，貫通邏輯與哲學。
中國科學院大學張立英教授作了題為“《牟子理惑論》之論理辯”的報告，從邏輯學角度對《牟子理惑論》進行分析，指出文中除了熟練使用了演繹推理的規律外，還基于“上下周極含血之類物，皆屬佛焉”等預設，廣泛使用舉例和比喻等非演繹方式進行說理與論證，并強調情境對推理結論和行為的影響，探讨了為什麼使用譬喻等元論證問題。從邏輯學角度對《牟子理惑論》進行研究，提示了一種分析古代文本的新思路和新路徑。
北京師範大學琚鳳魁副教授在“分支時間中的強（弱）曆史（時間）必然性”的報告中，提出了分支時間中的四種必然性的邏輯理論：強/弱曆史必然性和強/弱時間必然性。這四種必然性的動機主要是語言學的角度。對這四種必然性概念的處理方法如下：主體接受一個本體規則系統，其确定可期待的時間線。主體将某些本體規則視為不可廢止的，其決定可接受的時間線。通過考察這個邏輯理論的表達能力，證明了其完備性。
山東大學榮立武副教授在“現代語用學研究及其代際關系綜述”的報告中指出，為了反對“意義即使用”，格賴斯在“語言”“思維”“實在”的耦合關系中描述了真值概念和意義概念的原型，刻畫了意義的中心性範疇。随着語用學的認知轉向，格賴斯對話語意義分析的整體設想遭遇了語言的不充分确定性和“讀心”兩大挑戰。為解決這些問題，以關聯理論為代表的第二代語用學抛棄了格賴斯的“所言”概念，尋求“語言”與“思維”的直接對應關系。最終得出結論：沒有充分證據表明語用學的代際轉換已經完成，因此格賴斯語用學與認知語用學是互補的而不是相互競争的。
bevictor伟德官网趙賢教授作了“模态實在與模态非實在事件的邏輯”的報告，從語形和語義兩個方面對模态實在事件和模态非實在事件展開研究。不僅從定義、定理、證明幾個方面給出了關于可能世界的模态實在事件和模态非實在事件的形式系統，還證明了該系統的可靠性和完全性。與正規模态邏輯相比，該系統的表達能力相對較弱，不能區分自反模型，但該系統仍可以提供我們所需要的所有公式。模态黑洞并不是一個可能的世界，而是一個“存儲”世界中所有模态非實在事件的地方。給定一個模型，每個世界隻有一個模态黑洞，模型中模态黑洞的數量等于模型中世界的數量。我們的世界有它的模态黑洞，模态黑洞中的事件有其自己的邏輯結構。
南開大學劉葉濤教授在“應重讀克裡普克經典文獻”的報告中指出，從近年學界相關研究看，關于克裡普克的哲學思想的把握仍有較大不足，誤視和錯解仍時有發生。克裡普克哲學論文集中譯本《哲學的困惑》首次發表的幾篇論文，涉及認知悖論、知識的反事實分析、含義和指稱、從言模态和從物模态的關聯、預設與回指、時間和思想悖論等多個方面，是相關研究的重要文獻，值得高度關注。重讀克裡普克經典文獻有助于我們夯實研究地基，匡正思考誤區，推動相關研究。
bevictor伟德官网朱帆博士在“因果性問題研究”的報告中指出，因果方向性，又稱因果非對稱性，強調因果關系具有單向性。然而，在物理學領域，基本定律往往呈現時間對稱性，這使得因果方向性的解釋面臨挑戰。Huw Price将此困難稱為因果方向性解釋的物理主義約束。作為自稱自然主義的幹預主義者，其觀點亦受此約束的限制。通過對Judea Pearl與James Woodward兩位幹預主義者的因果方向性解釋進行考察，并得出結論：Pearl的解釋是一種基于進化語義約定論，而Woodward的解釋亦未能成功擺脫人類中心主義。因此，幹預主義的因果方向性解釋在應對物理主義約束方面，迄今尚未成功。
山西大學郭建萍教授在“反邏輯例外論：概述與反思”的報告中指出，邏輯例外論與反例外論的争論是近年來邏輯哲學領域研究的熱點。以約特蘭、威廉姆森、普萊斯特等為代表的反邏輯例外論者的主要觀點是這場争論的導火索和焦點所在。通過從基本概念的清晰界定、邏輯理論層次的區分上對AEL的觀點（1）（2）（3）予以質疑，進而得出結論，對邏輯例外論與和反例外論之争，最好持一種開放的心态，允許對邏輯以更多視角予以考察研究，推動邏輯的繁榮發展以及人類求真道路的堅實與多元！
南開大學李延軍副教授作了“聯盟規劃中的邏輯推理”的報告，首先介紹了人工智能領域的經典規劃問題，在經典規劃問題的基礎上定義了在同步模型上的聯盟規劃問題。然後介紹了一個可以刻畫聯盟規劃中聯盟知識推理和聯合行動推理的邏輯框架，給出了一個該邏輯框架上公理系統并證明了該公理系統的可靠性和完全性。同時，定義了基于該邏輯框架的聯盟規劃問題。介紹了該聯盟規劃問題的複雜度。最後，通過将聯盟規劃問題歸約為單主體環境中的分支規劃問題，證明了聯盟規劃問題的規劃方案的存在性問題是多項式時間可解的。
清華大學闫佳亮博士作了“Epistemic Possibility under Knowledge and Belief”的報告，提供了一個刻畫認知可能及其相關推理的邏輯。首先提出了一些謎題，以突出認知可能在知識和信念語境中帶來的挑戰。針對這些問題給出一個認知模型，其中認知可能被定義為信息狀态中的可能性範圍，信念則以可信度排序的方式被形式化。在該框架中，知識的事實性被視為一種預設，而不僅僅依賴于可及性關系的自返性。該模型是基于屜語義（team semantics）和狀态為基的雙邊模态邏輯（BSML）的認知擴展。
山東大學田中旭同學在“真值函項的偶然邏輯”的報告中指出，根據真值函項聯結詞的語義，所有經典命題邏輯的公式可被分為三部分：重言式、矛盾式和偶然式。真值函項偶然邏輯即是為了刻畫經典命題邏輯中所有的偶然式。該報告介紹真值函項偶然邏輯的希爾伯特演算系統HLC和矢列演算系統GLC，并證明它們都是可靠且完全的，以及GLC是可判定的。
會議在熱烈的氣氛中落幕。大會閉幕式由劉新文主持，張燕京緻閉幕詞。張燕京指出，這次⼤會一天時間安排了14場學術報告，這充分表明京津冀邏輯論壇是一個純粹的學術論壇。14場學術報告展示了當前京津冀邏輯學研究和教學的動态和趨勢。本屆論壇進一步增進了京津冀等地高校之間的交流和合作，擴大了京津冀地區邏輯學的影響，必定對于京津冀乃至全國邏輯學的發展具有積極的推動作用。（王麗珍供稿）