本書從人工智能的視角，研究了“基于一階動(dòng)態(tài)邏輯及其擴(kuò)展系統(tǒng)的Agent行為推理”，并對相關(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é)家、哲學(xué)家克里普克的代表作，主要闡述了克里普克的名稱的指稱理論和名稱的同一性理論。本課題主要從可能世界的視角和本質(zhì)主義的研究綱領(lǐng)出發(fā)，抓住然性這一重要路線，把握理論的歷史和現(xiàn)實(shí)邏輯，分析和考察克里普克的名稱理論和同一性理論，澄清以往對克里普克理論觀點(diǎn)的誤解和訛傳，還克里普克思想以本來面目，系
本書針對邏輯題型，深入分析探究，用“舉題型講方法”的格式，把歷屆真題按題目的表現(xiàn)形式或解題方法劃分為不同的題型和解題套路，并做詳細(xì)剖析說明，通過對同類真題的解題分析，盡量把每一種套路的特點(diǎn)和解題方法分析透徹。本書中總結(jié)出的解題方法、技巧，便于考生掌握和應(yīng)用，將使考生應(yīng)試時(shí)思路暢通，有的放矢。
《一本小小的邏輯書》從最簡單、最生活化的問題入手，讓我們了解邏輯學(xué)原理，認(rèn)識(shí)邏輯規(guī)律，脫離日常思維的淺薄和粗糙，不斷地洞穿思維對象的深層和本質(zhì)，掌握分析問題的方法，提升解決問題的能力。同時(shí)，它也引導(dǎo)我們養(yǎng)成批判性思維，識(shí)別語言陷阱，在聽到或看到一個(gè)觀點(diǎn)和意見時(shí)追問一句：這件事是不是真的？有沒有確鑿的證據(jù)證明它是真的？讓
論證是一種具有說理功能的話語序列。在科學(xué)研究中，它具有演繹和歸納兩種形式。在日常社會(huì)生活中，由于涉及不同的語境（包括文化傳統(tǒng)），論證呈現(xiàn)出千變?nèi)f化的形式。為了滿足人與人以及人與機(jī)器之間日常交流的需求，本書采用兩種不同的自下而上方法——廣義論證本土化研究程序和機(jī)器學(xué)習(xí)，從具體事例和文本中挖掘或習(xí)得不同語境下論證模式、論證
生活中的問題從來都不像1+1=2那么簡單，真相與假象之間的差異也不總是那么容易區(qū)分。特別是我們今天所處的時(shí)代，各種信息借助互聯(lián)網(wǎng)浪潮如海嘯般襲來，沖擊著眼球，爭奪著注意力。想要不被魚目混珠的信息裹挾，不被夸張的、錯(cuò)誤的言論誤導(dǎo)和迷惑，不被別有用心之人操控和利用，我們必須要有識(shí)別信息真?zhèn)巍⑴袛嗝}真假、直擊問題本質(zhì)、批判
為幫助考生更好地進(jìn)行復(fù)習(xí)備考，本書根據(jù)管理類和經(jīng)濟(jì)類聯(lián)考綜合能力邏輯測試的最新命題動(dòng)向而精心編寫，編寫指導(dǎo)思想是緊扣邏輯推理考試特點(diǎn)，始終體現(xiàn)邏輯備考的基本原則，即“化繁為簡，思維至上”。全書分為四大部分，具體結(jié)構(gòu)如下：上篇：形式推理。分為詞項(xiàng)邏輯、命題邏輯、演繹推理三章；中篇：非形式推理。分為歸納邏輯、論證邏輯、論證
書單推薦 更多 新書推薦 更多
