图书介绍

法律实用逻辑学pdf电子书版本下载

法律实用逻辑学
  • 李顺万,金承光主编 著
  • 出版社: 北京:法律出版社
  • ISBN:7503643773
  • 出版时间:2003
  • 标注页数:357页
  • 文件大小:38MB
  • 文件页数:375页
  • 主题词:法律逻辑学-高等学校-教材

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
下载压缩包 [复制下载地址] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页

下载说明

法律实用逻辑学PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具

图书目录

上编 传统逻辑基础 3

第一章 引论 3

第一节 逻辑科学的类型及其产生和发展 3

一、“逻辑”一词的由来及含义 3

二、逻辑学的类型 4

三、逻辑科学的产生 5

四、逻辑科学的发展 7

第二节 逻辑学的研究对象、性质及功能 11

一、认识、思维和语言 11

二、逻辑学的研究对象 14

三、逻辑学的性质 16

四、逻辑学的功能 17

第三节 法律工作与逻辑学 20

一、法律工作与逻辑的关系 20

二、普通逻辑与法律逻辑 24

附:作业题 27

第二章 概念的逻辑知识及其运用 28

第一节 概念的基本逻辑特征 28

一、什么是概念 28

二、概念的内涵及其确立 29

三、概念外延及其边缘的模糊性 32

四、概念、语词和词项 33

第二节 概念的分类 34

一、单独概念和普遍概念 35

二、集合概念和非集合概念 35

三、肯定概念和否定概念 37

四、实体概念和属性概念 38

第三节 概念间的关系及其逻辑推演 38

一、概念之间的外延关系 38

二、概念之间的逻辑推演 42

第四节 定义 43

一、定义的特征 43

二、定义的方法 43

三、定义的规则 45

第五节 划分和列举 46

一、划分 46

二、列举 48

第六节 法律概念 49

一、法律概念是客观性和规定性的统 49

二、法律概念内涵的规定性和外延边缘的模糊性 51

三、司法归类活动 52

四、法律概念的定义特点 54

附:作业题 56

第三章 简单命题 59

第一节 命题的一般特征 59

一、判断、语句与命题 59

二、命题的分类 62

第二节 关系命题 64

一、关系命题及其逻辑结构 64

二、关系的逻辑性质 66

第三节 性质命题的概述 69

一、性质命题及其逻辑结构 69

二、性质命题的基本类型 70

第四节 性质命题的逻辑特征 73

一、性质命题词项的周延性 73

二、性质命题真假的判定以及不同性质命题之间的逻辑关系 74

第五节 性质命题的隐含及推导方法 80

一、性质命题的隐含 80

二、法律条文的隐含与法律解释 83

附:作业题 85

第四章 复合命题 88

第一节 复合命题的概述 88

一、复合命题的特征 88

二、复合命题真假的判定与真值表 89

第二节 复合命题的基本形式及其逻辑特征 90

一、负命题与性质命题的负命题 90

二、联言命题 92

三、选言命题 96

四、假言命题 100

第三节 多重复合命题 108

一、多重复合命题的特征 108

二、如何分析法律条文的逻辑形式 108

第四节 复合命题的等值式 110

一、各种复合命题的负命题及其等值式 110

二、不同类型复合命题形式之间的等值式 111

附:作业题 113

第五章 模态命题与规范命题 116

第一节 模态命题概述 116

第二节 真值模态命题 117

一、真值模态命题及其分类 117

二、真值模态命题之间的逻辑关系 119

第三节 规范命题 121

一、规范命题及其分类 121

二、规范命题之间的逻辑关系 124

三、规范命题的负命题及其等值命题 125

附:作业题 126

第六章 演绎推理——直言命题推理 128

第一节 推理的概述 128

一、推理的特征及其作用 128

二、推理的组成及其语言表达形式 132

三、推理的分类 133

四、演绎推理、归纳推理与类比推理之比较 134

第二节 推理的有效性与合理性 139

第三节 三段论 145

一、三段论的结构形式及推理根据 145

二、三段论的格和式 147

三、判定三段论形式有效性的标准——三段论的规则 148

四、三段论的应用形式——省略式与复合式 153

附:作业题 156

第七章 演绎推理——复合命题推理 159

第一节 联言推理 159

一、联言推理的特征与种类 159

二、联言推理在司法工作中的作用 160

第二节 选言推理 162

一、选言推理的特征 162

二、运用选言推理应当注意的问题 163

三、选言推理在司法工作中的应用 164

第三节 假言推理 166

一、假言推理的特征及其基本形式 166

二、假言推理在司法工作中的应用 170

第四节 二难推理 172

一、二难推理的特征 172

二、二难推理的种类 173

三、破斥二难推理 175

第五节 复合命题推理的综合运用 176

附:作业题 179

第八章 归纳推理与类比推理 183

第一节 归纳推理概述 183

一、归纳推理的特征 183

二、归纳推理的先行条件——观察与实验 186

第二节 归纳推理的种类 187

一、完全归纳推理及其应用 188

二、简单枚举归纳推理 191

三、基于探求因果联系的归纳推理 194

第三节 类比推理及其应用 205

一、类比推理的特征 205

二、正确应用类比推理的逻辑要求 208

三、类比推理的应用形式 209

附:作业题 216

第九章 假说与侦查假设 219

第一节 假说及其建立过程 219

一、假说的特征及分类 219

二、建立假说的过程 221

第二节 侦查假设及其运用 227

一、侦查假设的特征、结构及类型 227

二、怎样建立侦查假设 231

附:作业题 239

第十章 论证 242

第一节 论证的特征 242

一、什么是论证 242

二、论证的组成 243

三、论证的分类 245

第二节 论证的方法 247

一、直接论证 247

二、间接论证 249

第三节 论证必须遵循的逻辑思维规律 253

一、同一律以及违反同一律而发生的逻辑错误 254

二、矛盾律以及违反矛盾律而发生的逻辑错误 256

三、排中律以及违反排中律而产生的逻辑错误 259

四、充足理由律以及违反充足理由律而产生的逻辑错误 262

第四节 谬误 264

一、形式谬误和非形式谬误 264

二、论证中常见的几种非形式谬误 265

附:作业题 267

下编 现代逻辑初步 273

第一章 命题逻辑(上) 273

第一节 命题和联结词 273

第二节 真值函数和真值表方法 276

一、真值函数 276

二、重言式、矛盾式和偶然式 277

三、真值表方法 278

四、简化真值表方法 280

第三节 范式 281

一、范式 281

二、合取范式和析取范式 282

三、析取范式、合取范式存在定理及求范式的方法 283

四、优范式 284

第四节 联结词的完全集 286

第五节 推理的有效性和重言后承 289

一、推理的有效性 289

二、重言后承 289

附:作业题 290

第二章 命题逻辑(下) 292

第一节 命题演算概述 292

一、公理方法和公理系统 292

二、形式化和形式系统 293

三、形式系统的其它重要概念 294

第二节 命题演算系统P 295

一、P的形式语言L 295

二、P的公理模式和推导规则 296

三、P的定理及证明 297

四、演绎定理及其应用 300

第三节 命题演算的语义解释 304

一、P的语义解释 304

二、P的可靠性 305

三、P系统的一致性和完全性 306

第四节 命题演算自然推理系统Pn 309

一、形式语言 309

二、推理规则 309

附:作业题 311

第三章 谓词逻辑(上) 313

第一节 一元谓词逻辑的形式语言 313

一、形式语言 313

二、性质命题的形式结构分析 317

第二节 谓词逻辑公式的语义及其逻辑性质 319

一、模型和赋值 319

二、谓词逻辑公式的逻辑性质:可满足性和有效性 321

第三节 代入和易字 324

一、对自由变元的代入 324

二、约束变元易字 325

第四节 推理的形式证明 326

一、全称消除规则 327

二、存在消除规则 328

三、存在引入规则 328

四、全称引入规则 328

附:作业题 332

第四章 谓词逻辑(下) 333

第一节 形式语言 333

一、关系词 333

二、形式语言 333

第二节 谓词逻辑的语义解释 335

一、模型和赋值 335

二、可满足性和有效性 339

第三节 谓词逻辑公式的运算及有效式的判定 340

一、求否定运算 340

二、求对偶运算 341

三、范式 342

四、转换赋值法 345

五、谓词逻辑的判定问题 346

第四节 谓词推理的形式证明 347

第五节 谓词演算 348

一、谓词演算的公理系统 348

二、QC定理的推演 352

三、可靠性和完全性 354

附:作业题 355

参考书目 357

精品推荐