上天賦予人們強大的思考與邏輯推理能力,人類借此創(chuàng)立了許多傲人的思想和不可思議的理論。然而,這些思想通常必須在歷經(jīng)千錘百煉之后才能開始發(fā)光發(fā)熱。大多數(shù)時候,當人們處于自由自在、自然而然的思考狀態(tài)時,會產(chǎn)生一些不易發(fā)現(xiàn)的思維漏洞和謬誤。這些謬誤可能無關緊要,也可能僅僅鬧個小笑話;但也可能導致一個人偏激的行為,甚至極端的做法
聯(lián)合演算是希爾伯特和阿克曼為從現(xiàn)代邏輯的演算觀把傳統(tǒng)邏輯推理理論系統(tǒng)化而特構的一種新的邏輯工具,但聯(lián)合演算在解釋傳統(tǒng)邏輯和亞里士多德邏輯中存在根本缺陷。馬雷所著的《論聯(lián)合演算》系統(tǒng)研究和發(fā)展了聯(lián)合演算的理論與方法,廢棄了聯(lián)合演算的原初判定標準,提出解決判定問題的結構判定法和范式判定法;并在此基礎上提出聯(lián)合演算對傳統(tǒng)邏輯
哲學邏輯既是哲學同時又是邏輯。哲學邏輯不是一種特殊的邏輯,邏輯主要是研究后承關系、有效推理的理論。盡管現(xiàn)代形式邏輯或者符號邏輯采用數(shù)學的方法來表達非常富有成效,但是邏輯仍然可以用多種方式進行研究和表達。邏輯支持了哲學,哲學為邏輯提供了發(fā)展的養(yǎng)料,二者結合在一起就是哲學邏輯。同時哲學邏輯在其它領域也發(fā)揮著重要的作用,如知
“邏輯之門”是當代世界著名的邏輯學家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著,其涵蓋的主題有:關于信息、進程和智能互動的模態(tài)邏輯:自然語言中范疇語法和量詞語義的邏輯;邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學、哲學、語言學、計算機科學、認知科學等學科之間媒
本書內(nèi)容包括緒論、概念、命題邏輯、詞項邏輯、模態(tài)邏輯、歸納邏輯、邏輯基本規(guī)律、論證。本書可作為高等學校學生學習邏輯學的教材,也可作為報考GCT、MBA、MPA人員的學習用書。
如何幫助學生有效掌握理解和評估科學資料的認知技能,是培養(yǎng)和提高學生普遍的科學素養(yǎng)的重要途徑!独斫饪茖W推理》作者從理論假設、統(tǒng)計和因果假設,以及制定決策之標準模型三個方面展開論述,并運用與大學生活緊密相關的一系列有趣案例展開分析,總結出簡潔可行的六步程序。《理解科學推理》清晰有效的邏輯結構安排,廣泛選用科學中已經(jīng)發(fā)表的