謂詞抽象研究
作者：魏燕俠 著
出版時間：2017-12
書名：華僑大學哲學社會科學文庫·哲學系列
頁數：213
書號：978-7-5201-1173-7
關鍵字：謂詞抽象|謂詞|哲學
開本：16
裝幀：平裝
內容簡介
本書的創新之處在於把謂詞抽象的思想套用於邏輯和哲學兩個領域的研究。在邏輯領域，通過引入謂詞抽象這一具體的技術，突破了模態邏輯領域Herbrand 定理研究的難題，從而為模態自動定理證明提供了理論基礎。在哲學領域，通過將謂詞抽象思想套用於相關哲學問題的研究，延續了哲學研究中的邏輯分析傳統。
