邏輯與演繹科學方法論導論

定　價：￥21.00

作　者：	（波蘭）塔爾斯基著周禮全，吳允曾，晏成書譯
出版社：	商務印書館出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787100005203	出版時間：	1963-01-01	包裝：	平裝
開本：	32開	頁數(shù)：	256	字數(shù)：

內(nèi)容簡介

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

作者簡介

暫缺《邏輯與演繹科學方法論導論》作者簡介

圖書目錄

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