作品介紹

謂詞抽象研究

作者：魏燕俠整理日期：2018-11-15 09:18:41

　　本書的創(chuàng)新之處在于把謂詞抽象的思想應(yīng)用于邏輯和哲學(xué)兩個領(lǐng)域的研究。在邏輯領(lǐng)域，通過引入謂詞抽象這一具體的技術(shù)，突破了模態(tài)邏輯領(lǐng)域Herbrand　定理研究的難題，從而為模態(tài)自動定理證明提供了理論基礎(chǔ)。在哲學(xué)領(lǐng)域，通過將謂詞抽象思想應(yīng)用于相關(guān)哲學(xué)問題的研究，延續(xù)了哲學(xué)研究中的邏輯分析傳統(tǒng)�！　�

→ 謂詞抽象研究下載地址 ←

上一本：北京皮影戲

下一本：梁曉聲眼中的中國人

作家文集

☆ 豆豆作品集	☆ 林清玄作品集	☆ 江河作品集
☆ 李碧華作品集	☆ 林海音作品集	☆ 馬原作品集
☆ 高曉聲作品集	☆ 蔣子龍作品集	☆ 劉紹棠作品集
☆ 周立波作品集	☆ 亦舒作品集	☆ 閆紅作品集
☆ 祝勇作品集	☆ 周曉楓作品集	☆ 石一楓作品集
☆ 張廣天作品集	☆ 蔣藍作品集	☆ 李亞偉作品集
☆ 王小波作品集	☆ 木心作品集	☆ 魯迅作品集
☆ 葉圣陶作品集	☆ 張愛玲作品集	☆ 沈從文作品集
☆ 老舍作品集	☆ 巴金作品集	☆ 曹禺作品集
☆ 錢鐘書作品集	☆ 汪曾祺作品集	☆ 徐志摩作品集