法律實(shí)用邏輯學(xué)（西南政法）

上編 傳統(tǒng)邏輯基礎(chǔ)
第一章 引論
第一節(jié) 邏輯科學(xué)的類(lèi)型及其產(chǎn)生和發(fā)展
一、“邏輯”一詞的由來(lái)及含義
二、邏輯學(xué)的類(lèi)型
三、邏輯科學(xué)的產(chǎn)生
四、邏輯科學(xué)的發(fā)展
第二節(jié) 邏輯學(xué)的研究對(duì)象、性質(zhì)及功能
一、認(rèn)識(shí)、思維和語(yǔ)言
二、邏輯學(xué)的研究對(duì)象
三、邏輯學(xué)的性質(zhì)
四、邏輯學(xué)的功能
第三節(jié) 法律工作與邏輯學(xué)
一、法律工作與邏輯的關(guān)系
二、普通邏輯與法律邏輯
附：作業(yè)題
第二章 概念的邏輯知識(shí)及其運(yùn)用
第一節(jié) 概念的基本邏輯特征
一、什么是概念
二、概念的內(nèi)涵及其確立
三、概念外延及其邊緣的模糊性
四、概念、語(yǔ)詞和詞項(xiàng)
第二節(jié) 概念的分類(lèi)
一、單獨(dú)概念和普遍概念
二、集合概念和非集合概念
三、肯定概念和否定概念
四、實(shí)體概念和屬性概念
第三節(jié) 概念間的關(guān)系及其邏輯推演
一、概念之間的外延關(guān)系
二、概念之間的邏輯推演
第四節(jié) 定義
一、定義的特征
二、定義的方法
三、定義的規(guī)則
第五節(jié) 劃分和列舉
一、劃分
二、列舉
第六節(jié) 法律概念
一、法律概念是客觀(guān)性和規(guī)定性的統(tǒng)一
二、法律概念內(nèi)涵的規(guī)定性和外延邊緣的模糊性
三、司法歸類(lèi)活動(dòng)
四、法律概念的定義特點(diǎn)
附：作業(yè)題
第三章 簡(jiǎn)單命題
第一節(jié) 命題的一般特征
一、判斷、語(yǔ)句與命題
二、命題的分類(lèi)
第二節(jié) 關(guān)系命題
一、關(guān)系命題及其邏輯結(jié)構(gòu)
二、關(guān)系的邏輯性質(zhì)
第三節(jié) 性質(zhì)命題的概述
一、性質(zhì)命題及其邏輯結(jié)構(gòu)
二、性質(zhì)命題的基本類(lèi)型
第四節(jié) 性質(zhì)命題的邏輯特征
一、性質(zhì)命題詞項(xiàng)的周延性
二、性質(zhì)命題真假的判定以及不同性質(zhì)命題之間的邏輯關(guān)系
第五節(jié) 性質(zhì)命題的隱含及推導(dǎo)方法
一、性質(zhì)命題的隱含
二、法律條文的隱含與法律解釋
附：作業(yè)題
第四章 復(fù)合命題
第一節(jié) 復(fù)合命題的概述
一、復(fù)合命題的特征
二、復(fù)合命題真假的判定與真值表
第二節(jié) 復(fù)合命題的基本形式及其邏輯特征
一、負(fù)命題與性質(zhì)命題的負(fù)命題
二、聯(lián)言命題
三、選言命題
四、假言命題
第三節(jié) 多重復(fù)合命題
一、多重復(fù)合命題的特征
二、如何分析法律條文的邏輯形式
第四節(jié) 復(fù)合命題的等值式
一、各種復(fù)合命題的負(fù)命題及其等值式
二、不同類(lèi)型復(fù)合命題形式之間的等值式
附：作業(yè)題
第五章 模態(tài)命題與規(guī)范命題
第一節(jié) 模態(tài)命題概述
第二節(jié) 真值模態(tài)命題
一、真值模態(tài)命題及其分類(lèi)
二、真值模態(tài)命題之間的邏輯關(guān)系
第三節(jié) 規(guī)范命題
一、規(guī)范命題及其分類(lèi)
二、規(guī)范命題之間的邏輯關(guān)系
三、規(guī)范命題的負(fù)命題及其等值命題
附：作業(yè)題
第六章 演繹推理--直言命題推理
第一節(jié) 推理的概述
一、推理的特征及其作用
二、推理的組成及其語(yǔ)言表達(dá)形式
三、推理的分類(lèi)
四、演繹推理、歸納推理與類(lèi)比推理之比較
第二節(jié) 推理的有效性與合理性
第三節(jié) 三段論
一、三段論的結(jié)構(gòu)形式及推理根據(jù)
二、三段論的格和式
三、判定三段論形式有效性的標(biāo)準(zhǔn)--三段論的規(guī)則
四、三段論的應(yīng)用形式--省略式與復(fù)合式
附：作業(yè)題
第七章 演繹推理--復(fù)合命題推理
第一節(jié) 聯(lián)言推理
一、聯(lián)言推理的特征與種類(lèi)
二、聯(lián)言推理在司法工作中的作用
第二節(jié) 選言推理
一、選言推理的特征
二、運(yùn)用選言推理應(yīng)當(dāng)注意的問(wèn)題
三、選言推理在司法工作中的應(yīng)用
第三節(jié) 假言推理
一、假言推理的特征及其基本形式
二、假言推理在司法工作中的應(yīng)用
第四節(jié) 二難推理
一、二難推理的特征
二、二難推理的種類(lèi)
三、破斥二難推理
第五節(jié) 復(fù)合命題推理的綜合運(yùn)用
附：作業(yè)題
第八章 歸納推理與類(lèi)比推理
第一節(jié) 歸納推理概述
一、歸納推理的特征
二、歸納推理的先行條件--觀(guān)察與實(shí)驗(yàn)
第二節(jié) 歸納推理的種類(lèi)
一、完全歸納推理及其應(yīng)用
二、簡(jiǎn)單枚舉歸納推理
三、基于探求因果聯(lián)系的歸納推理
第三節(jié) 類(lèi)比推理及其應(yīng)用
一、類(lèi)比推理的特征
二、正確應(yīng)用類(lèi)比推理的邏輯要求
三、類(lèi)比推理的應(yīng)用形式
附：作業(yè)題
第九章 假說(shuō)與偵查假設(shè)
第一節(jié) 假說(shuō)及其建立過(guò)程
一、假說(shuō)的特征及分類(lèi)
二、建立假說(shuō)的過(guò)程
第二節(jié) 偵查假設(shè)及其運(yùn)用
一、偵查假設(shè)的特征、結(jié)構(gòu)及類(lèi)型
二、怎樣建立偵查假設(shè)
附：作業(yè)題
第十章 論證
第一節(jié) 論證的特征
一、什么是論證
二、論證的組成
三、論證的分類(lèi)
第二節(jié) 論證的方法
一、直接論證
二、間接論證
第三節(jié) 論證必須遵循的邏輯思維規(guī)律
一、同一律以及違反同一律而發(fā)生的邏輯錯(cuò)誤
二、矛盾律以及違反矛盾律而發(fā)生的邏輯錯(cuò)誤
三、排中律以及違反排中律而產(chǎn)生的邏輯錯(cuò)誤
四、充足理由律以及違反充足理由律而產(chǎn)生的
邏輯錯(cuò)誤
第四節(jié) 謬誤
一、形式謬誤和非形式謬誤
二、論證中常見(jiàn)的幾種非形式謬誤
附：作業(yè)題
下編 現(xiàn)代邏輯初步
第一章 命題邏輯（上）
第一節(jié) 命題和聯(lián)結(jié)詞
第二節(jié) 真值函數(shù)和真值表方法
一、真值函數(shù)
二、重言式、矛盾式和偶然式
三、真值表方法
四、簡(jiǎn)化?嬤當(dāng)矸椒?
第三節(jié) 范式
一、范式
二、合取范式和析取范式
三、析取范式、合取范式存在定理及求范式的方法
四、優(yōu)范式
第四節(jié) 聯(lián)結(jié)詞的完全集
第五節(jié) 推理的有效性和重言后承
一、推理的有效性
二、重言后承
附：作業(yè)題
第二章 命題邏輯（下）
第一節(jié) 命題演算概述
一、公理方法和公理系統(tǒng)
二、形式化和形式系統(tǒng)
三、形式系統(tǒng)的其它重要概念
第二節(jié) 命題演算系統(tǒng)P
一、P的形式語(yǔ)言L(fǎng)
二、P的公理模式和推導(dǎo)規(guī)則
三、P的定理及證明
四、演繹定理及其應(yīng)用
第三節(jié) 命題演算的語(yǔ)義解釋
一、P的語(yǔ)義解釋
二、P的可靠性
三、P系統(tǒng)的一致性和完全性
第四節(jié) 命題演算自然推理系統(tǒng)P??n
一、形式語(yǔ)言
二、推理規(guī)則
附：作業(yè)題
第三章 謂詞邏輯（上）
第一節(jié) 一元謂詞邏輯的形式語(yǔ)言
一、形式語(yǔ)言
二、性質(zhì)命題的形式結(jié)構(gòu)分析
第二節(jié) 謂詞邏輯公式的語(yǔ)義及其邏輯性質(zhì)
一、模型和賦值
二、謂詞邏輯公式的邏輯性質(zhì)：可滿(mǎn)足性和有效性
第三節(jié) 代入和易字
一、對(duì)自由變?cè)拇?br />二、約束變?cè)鬃?br />第四節(jié) 推理的形式證明
一、全稱(chēng)消除規(guī)則
二、存在消除規(guī)則
三、存在引入規(guī)則
四、全稱(chēng)引入規(guī)則
附：作業(yè)題
第四章 謂詞邏輯（下）
第一節(jié) 形式語(yǔ)言
一、關(guān)系詞
二、形式語(yǔ)言
第二節(jié) 謂詞邏輯的語(yǔ)義解釋
一、模型和賦值
二、可滿(mǎn)足性和有效性
第三節(jié) 謂詞邏輯公式的運(yùn)算及有效式的判定
一、求否定運(yùn)算
二、求對(duì)偶運(yùn)算
三、范式
四、轉(zhuǎn)換賦值法
五、謂詞邏輯的判定問(wèn)題
第四節(jié) 謂詞推理的形式證明
第五節(jié) 謂詞演算
一、謂詞演算的公理系統(tǒng)
二、QC定理的推演
三、可靠性和完全性
附：作業(yè)題
參考書(shū)目