本書圍繞“邏輯全能”與“邏輯無能”之間必要的張力的把握，對(duì)當(dāng)前認(rèn)知邏輯研究中的根本問題、問題的癥結(jié)與合理研究指向做出了系統(tǒng)性與深刻性的分析。作者基于上述“問題癥結(jié)”的認(rèn)識(shí)，認(rèn)為邏輯全能問題是認(rèn)知封閉原則在形式系統(tǒng)中的體現(xiàn)，對(duì)邏輯全能問題的回答可以視為對(duì)認(rèn)知封閉原則的解答。本書的基調(diào)是拒斥邏輯全能問題，實(shí)則是不接受認(rèn)知封

本書是一本理論扎實(shí)，同時(shí)聯(lián)系實(shí)際應(yīng)用的圖書。全書系統(tǒng)地介紹了因果推斷的基本知識(shí)、基于機(jī)器學(xué)習(xí)的因果推斷方法和基于因果推斷的機(jī)器學(xué)習(xí)方法及其在一些重要領(lǐng)域的應(yīng)用。全書共分6章。第1章從結(jié)構(gòu)因果模型和潛在結(jié)果框架出發(fā)，介紹因果推斷的基本概念和方法。第2章介紹近年統(tǒng)計(jì)和機(jī)器學(xué)習(xí)文獻(xiàn)中出現(xiàn)的一些重要的基于機(jī)器學(xué)習(xí)的因果推斷方法

本書共46節(jié)，包括七個(gè)部分。前六部分，通過大量典型事例，說明邏輯推理在不同領(lǐng)域中的妙用。第七部分，主要介紹普通人運(yùn)用邏輯推理解決重大問題的典型事例。邏輯推理能力，是現(xiàn)代社會(huì)成員必備的素質(zhì)和技能。不懂邏輯推理，就會(huì)陷于愚昧；善于邏輯推理，就會(huì)變得睿智；精于邏輯推理可以擁有高智商、大智慧。熟讀此書，可以幫助不懂邏輯推理的人

邏輯學(xué)是聯(lián)合國教科文組織宣布的包括數(shù)學(xué)、物理學(xué)、化學(xué)等在內(nèi)的七大基礎(chǔ)性學(xué)科之一。創(chuàng)辦《邏輯、智能與哲學(xué)》集刊可以順應(yīng)并推動(dòng)邏輯學(xué)這一基礎(chǔ)學(xué)科的發(fā)展，助力國家科技振興戰(zhàn)略。人工智能是國家近期和未來重要的科技發(fā)展戰(zhàn)略，而邏輯學(xué)、哲學(xué)均是人工智能重要的基礎(chǔ)學(xué)科，為了推動(dòng)并展示相關(guān)交叉學(xué)科的創(chuàng)新性研究成果，特創(chuàng)辦該集刊。集刊的

博弈是通過選擇合適的策略達(dá)到合意結(jié)果的過程。人們的工作和生活中充滿各種各樣的決策，因此充滿追求利益最大化的博弈過程。了解了博弈的法則，我們就能經(jīng)過分析和推理找到各方利益的關(guān)鍵點(diǎn)，從而看清隱藏在事物表象背后的本質(zhì)。本書通過講述歷史和生活中的一系列小故事，闡明博弈法則是如何對(duì)事件的結(jié)果產(chǎn)生影響的。書中從為人處世、兩性關(guān)系、

本書從人工智能的視角，研究了“基于一階動(dòng)態(tài)邏輯及其擴(kuò)展系統(tǒng)的Agent行為推理”，并對(duì)相關(guān)問題進(jìn)行了哲學(xué)反思。具體內(nèi)容包括：作為一階動(dòng)態(tài)邏輯的基礎(chǔ)系統(tǒng)的命題動(dòng)態(tài)邏輯、一階動(dòng)態(tài)邏輯系統(tǒng)及其復(fù)雜性與表達(dá)力、基于類型命題動(dòng)態(tài)邏輯的行動(dòng)類型與Agent能力推理、基于規(guī)劃修訂動(dòng)態(tài)邏輯的Agent規(guī)劃修訂推理、基于動(dòng)態(tài)邏輯的Age

證明論是邏輯基礎(chǔ)理論的分枝.結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明.本書在介紹古典句子邏輯和直覺主義邏輯的基礎(chǔ)上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類型的邏輯演算.根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問題的證明.本書還介紹了一階邏輯、模態(tài)邏輯

本書主要內(nèi)容為管理類聯(lián)考邏輯應(yīng)試輔導(dǎo)用書，涉及參加MPA、MBA、會(huì)計(jì)碩士、工程碩士等幾個(gè)專業(yè)學(xué)位綜合能力考試科目的內(nèi)容，包含邏輯推理和常識(shí)判斷等邏輯應(yīng)試試題420道，合計(jì)450題。

這是一部講述邏輯學(xué)的軟科普小書。16歲的陸媛媛要參加學(xué)校的辯論賽，她與二師兄陳謀、大師姐李呦呦三人在播客節(jié)目“逍遙學(xué)派的散步時(shí)間”中展開了7次對(duì)話。這個(gè)節(jié)目的目標(biāo)是讓普通聽眾學(xué)到一些邏輯學(xué)的知識(shí)和方法，從而擁有更強(qiáng)的推理能力和論辯能力。就這樣過了大約兩個(gè)月，在師姐和師兄的幫助下，陸媛媛的思辨水平在同齡人中已屬翹楚——兩

《命名與然性》是美國的邏輯學(xué)家、哲學(xué)家克里普克的代表作，主要闡述了克里普克的名稱的指稱理論和名稱的同一性理論。本課題主要從可能世界的視角和本質(zhì)主義的研究綱領(lǐng)出發(fā)，抓住然性這一重要路線，把握理論的歷史和現(xiàn)實(shí)邏輯，分析和考察克里普克的名稱理論和同一性理論，澄清以往對(duì)克里普克理論觀點(diǎn)的誤解和訛傳，還克里普克思想以本來面目，系