逻辑学小辞典PDF电子书下载

前言页 1

一画 1

一与多 1

一一关系 2

一次划分 2

一般规律 3

一主多宾判断 3

一般递归函数 3

内籀 5

一切以条件、地点和时间为转移 5

二画 7

〔一〕 7

二十一事 7

二分法 7

二难推理 8

〔丿〕 8

人证 8

人身攻击 9

三画 10

〔一〕 10

三段论 10

三难推理 11

三段论的式 11

三段论的格 12

三段论的规则 13

三段论的公理 13

三段论的第一格 14

三段论的结构 14

三段论的第二格 15

三段论的第三格 16

三段论的第四格 16

三段论的可能式 17

三段论的省略式 17

三段论的复杂式 18

三段论质方面的规则 18

三段论量方面的规则 18

大项 19

《工具论》 19

三段论的无效式和有效式 19

大前提 20

大项不当周延的逻辑错误 20

与门 21

〔丿〕 21

个别与一般 21

〔〕 23

飞跃 23

子类 23

小项 24

马克思主义辩证法 25

小项不当周延的逻辑错误 25

小前提 25

比较法 27

四画 27

〔一〕 27

丐词 27

区别判断 28

元数学 28

历物十事 29

不周延 29

不完全划分 30

不完全类比 30

不合乎逻辑 30

不伦不类 30

不严格类比 31

不可比较概念 31

不完全归纳推理 31

不正确的推理形式 32

不相容的选言判断 32

不相容的选言推理 33

无穷类 34

王充 34

内容与形式 35

内涵 35

〔丨〕 35

内涵与外延的反比关系 36

中项 37

中项不周延的逻辑错误 37

少数S是(或不是)P 38

〔丿〕 38

片面性 38

从人论证 39

从属概念 39

从抽象上升到具体 39

分析法 41

分解 41

分类 41

分析与综合 42

公证 43

公理 43

公理法 43

公孙龙 44

公理集合论 45

反驳 47

反论题 47

反证法 48

反三段论 49

反驳方式 49

反驳论证方式 50

反蕴涵关系 50

反驳论据 50

反驳论题 50

反对称性关系推理 51

〔丶〕 52

方法 52

方法论 53

方以智 53

认识规律 54

认识的秩序 55

认识的辩证法 56

认识的螺旋曲线 57

以名举实 58

以说出故 58

〔〕 58

以人为据 58

以辞抒意 59

以相对为绝对 59

邓斯·司各脱 59

巴门尼德 60

孔子 61

可能性与现实性 62

可能判断 62

可比较概念 62

〔一〕 62

五画 62

布尔 64

布氏式 64

布利丹 65

布劳维尔 65

布氏式的化简 66

正名审分 67

正确的思维 67

正确的推理 67

正确的推理形式 68

正题反题合题 68

正确推理的条件 69

本质属性 70

本质与现象 70

本质联系与非本质联系 71

〔丨〕 71

电路函数 71

电子计算机 72

归纳法 73

归谬法 73

归纳论证 75

归纳推理 75

归纳与演绎 76

卢卡西维茨 77

归纳万能论 77

卡尔纳普 78

四难推理 78

四项的逻辑错误 78

只有S才是P ， 只有S是P 79

〔丿〕 79

白马非马 79

外延 80

外籀 81

外延定义 81

必然判断 82

必然与自由 82

必要条件 82

〔丶〕 82

必要条件假言判断 83

必要条件假言推理 84

必要条件纯假言推理 86

主项 86

主观性 87

主观逻辑 87

主观与客观 88

主观唯心主义 89

主要矛盾和次要矛盾 89

主要的矛盾方面和次要的矛盾方面 91

弗雷格 92

弗晰逻辑 92

〔〕 92

弗兰西斯·培根 94

发生定义 96

矛盾式 96

矛盾律 96

对立概念 98

对偶概念 98

对称的关系 98

对当 98

矛盾概念 98

对称性关系推理 99

对立统一规律 99

对具体事物做具体分析 101

六画 103

〔一〕 103

划分 103

划分的子项 104

划分的母项 104

划分的根据 104

划分的子项相容 104

芝诺 105

亚里士多德 107

执角法 112

扩充三段论 113

共变法 115

共名与别名 116

共性与个性 116

机械类比 117

达名 117

存贮器 118

有穷类 118

有限与无限 119

在联系、运动和发展中把握事物 119

因人纳言 120

因为p,所以q 120

因人废言 120

同一律 121

同一与差异 122

伪证 123

众心一致的论证 123

〔丿〕 123

多值逻辑 124

多主一宾判断 125

多出子项划分 126

多数是S是(或不是)P 126

多主多宾判断 126

后件 127

后期墨家 127

后退的连锁三段论 128

后退的复合三段论 129

名实 130

先行情况 130

名学 130

合取范式 131

合乎逻辑 131

合取式 131

全类 132

全加器 132

全称判断 133

全局与局部 133

全称否定判断 134

全称肯定判断 134

优合取范式 135

优析取范式 135

传递的关系 136

传递性关系推理 136

自相矛盾 137

自反的关系 137

〔丶〕 138

交类 138

自由个体变元 138

充分条件 139

充足理由律 139

交叉概念 139

充分必要条件 140

充分条件假言判断 140

充分条件假言推理 141

充分条件纯假言推理 143

充分必要条件假言判断 144

充分必要条件假言推理 144

安瑟伦 146

刘光汉 146

并类 147

并列概念 147

并列联言判断 148

关系 148

关系后项 149

关系判断 149

关系前项 150

关系推理 150

关系的前域和后域 151

关系的前趋和后继 151

关系概念 151

论证 152

论点 153

论战 153

论难 154

论据 154

论敌 154

论证性 155

论辩 155

论证方式 155

论题 155

论题不明 156

论证的作用 156

论证的组成 157

论据的规则 157

论证的局限性 158

论证方式的规则 158

论题的规则 158

〔〕 159

观念 159

论证性和说服力 159

观察 160

约束个体变元 161

约束出现与自由出现 161

〔一〕 162

严复 162

七画 162

严格类比 163

严格蕴涵 164

严格蕴涵系统 165

连珠体 166

连通的关系 167

运动 167

连续划分 167

运算器 168

否定式 168

否定判断 169

两点论 169

苏格拉底 170

折衷主义 171

杜威 171

极小项 172

形式逻辑 172

形象思维 174

形而上学发展观 175

形式逻辑基本规律 175

李之藻 177

坚白石离 177

〔丿〕 178

私名 178

坚白相盈 178

狄德罗 179

希尔伯特 179

证明论 180

证伪主义 180

〔丶〕 180

证明过多 182

证明与反驳的关系 182

证明过少 182

判断 183

判断的质 184

判断的量 184

判断常项 185

判明因果联系五法 185

判断变项 185

间接反驳 186

间接论证 186

间接推理 187

间断性与不间断性 187

完全归纳推理 188

鸡三足 189

〔〕 189

纯假言推理 189

补类 189

纯粹关系推理 190

附性法 190

事证 192

表面性 192

事实证明 192

〔一〕 192

八画 192

转折联言判断 193

规律 193

武断 194

或 195

或门 195

或然性的推理 196

范畴 196

范缜 197

范畴的体系 197

直言判断 198

直接反驳 198

直接论证 199

直接推理 199

直言三段论的项的规则 200

直言三段论前提的规则 201

抽象法 203

抽象思维 203

抽样法 203

抽象概念 204

抽象与具体 204

抽象与概括 205

析取式 205

析取范式 206

具体概念 207

具体--抽象--具体 207

具体真理与抽象真理 208

具体的同一性与抽象的同一性 209

固有属性 210

非门 210

肯定判断 210

非集合概念 211

非基本论据 211

非区别的假言判断 211

非对偶概念 211

非空集 211

非概括的归纳推理 212

非此即彼与亦此亦彼 212

〔丿〕 213

侔 213

罗素 213

例证 214

质与量 214

命题 215

命题变元 215

命题逻辑 215

命题演算 216

命题演算的公理 217

命题逻辑的矛盾律 217

命题逻辑的同一律 218

命题逻辑的排中律 218

命题演算的公理系统 219

命题演算的形成规则 219

命题演算的初始符号 220

命题演算的变形规则 221

命题演算公理的独立性 222

命题演算推演的对偶规则 222

命题演算公理系统的完备性 223

命题演算推演的求否定规则 223

命题演算公理系统的无矛盾性 224

命题演算的合取、蕴涵、等值定义 225

周延 225

〔丶〕 226

戾换法 226

单称判断 227

单带证式 227

单独概念 227

单名与兼名 228

单一、特殊、普遍 228

诡辩 229

性质判断 230

性质判断的矛盾关系 231

性质判断的差等关系 231

性质判断的对当关系 231

性质判断的上反对关系 232

性质判断的下反对关系 232

空类 233

定义 233

定义过宽 234

定义项 234

定义过窄 234

定理 234

定义规则 235

定言判断 236

实事求是 236

定义联项 236

实验证明 237

实然判断 238

实践检验与逻辑证明 238

法 239

法律证明 240

波伊提乌 240

《波尔·罗亚尔逻辑》 241

函项关系 242

孤证 242

〔〕 242

孟子 243

组合线路 244

经验的与理论的 244

限制换位 244

指令系统 247

〔一〕 247

契合法 247

九画 247

契合差异并用法 248

荀子 249

带证式 250

故 251

轻率概括 251

研究问题忌带主观性、片面性和表面性 252

柏拉图 252

相对主义 254

相对概念 254

相关情况 255

相容的选言判断 255

相容的选言推理 256

思维 256

思维规律 257

思维科学 258

思维和语言 258

思维形式结构 259

思维的论证性 260

思维的确定性 260

思维形式的辩证法 261

思维与存在的同一性 262

狭义谓词演算的永真公式 263

徇众 263

狭义谓词演算的可满足公式 263

〔丿〕 263

重言式 264

种概念 265

种差 265

复合判断 265

种 265

复合推理 266

复带证式 266

复杂构成式 267

复杂破坏式 267

复合三段论 267

复合三段论的后退式 268

复合三段论的前进式 268

复合判断的否定 268

选言证法 269

选言判断 270

选言判断的否定 270

科学抽象 271

科学预见 271

科学归纳推理 272

〔丶〕 273

语词定义 273

类 274

类推 275

类比论证 275

类名 275

类比推理 276

类的基数 277

类比与比较 277

类比属性 277

差异法 278

前件 278

前期墨家 279

前提与结论 279

前束范式 279

前进的连锁三段论 280

前进的复合三段论 280

客观逻辑 281

客观辩证法与主观辩证法 282

洛克 283

洛色林 283

除外判断 284

除X以外，S都是P 284

〔〕 284

既然P，那么q 285

绝对主义 285

绝对概念 286

绝对性与相对性 286

绝对真理与相对真理 287

〔一〕 288

换位法 288

十画 288

换质法 289

换质位法 289

莱布尼兹 290

莱布尼兹定律 291

真值 292

真值表 292

真实定义 293

真实概念 294

真值形式 294

真实判断 294

真值函数 295

真值蕴涵 295

真实的前提 296

真值联结词 296

真理是过程 297

真理是全面的 298

原始根据 299

原因与结果 299

原始递归函数 301

原则不是研究的出发点 302

根据与条件 302

根据对当关系的直接推理 303

根据判断变形的直接推理 303

特有属性 304

特称判断 304

特指值 304

特殊规律 305

特殊与普遍 305

特称否定判断 306

特称肯定判断 306

旁证 307

效 307

递归论 307

〔丶〕 307

递进联言判断 308

〔〕 309

预期理由 309

被定义项 309

控制器 310

基本论据 310

排中律 310

〔一〕 310

十一画 310

排斥与吸引 311

推 312

推论 313

推理 313

推不出 314

推理的形式 314

理论 315

虚假论据 316

虚假判断 316

唯名论 317

唯实论 317

虚假的前提 317

逻辑加 318

逻辑非 318

逻辑 318

逻辑学 319

逻辑乘 320

逻辑方阵 320

逻辑方法 322

逻辑代数 322

逻辑规则 323

逻辑证明 323

逻辑规律 323

逻辑形式 323

逻辑范畴 324

逻辑变项 325

逻辑常项 326

逻辑推演 326

逻辑思维 326

逻辑的与历史的 327

〔丿〕 328

笛卡儿 328

偷换论题 329

偶有属性 330

假 330

偷换概念 330

假说 331

假言肢 331

假言判断 332

假言推理 332

假说的修正 333

假说的验证 333

假说的程序 334

假言直言推理 335

假言选言推理 335

假说与类比 335

假言联言推理 336

假言判断的否定 337

假说与科学理论 337

假说的逻辑形式 338

假说构成的条件 339

假言推理的否定式 340

假言推理的肯定式 341

假言推理的省略式 342

〔丶〕 343

谓词 343

假说的盖然性程度 343

谓项 344

谓词逻辑 344

谓词演算 345

谓词演算公理 345

谓词演算的公理系统 346

谓词演算求否定规则 346

谓词演算的变形规则 346

谓词演算对偶规则 346

谓词演算的后件概括规则 347

谓词演算的前件存在规则 347

谓词演算的符号系列 347

谓词演算的合式公式形成规则 348

混合关系推理 348

混合条件纯假言推理 349

章士钊 349

章炳麟 350

康德 352

〔〕 353

综合法 353

康托尔 353

确实性的推理 355

〔一〕 355

援 355

十二画 355

提高类比推理结论可靠程度的条件 356

董仲舒 356

惠施 357

越级划分 357

联系 358

联项 358

联言肢 359

联言判断 359

联言判断的否定 360

联言推理的分解式 360

联言推理 360

联言推理的合成式 361

韩非 362

黑格尔 362

量词 363

量项 363

量词辖域 364

量变质变规律 364

〔丿〕 365

等值式 365

等值关系 366

循环论证 366

循环定义 367

剩余法 367

集合体 368

鲁胜 369

遁词 369

集合概念 369

属 370

〔〕 370

属概念 370

普遍概念 370

〔丶〕 370

属加种差定义 371

〔一〕 372

概念 372

十三画 372

概率 373

概括法 373

概推法 374

概念与语词 374

概念的制限 375

概念间的关系 376

概括归纳推理 376

概念的概括 376

概念的上属关系 377

概念的下属关系 377

概念的从属关系 378

概念的反对关系 378

概念的交叉关系 379

概念的全同关系 379

概念的矛盾关系 379

概念的全异关系 380

概念的并列关系 380

概念的相容关系 381

概念的发展变化 381

概念的辩证本性 382

概念的灵活性与确定性 383

概念的客观性与主观性 384

输入输出设备 385

简单判断 386

简单合取 386

简单析取 386

〔丿〕 386

简单类比 387

简单换位 387

简单推理 388

简单构成式 388

简单破坏式 389

简单枚举归纳推理 389

错误的抽样 390

错误的思维 390

谬误 391

〔丶〕 391

滥用权威 391

错误的推理 391

数理逻辑 392

数学的证明 394

数学基础论 394

意识 395

《新工具》 396

〔一〕 397

摹状词 397

十四画 397

静止 398

模拟法 398

模型论 399

模态判断 400

模态推理 401

端词 404

〔丶〕 404

演绎论证 404

模棱两可 404

演绎定理 405

演绎推理 405

演绎推理与归纳推理 406

〔一〕 408

蕴涵式 408

十五画 408

蕴涵判断 409

墨子 409

《墨经》 410

墨家 411

墨辩 411

德·摩根 412

德·摩根定律 412

〔丿〕 412

德谟克利特 413

〔丿〕 415

《穆勒名学》 415

十六画 415

辩护 416

辩才 416

辩驳 416

辩学 416

〔丶〕 416

穆勒氏方法 416

辩证逻辑 417

辩证法的发展观 418

辩证法、认识论和逻辑学的一致 419

〔〕 420

避角法 420

S一般的是(或不是)P 421

S个别的是(或不是)P 421

S就是P 421

S基本上是(或不是)P 422

э-前束范式 422

汉语拼音索引 423

亚里士多德的联锁法 1111