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

定　價(jià)：￥21.00

作　者：	（波蘭）塔爾斯基著周禮全，吳允曾，晏成書(shū) 譯
出版社：	商務(wù)印書(shū)館出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787100005203	出版時(shí)間：	1963-01-01	包裝：	平裝
開(kāi)本：	32開(kāi)	頁(yè)數(shù)：	256	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《邏輯與演繹科學(xué)方法論導(dǎo)論》是我的《論數(shù)理邏輯和演繹方法》（該書(shū)1936年最初用波蘭文出版，又于1937年出版了確切的德文譯本，書(shū)名是：《數(shù)理邏輯和數(shù)學(xué)方法論導(dǎo)論》）一書(shū)部分修正了的和擴(kuò)充了的版本。最初寫《邏輯與演繹科學(xué)方法論導(dǎo)論》，是企圖把它當(dāng)作一本通俗的科學(xué)著作；其目的是向受過(guò)相當(dāng)教育的普通讀者提供一一用把科學(xué)的嚴(yán)格性和最大的可理解性結(jié)合起來(lái)的方式一一集中于現(xiàn)代邏輯的強(qiáng)大的現(xiàn)代思潮的一個(gè)清楚的觀念。這個(gè)思潮最初是從多少受到局限的鞏固數(shù)學(xué)基礎(chǔ)的任務(wù)發(fā)生的?？墒?，在現(xiàn)階段它卻具有遠(yuǎn)？廣泛的目的。因?yàn)樗噲D創(chuàng)造出可為人類知識(shí)的整體提供一種共同基礎(chǔ)的統(tǒng)一的概念工具。此外，它有助于使演繹方法完全化和敏銳化，這種演繹方法在某些科學(xué)中被當(dāng)作確立真理的唯一的允許的方法，而且，的確，它至少在一切智力活動(dòng)的領(lǐng)域內(nèi)，是從被公認(rèn)的假設(shè)中推導(dǎo)出結(jié)論來(lái)的必不可少的補(bǔ)助的工具。

作者簡(jiǎn)介

暫缺《邏輯與演繹科學(xué)方法論導(dǎo)論》作者簡(jiǎn)介

圖書(shū)目錄

初版序言
序言
第一部分邏輯的元素．演繹方法
（Ⅰ）論變項(xiàng)的用法
1．常項(xiàng)與變項(xiàng)
2．包含變項(xiàng)的表達(dá)式——語(yǔ)句函項(xiàng)與指示函項(xiàng)
3．應(yīng)用變項(xiàng)形成語(yǔ)句——全稱語(yǔ)句與存在語(yǔ)句
4．全稱量詞與存在量詞；自由變項(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í)
（Ⅳ）類的理論
21．類與它的元素
22．類和包含一個(gè)自由變項(xiàng)的語(yǔ)句函項(xiàng)
23．全類與空類
24．類與類間的基本關(guān)系
25．類的運(yùn)算
26．等數(shù)類，一個(gè)類的基數(shù)，有窮類與無(wú)窮類；算術(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ì)稱的與傳遞的關(guān)系
……
第三部分　邏輯和方法論在構(gòu)造數(shù)學(xué)理論中的應(yīng)用
推薦的讀物
索引
譯者后記