書(shū)馨卡幫你省薪 2024個(gè)人購(gòu)書(shū)報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >>
現(xiàn)代邏輯基本概念和技術(shù)

現(xiàn)代邏輯基本概念和技術(shù)

作者：翟玉章著
出版社：河南人民出版社出版時(shí)間：2020-12-01
開(kāi)本： 29cm 頁(yè)數(shù)： 110頁(yè)
中 圖 價(jià):¥35.9(7.2折) 定價(jià)  ¥49.8 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書(shū)更多>

現(xiàn)代邏輯基本概念和技術(shù) 版權(quán)信息

現(xiàn)代邏輯基本概念和技術(shù) 內(nèi)容簡(jiǎn)介

本書(shū)介紹了有效推理和與此相關(guān)的一系列概念 (矛盾句、有效句、語(yǔ)句間的蘊(yùn)涵關(guān)系和等價(jià)關(guān)系) , 這些語(yǔ)句層面上的概念*終都可以借助語(yǔ)句模式的概念加以說(shuō)明。本書(shū)還介紹了檢驗(yàn)和證明語(yǔ)句模式有效性的技術(shù), 特別是主要運(yùn)用于真值函項(xiàng)模式的真值分析法, 和運(yùn)用于一般的量化模式的純存在式方法和奎因方法。

現(xiàn)代邏輯基本概念和技術(shù) 目錄

**章 有效推理和矛盾
第二章 矛盾句和矛盾模式、邏輯結(jié)構(gòu)的層次性
第三章 真值函項(xiàng)聯(lián)結(jié)詞和真值函項(xiàng)模式
第四章 真值函項(xiàng)模式矛盾性和有效性的檢驗(yàn)：真值分析法
第五章 真函有效推理的檢驗(yàn)方法
第六章 模式間的蘊(yùn)涵關(guān)系和等價(jià)關(guān)系
第七章 中場(chǎng)總結(jié)和預(yù)告
第八章 謂詞和謂詞字母
第九章 謂詞提取和變項(xiàng)
第十章 量詞
第十一章 量化模式及其有效性
第十二章 量化模式的替換規(guī)則
第十三章 移置規(guī)則和量化模式的前置化處理
第十四章 量化模式有效性的檢驗(yàn)方法：純存在式方法
第十五章 量化模式有效性的證明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 單獨(dú)詞項(xiàng)和“=”
附錄一 奎因論現(xiàn)代邏輯(英漢對(duì)照)
附錄二 復(fù)習(xí)思考題參考答案
附錄三 專業(yè)術(shù)語(yǔ)索引
出版后記
展開(kāi)全部

現(xiàn)代邏輯基本概念和技術(shù) 作者簡(jiǎn)介

翟玉章，1965年出生，江蘇鹽城人。1995年7月獲北京大學(xué)哲學(xué)博士學(xué)位。南京師范大學(xué)哲學(xué)系副教授。曾在世界知識(shí)出版社和中國(guó)駐外使館工作。從事分析哲學(xué)(特別是羅素、卡爾納普和奎因的哲學(xué))的教學(xué)和研究工作。

商品評(píng)論(0條)
暫無(wú)評(píng)論……
書(shū)友推薦
本類暢銷
返回頂部
中圖網(wǎng)
在線客服