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

內(nèi)容概要

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

作者簡介

作者：（波蘭）塔爾斯基（Tarski.A.） 譯者：周禮全 吳允曾 晏成書

書籍目錄

初版序言序言第一部分 邏輯的元素．演繹方法(Ⅰ)論變項的用法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ù)學理論中的應用推薦的讀物索引譯者后記

章節(jié)摘錄

版權頁：插圖：在前幾版中，把某些最基本的問題和概念完全忽略過去或僅僅略微觸及，這或是由于它們比較地具有專門性，或是為了避免一些具有爭論性的論點。像這樣一些題目，例如：在邏輯的有系統(tǒng)的發(fā)展中和在日常生活的語言中某些邏輯觀念的用法之間的區(qū)別，證明語句演算的規(guī)律的一般方法，語詞與其名字之間的明確區(qū)別的必要性，全類和空類的概念，關系運算的基本觀念，以及最后，作為各科學的一般科學的方法論概念。在這一版中，所有這些題目都討論到了（雖然所有這些題目并非同等詳盡地討論了的），因為我似乎覺得在現(xiàn)代邏輯的任何一本教科書中，不談這些題目就會造成一種根本的缺陷。因此，本書前面的幾章，即概論部分或多或少地擴展了；特別是第2章，即專門討論語句演算的一章包含著很多新材料。對于這幾章我又補充了許多新的練習，并且增加了歷史的線索的資料。在前幾版中，專門符號的應用是縮減到最低限度，而在這一版中我以為有必要使讀者熟悉邏輯符號的基本知識。但是，實際上這種符號的應用仍然受到很大限制，并且大部分限定在練習中。在前幾版中，為了說明一般的和抽象的思考而引出例子的主要領域是中學數(shù)學；因為我過去和現(xiàn)在都認為，基本數(shù)學、特別是代數(shù)，由于它的概念的簡單性及其推論方法的一致性，特別適合于例證邏輯的和方法論性質(zhì)的各種基本現(xiàn)象。但是，在這一版，特別是在新補充的篇幅中，我經(jīng)常從其他領域、特別是從日常生活中舉出了一些例子。

編輯推薦

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

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    邏輯與演繹科學方法論導論 PDF格式下載

---