就本質(zhì)而言，它是一種“說明性推理”或者說是“非證明性推理”，在人的認(rèn)知活動中發(fā)揮著重要作用。關(guān)于這種推理模式的理論研究和現(xiàn)實關(guān)注，有助于提升非證明性推理的合理性，尤其有助于給歸納難題以特定的理論解答與合理辯護。本書作為說明性推理問題的一項專門研究，其內(nèi)容適合于哲學(xué)、醫(yī)學(xué)、法學(xué)、考古、人工智能等專業(yè)的師生及研究者閱讀，也

《互模擬理論的邏輯研究》從邏輯的角度研究互模擬，主要以模型論、集合論和模態(tài)邏輯的知識為背景，意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過程，從理論層面探討互模擬的基本理論和作用。 《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價之間的關(guān)系、基于互模擬的模態(tài)

實踐推理是理性主體面向行動的推理，核心是分析各種意向性要素諸如信念、愿望、意圖、記憶、偏好、期待、熱愛等等心理態(tài)度在影響、引起或引導(dǎo)理性主體的行為中所起到的作用。實踐推理的邏輯研究通過刻畫這些要素的邏輯性質(zhì)來構(gòu)建表達(dá)實踐推理關(guān)系的邏輯系統(tǒng)。本書以實踐推理要素中的信念、意圖、記憶為對象，分析它們的邏輯性質(zhì)，討論它們的邏輯

《MBA、MPA、MPAcc聯(lián)考?xì)v年真題解析與考點分析系列：邏輯歷年真題解析與考點分析（全新改版）》嚴(yán)格按照管理類專業(yè)學(xué)位碩士研究生聯(lián)考（MBA，MPA，MPAcc，MEM，MTA，MLIS，MAud）新考試大綱的要求，由資深邏輯輔導(dǎo)專家孫勇老師編寫而成。邏輯復(fù)習(xí)沖刺階段好的輔導(dǎo)書莫過于歷年真題，好的復(fù)習(xí)方法就是“反復(fù)

本書采取邏輯進路，首先探討了科學(xué)哲學(xué)、人工智能和認(rèn)知科學(xué)領(lǐng)域中發(fā)現(xiàn)的邏輯以及科學(xué)方法論中邏輯的作用。其次將溯因作為一種邏輯推論，運用語義樹結(jié)構(gòu)框架分析產(chǎn)生這種推理的計算過程。再次將科學(xué)哲學(xué)中的解釋模型作為種溯因論證形式，提供了表征結(jié)構(gòu)的邏輯分析。最后將溯因與信念修正相聯(lián)系，表明了溯因與哲學(xué)工智能及實用主義之間的密切聯(lián)系

本教材是“新編21世紀(jì)思想政治教育專業(yè)系列教材”之一。該書以邏輯的實用性以及“邏輯、思維、方法三者之統(tǒng)一”為原則，突出嚴(yán)謹(jǐn)推導(dǎo)思維的演繹邏輯方法、科學(xué)探究思維的歸納邏輯（含科學(xué)邏輯）方法、以涉法思維為代表的論辯邏輯方法，注重邏輯學(xué)基礎(chǔ)理論與應(yīng)用方法相結(jié)合，突顯邏輯學(xué)的實用

《反基礎(chǔ)公理的邏輯研究(精)》包含三編，第1編為用圖刻畫的各種反基礎(chǔ)公理系統(tǒng)ZFCˉ+AFA(或者SAFA、FAFA以及反基礎(chǔ)公理家族AFA~)建立不同的集論模型，從而證明各種反基礎(chǔ)公理與ZFCˉ的相對協(xié)調(diào)性。第2編修正、完善和豐富了巴威斯（J.Barwise）等人用代數(shù)方法：方程組刻畫的反基礎(chǔ)公理——解引理理論

本著讓讀者掌握邏輯學(xué)基礎(chǔ)知識的目的，本書通過思維訓(xùn)練，提高邏輯思維素養(yǎng)，提高分析問題、解決問題的能力，全書共分9章，講述了引論、概念、簡單命題和演繹推理、復(fù)合命題和演繹推理、非演繹推理、邏輯基本規(guī)律、論證、謬誤、批判性思維等內(nèi)容。每章包括“本章要點”“具體案例”“小提示”“小技巧”“本章小結(jié)”“課堂練習(xí)及參考答案”“課

本書包括概念和直言、復(fù)合判斷、模態(tài)判斷與結(jié)構(gòu)相似、真話假話、一一對應(yīng)與綜合信假言、排序分組、其他推理、假設(shè)與支持、削弱、解釋、評價等內(nèi)容。

《模糊概念外延的逼近及多體系統(tǒng)的控制》是根據(jù)作者十多年來的科研成果編*的。首先，在因素空間理論框架下，研究了四種不確定模糊概念(區(qū)間值模糊概念、雙枝模糊概念、粗糙概念與粗雙枝模糊概念)外延的逼近問題。隨后，在此基礎(chǔ)上討論了二階多智能體以及耦合調(diào)和振子在一些不連續(xù)控制作用下的協(xié)調(diào)行為。這些內(nèi)容體現(xiàn)了作者近年來在模糊系統(tǒng)和