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

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

《邏輯與演繹科學(xué)方法論導(dǎo)論》：漢譯世界學(xué)術(shù)名著叢書

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    邏輯與演繹科學(xué)方法論導(dǎo)論 PDF格式下載

---