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

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