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

定　價(jià)：￥21.00

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

購(gòu)買(mǎi)這本書(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ò)充了的版本。最初寫(xiě)《邏輯與演繹科學(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)造出可為人類(lèi)知識(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ǔ)句——全稱(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)用
推薦的讀物
索引
譯者后記