相關商品
商品簡介
目次
商品簡介
本卷包括兩部論著：《邏輯方法》（1950）和《本體論的相對性及其他論文》（1969）。前者是一部邏輯教科書，旨在傳達關于現代邏輯的形式概念的精確理解，并發展有關形式推理的方便技巧，還討論了一些相關的邏輯哲學問題。后者是由6篇論文組成的一部論文集，著重討論對象、存在、量化以及本體論的相對性等問題。
目次
邏輯方法（第四版）
引論
第Ⅰ部分 真值函項
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個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。