邏輯與演繹科學(xué)方法論導(dǎo)論（120年珍藏本）

定　價：￥88.00

作　者：	Alfred Tarski
出版社：	商務(wù)印書館
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥88.00)

ISBN：	9787100148382	出版時間：	2017-12-01	包裝：	精裝
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　本書是波蘭著名哲學(xué)家、邏輯學(xué)家塔爾斯基（1902—1983）的一部數(shù)理邏輯入門著作。全書分為兩部分。第一部分用非嚴(yán)格的形式化方法論述了語句演算、類和關(guān)系及演繹方法的基本理論。第二部分論述了邏輯和方法論在構(gòu)造教學(xué)理論中的應(yīng)用，構(gòu)造了一個以邏輯為基礎(chǔ)的實算術(shù)公理系統(tǒng)。本書通過介紹數(shù)理邏輯的一些最重要的概念，討論了數(shù)理邏輯的進展和意義，試圖在兼顧嚴(yán)格性的同時，為普通讀者提供了一個清晰的可理解的現(xiàn)代邏輯思潮觀念。