邏輯與演繹科學(xué)方法論導(dǎo)論

初版序言
序言
第一部分 邏輯的元素．演繹方法
（Ⅰ）論變項(xiàng)的用法
1．常項(xiàng)與變項(xiàng)
2．包含變項(xiàng)的表達(dá)式——語(yǔ)句函項(xiàng)與指示函項(xiàng)
3．應(yīng)用變項(xiàng)形成語(yǔ)句——全稱(chēng)語(yǔ)句與存在語(yǔ)句
4．全稱(chēng)量詞與存在量詞；自由變項(xiàng)與約束變項(xiàng)
5．變項(xiàng)在數(shù)學(xué)中的重要性
練習(xí)
（Ⅱ）論語(yǔ)句演算
6．邏輯常項(xiàng)；舊邏輯與新邏輯
7．語(yǔ)句演算；語(yǔ)句的否定，合取式與析取式
8．蘊(yùn)函式或條件語(yǔ)句；實(shí)質(zhì)蘊(yùn)函
9．蘊(yùn)函式在數(shù)學(xué)中的應(yīng)用
10．語(yǔ)句的等值式
11．定義的表述方式與定義的規(guī)則
12．語(yǔ)句演算的定律
13．語(yǔ)句演算的符號(hào)；真值函項(xiàng)與真值表
14．語(yǔ)句演算定律在推理中的應(yīng)用
15．推論的規(guī)則，完全的證明
練習(xí)
（Ⅲ）同一理論
16．不屬于語(yǔ)句演算的邏輯概念；同一概念
17．同一理論的基本定律
18．事物之間的同一與指示詞之間的同一引號(hào)的用法
19．算術(shù)與幾何中的相等，和它與邏輯同一的關(guān)系
20．?dāng)?shù)的量詞
練習(xí)
（Ⅳ）類(lèi)的理論
21．類(lèi)與它的元素
22．類(lèi)和包含一個(gè)自由變項(xiàng)的語(yǔ)句函項(xiàng)
23．全類(lèi)與空類(lèi)
24．類(lèi)與類(lèi)間的基本關(guān)系
25．類(lèi)的運(yùn)算
26．等數(shù)類(lèi)，一個(gè)類(lèi)的基數(shù)，有窮類(lèi)與無(wú)窮類(lèi)；算術(shù)作為邏輯的一個(gè)部分
練習(xí)
（Ⅴ）關(guān)系的理論
27．關(guān)系，關(guān)系的前域與關(guān)系的后域；關(guān)系與有兩個(gè)自由變項(xiàng)的語(yǔ)句函項(xiàng)
28．關(guān)系的運(yùn)算
29．關(guān)系的一些性質(zhì)
30．自反的，對(duì)稱(chēng)的與傳遞的關(guān)系
……
第三部分　邏輯和方法論在構(gòu)造數(shù)學(xué)理論中的應(yīng)用
推薦的讀物
索引
譯者后記