相關商品
商品簡介
目次
商品簡介
本卷包括兩部論著：《威拉德·范·奧曼·蒯因自傳》（1986）和《數理邏輯》（1940）。前者是蒯因為“在世哲學家文庫”《蒯因哲學》卷所寫的簡明自傳；后者是蒯因的一部重要的邏輯著作，在其中，他仍然堅持邏輯主義綱領，試圖從邏輯中推導出數學，把先前在《數理邏輯的新基礎》（1937）一文中提出的NF系統，修改為ML系統，這是一個把命題邏輯、量化理論和集合論集為一身的系統，結構簡明、特性奇異。
目次
威拉德·范·奧曼·蒯因自傳
數理邏輯
導言
第一章 句子
1 合取、析取和否定
2 條件句
3 多重復合
4 使用和談論
5 談論句子的句子
6 準引語
7 括號與黑點
8 歸約為三個初始聯結詞
9 歸約為一個初始聯結詞
10 重言式
11 某些重言的形式
第二章 量化
12 量詞
13 公式
14 約束、自由、閉包
15 量化的公理
16 定理
17 元定理
18 等值代換
19 存在量詞
20 量詞的分配
21 字母變體
第三章 項
22 類和分子
23 邏輯公式
24 抽離
25 等同
26 再論抽離
27 摹狀詞和名字
第四章 關于類的進一步理論
28 層次
29 更進一步的從屬關系公理
30 等同可代入性
31 變元的代入
32 進一步的結果
33 邏輯積、和、補
34 包含
35 單類
第五章 關系
36 對和關系
37 關系的抽離
38 逆、象、關系積
39 祖先
40 函數
41 函數的抽離
42 作為關系的等同和從屬
第六章 數
43 零、一、后繼
44 自然數
45 可數集合
46 有窮的和無窮的
47 關系的冪
48 算術和、積、冪
……
第七章 句法
附錄
參考文獻
人名索引
主題詞索引
數理邏輯
導言
第一章 句子
1 合取、析取和否定
2 條件句
3 多重復合
4 使用和談論
5 談論句子的句子
6 準引語
7 括號與黑點
8 歸約為三個初始聯結詞
9 歸約為一個初始聯結詞
10 重言式
11 某些重言的形式
第二章 量化
12 量詞
13 公式
14 約束、自由、閉包
15 量化的公理
16 定理
17 元定理
18 等值代換
19 存在量詞
20 量詞的分配
21 字母變體
第三章 項
22 類和分子
23 邏輯公式
24 抽離
25 等同
26 再論抽離
27 摹狀詞和名字
第四章 關于類的進一步理論
28 層次
29 更進一步的從屬關系公理
30 等同可代入性
31 變元的代入
32 進一步的結果
33 邏輯積、和、補
34 包含
35 單類
第五章 關系
36 對和關系
37 關系的抽離
38 逆、象、關系積
39 祖先
40 函數
41 函數的抽離
42 作為關系的等同和從屬
第六章 數
43 零、一、后繼
44 自然數
45 可數集合
46 有窮的和無窮的
47 關系的冪
48 算術和、積、冪
……
第七章 句法
附錄
參考文獻
人名索引
主題詞索引
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。