邏輯學(xué)實(shí)驗(yàn)教程

內(nèi)容概要

　　《南開哲學(xué)教材系列：邏輯學(xué)實(shí)驗(yàn)教程》包括兩部分內(nèi)容。第一部分是一些在線的亞里士多德三段論邏輯、數(shù)理邏輯和模態(tài)邏輯等的邏輯學(xué)習(xí)軟件簡介。第二部分是LPL軟件的操作與應(yīng)用。作者在《數(shù)理邏輯實(shí)驗(yàn)教程》中，已經(jīng)較詳細(xì)地介紹了LPL軟件的（操作）命令。本教材主要講解LPL中三個(gè)軟件Fitch、Boole和Tarski’sWorld的操作和應(yīng)用。本教材在編寫過程中，主要參考了Jon Barwise和John Etchemendy兩人合著的《語言證明邏輯》（Language Proof Logie）一書，特別是“You try it”以及我編著的《數(shù)理邏輯實(shí)驗(yàn)教程》。

書籍目錄

第一篇 在線邏輯學(xué)習(xí)軟件簡介第一章 亞里士多德邏輯學(xué)習(xí)軟件簡介第一節(jié) Computational Aristotelian Term Logtic簡介第二節(jié) Philosophy Lander簡介第二章 數(shù)理邏輯學(xué)習(xí)軟件簡介第一節(jié) Llsing Truth Fables簡介第二節(jié) Plato簡介第三章 模態(tài)邏輯和動(dòng)態(tài)邏輯學(xué)習(xí)軟件簡介第一節(jié) modal logic簡介第二節(jié) dynamic logic簡介第二篇 LPL軟件的操作與應(yīng)用第四章 操作與應(yīng)用（一）第一節(jié) 原子語句的操作與應(yīng)用第二節(jié) 原子語句邏輯的操作與應(yīng)用第五章 操作與應(yīng)用（二）第一節(jié) 布爾聯(lián)結(jié)詞的操作與應(yīng)用第二節(jié) 布爾聯(lián)結(jié)詞邏輯的操作與應(yīng)用第六章 操作與應(yīng)用（三）第一節(jié) 布爾邏輯證明方法的操作與應(yīng)用第二節(jié) 形式證明和布爾邏輯的操作與應(yīng)用第七章 操作與應(yīng)用（四）第一節(jié) 條件句的操作與應(yīng)用第二節(jié) 條件句邏輯的操作與應(yīng)用第八章 操作與應(yīng)用（五）第一節(jié) 量詞的操作與應(yīng)用第二節(jié) 量詞邏輯的操作與應(yīng)用第九章 操作與應(yīng)用（六）第一節(jié) 多重量詞的操作與應(yīng)用第二節(jié) 量詞證明方法的操作與應(yīng)用第三節(jié) 形式證明與量詞的操作與應(yīng)用

圖書封面

評論、評分、閱讀與下載

---

    邏輯學(xué)實(shí)驗(yàn)教程 PDF格式下載

---