教育部項目“弗協調、弗完全、擬真勢邏輯及其應用研究”開題沙龍舉行

7月17日下午，教育部社科青年項目“弗協調👷🏻、弗完全、擬真勢邏輯及其應用研究”開題沙龍在中北校區理科大樓A204舉行🏋🏿‍♀️，沙龍由項目負責人、哲學系郝旭東老師主持🔃。哲學系何靜、王韜洋👱🏽‍♂️、張容南、張纓😕、姜宇輝、張曉林等老師參加了沙龍。

郝旭東老師匯報內容的主要包括五個方面🏘：弗協調邏輯的歷史淵源及其背景、弗協調邏輯的創立原因、弗協調邏輯的產生和發展、弗完全和擬真勢邏輯及其發展狀況以及本課題計劃將要開展的主要工作和重點難點。

郝旭東老師首先介紹了弗協調邏輯的歷史淵源及其背景💂🏻，指出上世紀初以來產生的很多諸如模態邏輯、直覺主義邏輯📺、多值邏輯👩🏽‍⚖️、相幹邏輯等非經典邏輯，都是隨著我們的研究深度和廣度延伸之後✍🏿，由於對經典邏輯處理一些問題的方式或能力的不滿意而產生的。弗協調邏輯也是在這樣一個非經典邏輯迅速興起的背景下創立起來的，弗協調邏輯、弗完全邏輯以及擬真勢邏輯對經典邏輯的不滿之處則主要在於經典邏輯“矛盾可以推出一切”、“真命題為一切所蘊涵”，以及“不協調”就意味著“不足道”的處理方式🚐7️⃣。針對於此，它們分別采取了弱化矛盾律和排中律的邏輯措施建立起了弗協調🧍‍♂️、弗完全以及繼弗協調又弗完全的擬真勢邏輯系統。而本課題要做的工作主要在於豐富和完善弗完全和擬真邏輯公理系統，並對這些公理系統進行推理性質的比較研究以及討論所構建的這些公理系統在哲學以及具體科學領域的實際應用。

弗協調🤕、弗完全和擬真勢邏輯具有的特殊性質引起了與會老師廣泛興趣和熱烈探討，與會老師也為本課題的研究開展提出了很多建設性意見。郝旭東老師表示將在課題申報的研究計劃基礎上，認真地逐步逐項完成研究計劃，爭取保質保量地完成本課題的研究🧑🏻。