《中國哲學社會科學學科發(fā)展報告:當代中國邏輯學研究(1949-2009)》內容涉及1949年到2009年間年中國邏輯學的發(fā)展。在這六十年中,中國邏輯學家的研究活動主要涉及的領域有:數理邏輯(含理論計算機)、哲學邏輯、歸納邏輯(含決策論)、語言邏輯、邏輯哲學、中國邏輯史、西方邏輯吏、漢傳因明、藏傳量論等方面!吨袊軐W社
“邏輯之門”是當代世界著名的邏輯學家約翰·范本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有:關于信息、進程和智能互動的模態(tài)邏輯:自然語言中范疇語法和量詞語義的邏輯;邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒
長期以來,邏輯學界對否定概念的研究主要是從傳統邏輯和現代邏輯相比較的方面展開,也有不少研究是通過運用現代邏輯形式化方法,從語形和語義兩個角度探討否定的含義、性質與特征!吨庇X主義:否定及其變種》正是基于后一視角展開研究的。通觀全文,有三方面新意:首先,在克里普克語義里,對直覺主義否定的真一條件給以新的解釋,建立相應的新
《諾貝爾經濟學獎獲得者叢書·不確定狀況下的判斷:啟發(fā)式和偏差》是2002年諾貝爾經濟學獎得主丹尼爾·卡尼曼的代表作,被譽為“不確定狀況下的判斷”研究領域的圣經!吨Z貝爾經濟學獎獲得者叢書·不確定狀況下的判斷:啟發(fā)式和偏差》含有35篇經典論文,分成10個部分,匯集了有關判斷和推理研究的經典作品,基本囊括了目前所有關于判斷
《邏輯學引論》既融思想性,科學性,審美性和趣味性為一體,又有形式邏輯的形式化,公式化,精確化特征,形成了多維立體寬廣視野。第一,引進現代邏輯發(fā)展中的批判性思維向度,并在習題中編排了相關的應用練習,為讀者進行MBA,MPA,GCT-ME等批判性思維邏輯的學習奠定堅實地邏輯理論基礎。第二,每章末有“關鍵術語提要”、“進一步
《國家社科基金后期資助項目:中國古代推類邏輯研究》共分為六章,主要內容包括:緒論;中國古代推類邏輯的奠基;推類邏輯的形成:知“類”階段(先秦時期);推類邏輯的發(fā)展:求“故”階段(秦漢、魏晉南北朝時期)等!秶疑缈苹鸷笃谫Y助項目:中國古代推類邏輯研究》結合中國古代的社會歷史背景,探究了邏輯范濤的過程,對推類的萌芽,產
《南開哲學教材系列:邏輯學實驗教程》包括兩部分內容。第一部分是一些在線的亞里士多德三段論邏輯、數理邏輯和模態(tài)邏輯等的邏輯學習軟件簡介。第二部分是LPL軟件的操作與應用。作者在《數理邏輯實驗教程》中,已經較詳細地介紹了LPL軟件的(操作)命令。本教材主要講解LPL中三個軟件Fitch、Boole和Tarski’sWorl
《南開哲學教材系列:歸納邏輯教程》在總結多年歸納邏輯教學經驗的基礎上,參考國外歸納邏輯教材,結合我國歸納邏輯教學的實際編寫的。它一方面吸納了國外歸納邏輯教學與研究的最新成果,反映新知識、新成果,具有先進性和前瞻性,另一方面在案例分析和表述方面又有適用于中國學生的特點。書中既有邏輯技術方面的內容,又有邏輯哲學問題的探討;
《中國專門史文庫:中國邏輯思想史》以歷史典籍為基礎,通過對古籍資料的梳理,闡述了中國各個時期邏輯思想的主要內容和特征以及前后相繼的歷史沿革,比較全面地勾畫了中國邏輯思想的發(fā)展軌跡,實為中國邏輯研究方面的開山之作。
自康德將一切真理(判斷)區(qū)分為分析的與綜合的以來,對分析性的研究成了認識論的一個重要課題。分析與綜合的二分成了邏輯經驗主義理論的基石。但是蒯因卻證明二分是經驗主義的一個非經驗的教條,分析性的概念成了問題。周文華編著的《分析與綜合二分問題研究》考察了分析與綜合的二分這一問題的歷史由來。梳理了文獻上出現的主要的對分析陳述和