自由摹狀詞理論研究(簡體書)
- 系列名:國家哲學社會科學成果文庫
- ISBN13:9787010106625
- 出版社:人民出版社
- 作者:馮豔
- 裝訂:精裝
- 規格:19cm*13cm (高/寬)
- 版次:1
- 出版日:2012/05/01
商品簡介
作者簡介
名人/編輯推薦
目次
引 言
第一章 自由摹狀詞理論產生之前的幾種摹狀詞理論
第一節 弗雷格的摹狀詞理論
第二節 羅素的摹狀詞理論
第三節 希爾伯特一貝奈斯的摹狀詞理論
第四節 素樸的限定摹狀詞理論
第二章 自由摹狀詞理論的邏輯基礎——自由邏輯
第一節 自由邏輯概述
第二節 自由邏輯的形式語言&FL
第三節 肯定自由邏輯公理系統PFL及其形式語義
第四節 否定自由邏輯公理系統NFL及其形式語義
第五節 中性自由邏輯SFFL
第六節 自由邏輯中的“存在”
第三章 幾個肯定的自由摹狀詞理論
第一節 列奧納德的存在邏輯LE1
第二節 亨迪卡的自由摹狀詞理論LH
第三節 拉姆伯特的幾個自由摹狀詞理論
第四節 斯科特的自由摹狀詞理論LS
第五節 格蘭迪的自由摹狀詞理論LG
第六節 肯定自由摹狀詞理論的主要特征
第七節 肯定自由摹狀詞理論之間的關系
第四章 否定的自由摹狀詞理論
第一節 博格提出的自由摹狀詞理論LB
第二節 否定自由摹狀詞理論LB的主要特征
第三節 否定自由摹狀詞理論與肯定自由摹狀詞理論的比較
第四節 自由摹狀詞理論研究的意義
第五章 一個自由模態的摹狀詞理論LFMDTX
第一節 形式語言&K與公理系統LK
第二節 LK的形式語義
第三節 LK的可靠性證明
第四節 一致集和Henkin集
第五節 力迫模型與LK的完全性證明
第六節 關于理論LK的幾點哲學討論
參考文獻
后記
主題書展
更多主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。