幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

邏輯與演繹科學方法論導論/漢譯世界學術名著叢書

  • 作者：(波蘭)塔爾斯基|譯者:周禮全//吳允曾//晏成書
  • 出版社：商務印書館
  • ISBN：9787100005203
  • 出版日期：1963/04/01
  • 裝幀：平裝
  • 頁數：258
人民幣：RMB 48 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書是著名的邏輯學家塔爾斯基對於現代數理邏輯進行了系統闡述的著作。
    本書是企圖把它當作一本通俗的科學著作；其目的是向受過相當教育的普通讀者提供——用把科學的嚴格性和最大的可理解性結合起來的方式——集中於現代邏輯的強大的現代思潮的一個清楚的觀念。這個思潮最初是從多少受到局限的鞏固數學基礎的任務發生的。可是，在現階段它卻具有遠為廣泛的目的。因為它試圖創造出可為人類知識的整體提供一種共同基礎的統一的概念工具。
作者介紹
(波蘭)塔爾斯基|譯者:周禮全//吳允曾//晏成書
目錄
初版序言
序言
第一部分  邏輯的元素，演繹方法
  （Ⅰ）論變項的用法
    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.自反的，對稱的與傳遞的關係
    31.序列關係；其他關係的例子
    32.一多關係或函項
    33.一一關係或一一函項與一一對應
    34.多項關係；包含幾個變項的函項與運算
    35.邏輯對其他科學的重要性
    練習
  （Ⅵ）論演繹方法
    36.一個演繹的理論的基本組成部分——基本詞項與被定義的詞項，公理及定理

    37.一種演繹的理論的模型和解釋
    38.演繹法定律；演繹科學的形式的特性
    39.公理與基本詞項的選擇；它們的獨立性
    40.定義與證明的形式化，形式化的演繹理論
    41.一個演繹理論的無矛盾性與完全性；判定問題
    42.演繹科學方法論的擴大的概念
    練習
第二部分  邏輯和方法論在構造數學理論中的應用
  （Ⅶ）一個數學理論的構造：數的次序的定律
    43.構造中的理論的基本詞項；關於數與數之間基本關係的公理
    44.基本關係的不自反律；間接證明
    45.基本關係的其它定理
    46.數之間的其它關係
    練習
  （Ⅷ）一個數學理論的構造：加法和減法的定律
    47.關於加法的公理；運算的一般性質，群和交換群的概念
    48.對於較多的被加數的交換律和結合律
    49.加法的單調定律以及它們的逆定律
    50.閉語句系統
    51.單調定律的推論
    52.減法的定義；反運算
    53.被定義者包含等號的定義
    54.關於減法的定理
    練習
  （Ⅸ）關於所構造的理論的方法論的討論
    55.在原來的公理系統中消去多餘的公理
    56.化簡了的系統的公理的獨立性
    57.多餘的基本詞項的消去和公理系統的繼續化簡；一個有序交換群的概念
    58.公理系統的進一步化簡；基本詞項系統的可能變換
    59.所構造理論的無矛盾性問題
    60.所構造理論的完全性證明
    練習
  （Ⅹ）所構造的理論的擴充。實數算術的基礎
    61.實數算術的第一個公理系統
    62.第一個公理系統的進一步描述，它的方法論上的優點和教學上的缺點
    63.實數算術的第二個公理系統
    64.第二個公理系統的進一步描述；域的概念和有序域的概念
    65.兩個公理系統的等價；第二個系統的方法論上的缺點和教學上的優點
    練習
推薦的讀物
索引
譯者後記

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032