上天賦予人們強大的思考與邏輯推理能力，人類借此創(chuàng)立了許多傲人的思想和不可思議的理論。然而，這些思想通常必須在歷經(jīng)千錘百煉之后才能開始發(fā)光發(fā)熱。大多數(shù)時候，當人們處于自由自在、自然而然的思考狀態(tài)時，會產(chǎn)生一些不易發(fā)現(xiàn)的思維漏洞和謬誤。這些謬誤可能無關(guān)緊要，也可能僅僅鬧個小笑話；但也可能導(dǎo)致一個人偏激的行為，甚至極端的做法

聯(lián)合演算是希爾伯特和阿克曼為從現(xiàn)代邏輯的演算觀把傳統(tǒng)邏輯推理理論系統(tǒng)化而特構(gòu)的一種新的邏輯工具，但聯(lián)合演算在解釋傳統(tǒng)邏輯和亞里士多德邏輯中存在根本缺陷。馬雷所著的《論聯(lián)合演算》系統(tǒng)研究和發(fā)展了聯(lián)合演算的理論與方法，廢棄了聯(lián)合演算的原初判定標準，提出解決判定問題的結(jié)構(gòu)判定法和范式判定法；并在此基礎(chǔ)上提出聯(lián)合演算對傳統(tǒng)邏輯

哲學(xué)邏輯既是哲學(xué)同時又是邏輯。哲學(xué)邏輯不是一種特殊的邏輯，邏輯主要是研究后承關(guān)系、有效推理的理論。盡管現(xiàn)代形式邏輯或者符號邏輯采用數(shù)學(xué)的方法來表達非常富有成效，但是邏輯仍然可以用多種方式進行研究和表達。邏輯支持了哲學(xué)，哲學(xué)為邏輯提供了發(fā)展的養(yǎng)料，二者結(jié)合在一起就是哲學(xué)邏輯。同時哲學(xué)邏輯在其它領(lǐng)域也發(fā)揮著重要的作用，如知

“邏輯之門”是當代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著，其涵蓋的主題有：關(guān)于信息、進程和智能互動的模態(tài)邏輯：自然語言中范疇語法和量詞語義的邏輯；邏輯與認識論、科學(xué)方法論和博弈論之間的相互影響，等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計算機科學(xué)、認知科學(xué)等學(xué)科之間媒

本書內(nèi)容包括緒論、概念、命題邏輯、詞項邏輯、模態(tài)邏輯、歸納邏輯、邏輯基本規(guī)律、論證。本書可作為高等學(xué)校學(xué)生學(xué)習(xí)邏輯學(xué)的教材，也可作為報考GCT、MBA、MPA人員的學(xué)習(xí)用書。

如何幫助學(xué)生有效掌握理解和評估科學(xué)資料的認知技能，是培養(yǎng)和提高學(xué)生普遍的科學(xué)素養(yǎng)的重要途徑。《理解科學(xué)推理》作者從理論假設(shè)、統(tǒng)計和因果假設(shè)，以及制定決策之標準模型三個方面展開論述，并運用與大學(xué)生活緊密相關(guān)的一系列有趣案例展開分析，總結(jié)出簡潔可行的六步程序�！独斫饪茖W(xué)推理》清晰有效的邏輯結(jié)構(gòu)安排，廣泛選用科學(xué)中已經(jīng)發(fā)表的