邏輯與演繹科學(xué)方法論導(dǎo)論pdf電子書是一本由《論數(shù)理邏輯和演繹方法》修正了的和擴(kuò)充了的版本,需要的網(wǎng)友可以來東坡網(wǎng)下載!
邏輯與演繹科學(xué)方法論導(dǎo)論圖書介紹
本書是我的《論數(shù)理邏輯和演繹方法》(該書1936年最初用波蘭文出版,又于1937年出版了確切的德文譯本 書名是:《數(shù)理邏輯和數(shù)學(xué)方法論導(dǎo)論》)一書部分修正了的和擴(kuò)充了的版本。最初寫這本書,是企圖把它當(dāng)作一本通俗的科學(xué)著作;其目的是向受過相當(dāng)教育的普通讀者提供一一用把科學(xué)的嚴(yán)格性和最大的可理解性結(jié)合起來的方式一一集中于現(xiàn)代邏輯的強(qiáng)大的現(xiàn)代思潮的一個(gè)清楚的觀念。這個(gè)思潮最初是從多少受到局限的鞏固數(shù)學(xué)基礎(chǔ)的任務(wù)發(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ǔ)助的工具。
邏輯與演繹科學(xué)方法論導(dǎo)論圖書目錄
初版序言
序言
第一部分 邏輯的元素.演繹方法
(Ⅰ)論變項(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)用
- PC官方版
- 安卓官方手機(jī)版
- IOS官方手機(jī)版