
5月31日下午🍄➖,國家社科項目“擬真勢多主體認知邏輯研究”開題沙龍在閔行校區人文學術沙龍舉行🤷🏽♂️,沙龍由項目負責人、哲學系郝旭東教師主持。
郝旭東老師匯報內容的主要包括四個方面:弗完全的發展概況🐁、弗完全命題邏輯系統P1🚴🏼♂️、弗完全邏輯P1的可判定性及其擬真值表、P1作為解悖方案的邏輯機製。
主持人首先較為詳細地址介紹了弗完全邏輯的發展概況和背景📏🙆🏽,指出弗完全邏輯P1是一種允許一個命題及其否定可以同時都為假的邏輯系統,即在該邏輯系統中一般意義的排中律將不再有效。文章在給出的標準語法和語義的基礎上☯️,對弗完全否定的邏輯涵義進行了直觀解釋,並分析了其邏輯語義特征;給出了弗完全邏輯擬真值表的具體列法🤹♀️,表明了系統P1的可判定性;利用擬真值表方法,表明了一般意義排中律在P1中的失效🧜🏼♀️;對弗完全邏輯P1可以容忍邏輯悖論的邏輯機製進行了解析,並就此將弗協調邏輯C1和P1進行了容忍能力的比較。
弗完全邏輯可以容忍悖論的邏輯機製引起了與會老師廣泛興趣和熱烈探討,與會老師也對悖論產生的哲學、認知和邏輯根源進行了廣泛而深入地探討,並對作為解悖方案的弗完全邏輯在認知邏輯方向的發展方面完善提出了寶貴。主持人也將在這些寶貴的建議基礎上,進一步完善弗完全邏輯的研究。