本書旨在為所有愿意認(rèn)真理性思考的青年學(xué)者系統(tǒng)性地解釋確保思維和表達正確性的邏輯學(xué)。可以說邏輯學(xué)是每一位愿意認(rèn)真理性思考者的必備工具。它的雛形是古希臘哲學(xué)家亞里士多德所鍛造的形式邏輯。它是經(jīng)過自十七世紀(jì)以來數(shù)百年演化以及融合了萊布尼茨、布爾、弗雷格、康托爾、哥德爾、塔爾斯基等杰出貢獻的智慧產(chǎn)物。本書將向讀者解釋該系統(tǒng)工具由什么組成、具有怎樣的功能以及可以怎樣應(yīng)用。這包括關(guān)于“數(shù)”和“計算”的概念分析與理論解釋，形式邏輯以及邏輯電路實現(xiàn)，形式邏輯系統(tǒng)的有效性、可靠性和完備性，適用于解決現(xiàn)實問題的代名詞邏輯，代名詞邏輯的有效性、可靠性和完備性以及作為優(yōu)美的概念文字的基本集合理論。本書還將向讀者解釋理性思考過程中出發(fā)點選擇的自由以及一致性的含義�！禕R》　　作者希望本書是一本介于現(xiàn)有形式邏輯教材以及數(shù)理邏輯專業(yè)教材之間的自學(xué)讀物。盡管本書事實上將數(shù)理邏輯的基本內(nèi)容以代名詞邏輯的形式展現(xiàn)出來，但本書的著眼點不是數(shù)學(xué)和數(shù)學(xué)基礎(chǔ)，而是哲學(xué)、法學(xué)、經(jīng)濟學(xué)以及其他社會科學(xué)，因為作者真心希望這些領(lǐng)域中的許多青年讀者可以從中得益。作者甚至還希望在諸多理科領(lǐng)域中也會有不少的青年讀者可以從本書中得益�！禕R》　　“工欲善其事，必先利其器”。“心之官則思”，思者宜用利器。

更多科學(xué)出版社服務(wù)，請掃碼獲取。