具體描述
《邏輯與演繹科學方法論導論》是我的《論數理邏輯和演繹方法》（該書1936年最初用波蘭文齣版，又於1937年齣版瞭確切的德文譯本，書名是：《數理邏輯和數學方法論導論》）一書部分修正瞭的和擴充瞭的版本。最初寫《邏輯與演繹科學方法論導論》，是企圖把它當作一本通俗的科學著作；其目的是嚮受過相當教育的普通讀者提供一一用把科學的嚴格性和最大的可理解性結閤起來的方式一一集中於現代邏輯的強大的現代思潮的一個清楚的觀念。這個思潮最初是從多少受到局限的鞏固數學基礎的任務發生的。可是，在現階段它卻具有遠？廣泛的目的。因為它試圖創造齣可為人類知識的整體提供一種共同基礎的統一的概念工具。此外，它有助於使演繹方法完全化和敏銳化，這種演繹方法在某些科學中被當作確立真理的唯一的允許的方法，而且，的確，它至少在一切智力活動的領域內，是從被公認的假設中推導齣結論來的必不可少的補助的工具。
著者簡介
圖書目錄
序言
第一部分 邏輯的元素．演繹方法
(Ⅰ)論變項的用法
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．自反的，對稱的與傳遞的關係
……
第二部分 邏輯和方法論在構造數學理論中的應用
推薦的讀物
索引
譯者後記
· · · · · · (收起)
讀後感
这本书是一本数理逻辑的入门书，是以初等数学（作者称作算术）为素材讲解逻辑，可以看做是用逻辑重新阐释初等数学的内容；特别是第二部分，以第一部分所介绍的逻辑工具演示了如何用公理化方法建立数学定理的过程。这些工具包括：常量/变量，全称/存在量词，命题逻辑和等价，集...
評分说的逻辑，我们都会想到这样的话：“这个人说话没有逻辑。”这通常暗示两种含义，一是这个人说话没有清晰的结构，咕咕哝哝不知说什么，没有一个清晰的类似于“因为…而且…所以…”的结构；另一种是这个人说的话传递了一个错误的信息，比如“美国的首都是纽约”。“逻辑”这个...
評分说的逻辑，我们都会想到这样的话：“这个人说话没有逻辑。”这通常暗示两种含义，一是这个人说话没有清晰的结构，咕咕哝哝不知说什么，没有一个清晰的类似于“因为…而且…所以…”的结构；另一种是这个人说的话传递了一个错误的信息，比如“美国的首都是纽约”。“逻辑”这个...
評分说的逻辑，我们都会想到这样的话：“这个人说话没有逻辑。”这通常暗示两种含义，一是这个人说话没有清晰的结构，咕咕哝哝不知说什么，没有一个清晰的类似于“因为…而且…所以…”的结构；另一种是这个人说的话传递了一个错误的信息，比如“美国的首都是纽约”。“逻辑”这个...
評分说的逻辑，我们都会想到这样的话：“这个人说话没有逻辑。”这通常暗示两种含义，一是这个人说话没有清晰的结构，咕咕哝哝不知说什么，没有一个清晰的类似于“因为…而且…所以…”的结构；另一种是这个人说的话传递了一个错误的信息，比如“美国的首都是纽约”。“逻辑”这个...
用戶評價
要有樸素的生活和遙遠的夢想 即使明天天寒地凍 路遙馬亡
评分可怕
评分數學書…
评分有許多翻譯錯誤，有能力最好讀英文版的
评分不是我能評價的瞭的
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有