逻辑学辞典PDF电子书下载

前言页 1

一画 1

一分 1

一般 1

一与多 1

一点论 2

一一对应 3

一一关系 3

一般规律 4

一阶理论 4

一阶语言 4

一次划分 4

一元谓词 4

一分为二 4

一一函项 4

一是而一非 5

一主多宾判断 5

一周而一不周 5

一般递归函数 6

一切事物都是推理 7

一个前提的演绎推理 8

一个初始概念的公理系统 8

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

二分法 12

二无一 12

二画 12

〔一〕 12

二十一事 13

二进制数 13

二值函数 14

二难推理 14

二一十进制转换 15

二一十进制记数法 16

十伦 16

十翼 16

八进制数 17

九句因 17

八卦 17

〔丿〕 17

人证 18

人工语言 18

人工智能 19

人身攻击 21

〔〕 21

力迫法 21

工具主义 24

《工具论》 24

〔一〕 24

下位概念 24

三画 24

工具主义的逻辑 25

与门 25

与非式 26

与非/与非式 26

三表法 26

三段论 27

三支作法 27

三种比量 28

三难推理 28

三段论的式 29

三段论的项 30

三段论的格 30

三段论原则 30

三段论的公理 31

三段论的还原 31

三段论的规则 32

三段论的结构 33

三段论的可能式 33

三段论的正确式 33

三段论的有效式 33

三段论的省略式 34

三段论的复杂式 34

三段论的完整式 34

三段论的审判格 34

三段论的典型格 34

三段论的第一格 35

三段论的第二格 36

三段论的第三格 36

三段论的第四格 37

三段论的格式歌诀 37

三段论第一格的规则 38

三段论第二格的规则 38

三段论质方面的规则 38

三段论第三格的规则 39

三段论第四格的规则 39

三段论量方面的规则 40

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

大词 41

大项 41

《大疏》 41

大共名 41

大别名 41

大反对关系 42

大阿尔伯特 42

大概念 42

大前提 42

大项扩大的错误 43

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

大项非法周延的逻辑错误 43

大前提是区别的假言判断的假言推理 43

个别与一般 44

个体域 44

个性 44

个体 44

丸辞 44

〔丿〕 44

上反对关系 44

上位概念 44

大前提是非区别的假言判断的假言推理 44

〔丶〕 46

广义三段论 46

广义谓词逻辑 46

广义谓词演算 46

广义完全性定理 46

〔〕 46

飞跃 46

子集合 47

子类 47

子模型 48

子项不穷尽 48

小词 48

小项 48

小前提 49

小概念 49

小反对关系 49

小项扩大的错误 49

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

小项非法周延的逻辑错误 49

马克思主义辩证法 50

马尔科夫 50

马赫 50

四画 52

〔一〕 52

区别 52

区别判断 53

区别的假言判断 54

丐词 54

东尔契 54

瓦拉·洛连佐·杰拉 55

比量 55

比较法 55

元逻辑 56

元素 56

比量相违 56

元数学 58

历物十事 58

不合 59

不体 59

不重 59

不类 59

不离 60

不成因 60

不定因 61

不周延 61

不伦不类 62

不间断性 62

不共不定 62

不矛盾律 62

不是而然 63

不可及基数 63

不可数集合 63

不合乎逻辑 63

不完全划分 64

不完全戾换 64

不完全类比 64

不明显的定义 65

不完全归纳法 65

不可满足公式 65

不可比较概念 65

不严格类比 65

不容间位律 65

不同素材的判断 66

不完全归纳推理 66

不完全换质位法 67

不正确的论证方式 67

不正确的推理形式 67

不相容的选言判断 67

不相容的选言推理 68

无 69

无合 69

犬可以为羊 69

无体 70

无限 70

无穷类 70

无矛盾理论 71

无条件判断 71

无味滤子和直积 71

无穷集合和有穷集合 71

五公 71

五支作法 71

五个初始概念的公理系统 72

王弼 73

王充 73

王夫之 74

王守仁 76

当数S是(或不是)P 77

贝特可以定义性定理 77

内包 78

内涵 78

内籀 79

内涵定义 79

内涵逻辑 79

内容与形式 80

内涵与外延的反比关系 81

内涵的定量 81

内涵与外延的反比规律 82

内涵与外延的反变关系 82

内涵与外延的反变规律 83

中介 83

中词 83

中项 83

中概念 83

中国逻辑史 84

中词不周延的逻辑错误 86

中项不周延的逻辑错误 86

从属概念 87

长角者 87

〔丿〕 87

片面性 87

从亚当开始 88

从抽象上升到具体 88

爻辞 89

分类 90

分解 90

分析法 91

分析与综合 91

公证 92

公理 92

公理法 93

公孙龙 93

《公孙龙子》 94

公理系统 94

公理图式 95

公理模式 95

公理集合论 96

公理系统的一致性 98

公理系统的协调性 98

公理系统的完全性 98

公理系统的无矛盾性 99

公理系统的相容性 99

公理系统的独立性 99

公理系统的完备性 99

反驳 100

反题 100

反论题 100

反证明 100

反证法 100

反映论 101

反三段论 102

反对判断 102

《反杜林论》 103

反驳论题 103

反驳论据 103

反驳方式 103

反对概念 103

反思判断 106

反思规定 107

反思推论 108

反思概念 109

反驳的方法 110

反驳的规则 110

反驳的种类 110

反蕴涵关系 110

反驳论证方式 111

反传递的关系 111

反自反的关系 111

反对称的关系 111

反逻辑的论证 112

反对称性关系推理 112

反传递性关系推理 112

〔丶〕 113

计算复杂性 113

认识 113

认识论 114

认识规律 115

认识的秩序 115

认识的唯物论 116

认识的辩证法 117

认识的螺旋曲线 118

为我之物 119

方法 119

方以智 120

方法论 122

方形图法 122

文恩 123

文恩图解 123

〔〕 124

双重否定原则 124

以人论证 125

双重否定式联言判断 125

以人为据 125

以名举实 126

以说出故 126

以偏概全 126

以辞抒意 126

以相对为绝对 127

引出的判断 127

尺度 127

尹文 127

邓析 128

邓斯·司各脱 129

巴门尼德 130

孔子 130

孔狄亚克 131

五画 132

〔一〕 132

未定义概念 132

可构成集 132

可测基数 133

可能判断 133

可数集合 133

可能性与现实性 134

可计算函数 134

可比较概念 134

可数语言与不可数语言 135

巧转 136

巧辩 136

巧用定义 136

布尔 136

布氏式 136

布利丹 137

布尔代数 137

布伦坦诺 137

布拉德雷 138

布劳维尔 138

布氏式的化简 139

布尔列依·瓦利捷尔 139

布尔多项式的元件数 140

古典逻辑 140

古典命题逻辑 141

正合 141

正名 141

正举 142

《正名篇》 142

《正理经》 143

正名审分 144

正概念 144

正理派 144

正则范式 145

正确的思维 145

正确的推理 145

正则合取范式 146

正则析取范式 146

正题反题合题 146

正规的区别判断 146

正确的推理形式 146

正确推理的条件 147

本质论 148

本元 148

正确思维的必要条件 148

本质属性 149

本质与现象 149

本质联系与非本质联系 150

本体论、认识论、逻辑的关系 151

世界语 153

世间相违 154

出发判断 154

只有S才是P 、 只有S是P 155

叶适 155

电子计算机 156

电路函数 156

叶加尔金 156

目式 157

田巴 157

归纳法 158

归谬法 158

归纳反驳 160

归纳论证 160

归纳推理 161

归纳逻辑 161

归纳万能论 162

归纳与演绎 162

卡尔纳普 163

卢卡西维茨 163

卡氏乘积 163

四难推理 164

四项的逻辑错误 164

四概念的逻辑错误 165

〔丿〕 165

用名以乱名 165

用名以乱实 165

用实以乱名 166

代用指名 166

白板 167

白马非马 168

外观 169

外延 169

外包 169

外籀 170

外因论 170

外延的与内涵的定量 171

全分 171

外延定义 171

生成 172

生命 172

〔丶〕 173

冯特 173

永真公式 174

永假公式 174

立辞 174

玄奘 174

必合 175

必要条件 175

必然推论 176

必然与自由 176

必然判断 176

必然的判断 177

必然性的推理 178

必然性与偶然性 178

必要条件假言判断 179

必要条件假言推理 180

必要条件纯假言推理 181

主词 182

主项 182

主观性 182

主范式 183

主概念 183

主观主义 183

主观逻辑 184

主体与客体 185

主观与客观 185

主合取范式 185

主析取范式 186

主观唯心主义 186

白箱 187

主要矛盾和次要矛盾 187

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

〔〕 189

弗雷格 189

弗晰逻辑 189

弗兰西斯·培根 192

发生定义 193

发明的逻辑 194

皮尔斯 194

矛盾律 195

矛盾式 195

皮亚诺 195

矛盾规律 197

矛盾概念 197

对当 197

对当法 197

对立判断 197

对立概念 197

对偶概念 197

矛盾判断 197

对象领域 198

对称的关系 198

对立统一规律 198

对称性关系推理 200

对具体事物作具体分析 201

划分的子项 203

六画 203

划分 203

〔一〕 203

划分的母项 204

划分的根据 204

划分的错误 204

划分的子项相容 205

芝诺 205

成分命题 207

刑名 207

亚历山大 207

亚里士多德 208

亚里士多德式 212

亚里士多德学派 212

亚里士多德的联锁法 216

扬弃 216

亚里士多德的十范畴 216

扬雄 217

执角法 218

扩充三段论 218

扩充三段论规则 220

机械类比 221

西斯班 221

西塞罗 222

西方逻辑史的对象 222

老子 223

共相 224

共变法 225

共不定 225

共名与别名 226

共性与个性 226

达名 227

存在 227

存贮器 227

存在量词 228

存贮容量 228

存在量词交换律 228

有 228

有穷类 229

有序对 229

有体 229

有序集 230

有限与无限 230

有法自相相违 231

有法差别相违 231

有限制的换位 231

有穷集合和无穷集合 231

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

因 233

因明 233

因子式 234

因三相 234

因为p,所以q 235

因人纳言 235

因明八门 235

因人废言 235

因子式的元件数 236

《因明入正理论疏》 236

《因明正理门论述记》 236

同一 237

《因明入正理论庄严疏》 237

同构 239

同品 239

同一律 239

同位概念 240

同语反复 240

同一与差异 240

同态与同态像 241

同品一分转，异品遍转 242

吕才 242

《吕览》 243

《吕氏春秋》 243

众心一致的论证 244

〔丿〕 244

负判断 245

负概念 246

杂卦 246

多 247

多项关系 247

多难推理 247

多值逻辑 247

多主一宾判断 249

多主多宾判断 249

后天 250

后件 250

多数S是(或不是)P 250

多出子项划分 250

后期墨家 251

后退的连锁三段论 252

名正 252

名词 252

后退的复合推理 252

名学 253

名实 253

名家 253

名理 254

名辩 254

名之同 255

名之异 255

《名理探》 255

名辩学者 256

名词定义 256

名家著作 256

名义定义 256

名辩学说 257

先天知识 257

先行根据 257

先行情况 258

先验理性 258

先验理念 259

先验逻辑 260

先验感性 260

先验演绎 260

先天与后天 261

先验的幻相 261

先验逻辑学 262

先验唯心主义 263

先验的演绎法 263

先验的与超验的 265

先秦逻辑思想 265

朱熹 266

合同 267

合取肢 268

合乎逻辑 268

合取式 268

合作法 268

合题 268

合同异派 269

合取公理 269

合取判断 269

合取范式 269

合取分析式 269

合取交换律 269

合取式的构成原则 270

合取简化律 270

合取结合律 270

合取等幂律 270

合取重言律 270

合取对析取的分配律 271

合取对析取的吸收律 271

全类 272

全集 272

全加器 272

全举判断 273

全称判断 273

全称量词 273

全局与局部 273

全称肯定判断 274

全称否定判断 274

全称量词交换律 275

全称蕴涵存在定理 275

全称量词分配律 275

全称否定的区别判断 276

全称肯定的区别判断 276

全称量词对合取的分配律 276

全称量词对析取的分配律 276

全称量词对等值的分配律 276

全称量词对蕴涵的分配律 277

优范式 277

优合取范式 277

优析取范式 277

任何科学都是应用逻辑 278

传递的关系 279

伊本·西拿 280

传递性关系推理 280

伪证 280

伊壁鸠鲁 281

伊本·路西德 282

自由 283

自有 283

自同构 284

自为之有 284

自由出现 284

自相矛盾 284

自语相违 284

自教相违 285

自反的关系 285

《自然辩证法》 285

自然语言逻辑 290

自由个体变项 290

自由个体变元 290

自发的辩证思维 291

自觉的辩证思维 292

自在之物与为我之物 293

〔丶〕 294

问句逻辑 294

问题逻辑 295

次要矛盾 295

次要的矛盾方面 295

决定论与非决定论 295

庄子 296

《庄子》 297

充分条件 298

充足理由律 298

交错线 298

交叉概念 298

交类 298

充分必要条件 299

充分条件假言判断 299

充分条件假言推理 300

充分条件纯假言推理 301

充分必要条件假言判断 302

充分必要条件假言推理 303

衣西鲁斯 304

字典顺序 304

安瑟伦 304

安萨里 305

刘歆 306

刘光汉 306

刘劭 306

刘知几 307

《刘子新论》 308

并类 308

并列概念 308

并列联言判断 308

关系 309

关节点 310

关系后项 310

关系系统 310

关系判断 310

关系运算 310

关系的积 311

关系的逆 311

关系的和 311

关系定义 311

关系前项 312

关系理论 312

关系推理 312

关系量项 313

关系概念 313

关系的否定 313

关系的逻辑 314

关系的主目值 314

关系的函项值 315

关于名词的规则 315

关系判断的推理 315

关系的逻辑特性 315

关系的前域和后域 315

关系之间的相异关系 316

关系之间的同一关系 316

论式 316

关系的前趋和后继 316

关系之间的包含关系 316

论证 317

论战 318

论点 318

论敌 319

论难 319

论据 319

论断 319

论题 319

论辨 320

《论衡》 320

论旨不明 321

论证方式 321

论证性 321

《论理学》 321

论证过程 322

论据不足 322

论题不明 322

论证的分类 323

论证的作用 323

论证与推理 323

论题不清 323

论证的组成 324

论证的构成 324

论证的规则 324

论证的结构 325

论证的种类 325

论证的循环 325

论据不充分 325

论据的规则 325

论证的局限性 326

论证的三要素 326

论题的否定 326

论题的规则 326

论证方式的规则 327

论证性和说服力 327

论据和论题不相干 328

论辩中的不正当手法 328

〔〕 328

约定俗成 328

约束个体变元 329

约束个体变项 329

约束出现与自由出现 329

尽 329

尽言判断 329

异品 329

观念 330

异出真值表 330

异品--分转同品遍转 330

观察 331

观察的客观性 332

阴阳 332

七画 334

〔一〕 334

求同法 334

求异法 334

求同求异并用法 334

严复 334

严格类比 336

严格等值 336

严格蕴涵 336

严格蕴涵系统 337

连珠体 339

严格的选言判断 339

连珠式 339

连续划分 340

连锁证明 340

连通的关系 340

连锁三段论 340

连续统假设 342

连续性与非连续性 344

运动 345

运算器 345

运算速度 345

运算误差校验码 346

否定式 346

否定公理 346

否定的定义 347

否定之否定规律 347

否定判断 347

否定命题的论证 348

否定肯定式联言判断 349

克劳斯 349

克林尼 349

两点论 350

两俱不成 350

两种发展观 351

苏格拉底 351

拒中律 352

技术逻辑 352

折衷主义 353

投合众好 353

杜威 353

杨朱 354

极简项 355

极小项 355

极成 355

极大项 355

极大封闭集 356

极简布尔因子式 356

极简布尔多项式 356

形式 357

形而上学 357

形式主义 358

形名学说 358

形式逻辑 358

形象思维 360

形式化的方法 361

《形式逻辑引论》 361

形而上学发展观 362

形式逻辑的对象 362

形式逻辑的性质 363

形式逻辑的作用 363

形式逻辑基本规律 364

形式逻辑的推理种类 365

李贽 367

李之藻 368

别墨 368

时序线路 369

时态逻辑 369

坚白石离 370

坚白同异 371

坚白相盈 371

〔丿〕 371

希尔伯特 371

系统论 372

系词 372

《系辞》 372

邱吉论题 373

卵有毛 374

我思故我在 374

私名 375

条件 375

条件判断 375

条件推理 375

条件句逻辑 375

条件合取原则 375

条件融合原则 376

狂举 376

狄德罗 376

体同 377

作为反思自身的本质 377

犹豫不成 377

伽桑狄 378

何晏 378

〔丶〕 378

良序集 378

良序定理 379

证人 379

证明 380

证据 380

证明论 380

证伪主义 381

证明方式 382

证明过少 382

证明过多 382

词义与概念 383

诉诸感情 383

证明中循环的错误 383

证明与反驳的关系 383

言不尽意 384

《言尽意论》 384

判断 384

判断分类(康德的) 385

判断的质 386

判断的量 386

判断变项 387

判断函项 387

判断常项 387

判断与语句 388

判断的变形 388

判断的结构 389

判断的种类 389

判断要恰当 390

判断的形式结构 391

判断的否定判断 393

判断的隶属关系 393

判断的语句形式 394

判断的辩证分类 395

判断的辩证本性 397

判明因果联系五法 398

应用逻辑 399

序数 399

《序卦》 399

序型 400

序列关系 400

怀德海 400

间接反驳 400

间接论证 401

间接推理 402

间接关系推理 402

间接还原 402

间接的模态推理 403

间断性与不间断性 403

沃尔夫 404

泛代数 404

泛理论 404

完全戾换 405

完全理论 406

完全三段论 406

完全归纳法 406

完备性问题 406

完全归纳推理 406

完全换质位法 407

补类 408

宋钘 408

初等和 409

初等积 409

初等链 409

初等理论 409

初等等价 409

初等扩充和初等子模型 410

〔〕 410

鸡三足 410

局部 410

驳斥不正确二难推理的方法 410

纵横家 412

纯量 413

纯粹知识 413

纯粹理性 414

纯粹换位 414

纯假言推理 415

纯粹关系推理 415

纯选言判断 415

纯粹选言推理 416

纯粹理性的辩证推理 417

张载 418

附性法 419

附丽法 419

陆九渊 419

陈那 420

陈亮 420

阿列夫 421

阿伯拉尔 421

阿斯穆斯 423

阿基里斯和乌龟 423

阿维森纳 423

阿威罗伊 423

八画 424

〔一〕 424

奇偶校验码 424

武断 424

表象 425

表面性 425

事证 425

事物 426

事实证明 426

事物定义 427

事物的两重性 427

转化 427

卦辞 428

转移论题 428

转折联言判断 428

规律 429

规定性 430

规范逻辑 430

或 430

或门 431

或然判断 431

或然性的推理 431

析取式 432

析取判断 432

析取范式 432

析取引入律 433

析取交换律 433

析取结合律 433

析取重言律 433

析取对合取的分配律 434

析取等幂律 434

析取简化律 434

析取对合取的吸收律 435

杰方斯 435

范式 436

范畴 436

范缜 437

范畴表 437

范畴体系 438

范式排列规则 439

范畴性与在一个势上的范畴性 439

欧拉 440

欧阳建 440

欧拉图解 440

直觉 441

欧几里德算法 441

直觉主义 442

直言判断 442

直接反驳 443

直接论证 443

直接还原 444

直接根据 444

直接推理 444

直言三段论 445

直观的公理 445

直接模态推理 446

直言三段论的格 446

直接的关系推理 446

直接推理的方式 446

直言三段论的项的规则 446

直言三段论的前提的规则 447

直言三段论的判断的规则 447

现实 449

现象 450

现量 450

现实性 451

现量相违 451

抽样法 451

抽象法 452

抽象思维 452

抽象真理 452

抽象概念 452

抽象与具体 452

具有反身性的关系 454

具体概念 454

具体 454

抽象与概括 454

具有传递性的关系 455

具体--抽象--具体 455

具体真理与抽象真理 456

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

肯定判断 458

肯定否定规律 458

肯定否定式联言判断 458

图灵机 458

固有属性 459

固定范畴与流动范畴 459

回转 460

凯恩斯 460

凯德罗夫 460

非决定论 461

非空类 461

非连续性 461

非古典逻辑 461

非存在 461

非门 461

非基本论据 462

非逻辑主义 462

非对偶概念 462

非辩证的转化 463

非区别的假言判断 463

非传递的关系 463

非正规的区别判断 463

非概括的归纳推理 463

非自反的关系 463

非对称的关系 463

非集合概念 463

非此即彼与亦此亦彼 464

非标准模型与非标准分析 465

罗素 466

罗森塔尔 467

罗吉尔·培根 467

侔 468

〔丿〕 468

例证 468

罗斯-沃特定理 468

儿说 469

肢命题 469

所依不成 470

所立不遣 470

所立法不成 470

所为有名 470

所缘以同异 471

知觉的预测 471

所别不极成 471

质 472

质与量 473

物证 474

物 474

物莫非指 474

质的规定性 474

物质与意识 475

命题 476

命题变项 477

命题逻辑 477

命题变元 477

命题演算 478

命令句逻辑 478

命题的蕴涵 479

命题的等值 479

命题函项演算 479

命题演算的公理 479

命题的合取 479

命题的析取 479

命题的否定 479

命题逻辑的同一律 480

命题逻辑的排中律 480

命题演算的矛盾律 480

命题演算的公理系统 481

命题逻辑的同一原则 481

命题演算的形成规则 481

命题演算消去规则 481

命题演算的初始符号 482

命题演算的变形规则 483

命题演算公理的独立性 484

命题演算的基本置换定理 485

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

命题演算推演的语法规则 486

命题演算推演的置换规则 486

命题演算推演的附加规则 486

命题逻辑合式公式展开规则 487

命题逻辑系统化的两类型式 487

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

命题演算推演的三段论规则 488

命题演算推演的假言易位规则 489

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

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

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

命题演算推演的等值构成规则 491

周延 491

命题演算推演的析取交换规则 491

《周易》 492

变易 493

变 493

变换论题 493

〔丶〕 493

单带证式 494

单独概念 494

戾换法 494

单名与兼名 495

单一、特殊、普遍 495

单称判断 495

诡辩 496

诡辩学派 497

诡辩论 497

诡辩思想 497

诡辩术 497

性质判断 498

性质判断的对当关系 499

性质判断的矛盾关系 499

性质判断的推理 499

性质判断的下反对关系 500

性质判断的上反对关系 500

性质判断的差等关系 500

性质判断中主项和谓项的周延性 501

空类 501

宗 502

空概念 502

《审名》 502

空集合 502

宜合 503

定义 503

定理 504

定量 504

定义项 504

定义过窄 504

定义过宽 504

定义规则 505

定义联项 506

定义概念 506

定言判断 506

定义的错误 507

定言三段论 507

定义置换规则 507

定点表示 507

实有 508

实验 508

实 508

实践 509

实有判断 510

实在 定义 510

实有推论 510

实用主义 510

实体概念 511

实事求是 511

实验证明 512

实验逻辑 512

实质定义 512

实然判断 513

实体性的对比 513

实践检验与逻辑证明 514

波菲利 515

波尔查诺 516

波列茨基 516

波伊提乌 517

波菲利的树 518

《波尔罗亚尔逻辑》 518

法 518

法则 519

法称 519

法拉比 519

法律证明 519

法自相相违 520

法差别相违 520

函项关系 521

孤证 521

〔〕 521

限有 522

限量 523

限量换位 524

孟子 524

限制换位 524

组合线路 525

组合逻辑 525

经验的类推 526

经验的证明 526

经验思维的公准 526

经验知识 526

经验主义 526

经院派的逻辑 527

经验的与理论的 528

歪曲论题 531

轻率概括 531

九画 531

〔一〕 531

研究问题忌带主观性、片面性与表面性 532

指 532

指号 533

指号学 533

指令系统 534

指号情境 535

奎因 535

奎因方法 535

契合法 536

荀子 537

《荀子》 538

带证式 538

故障诊断 539

故 539

胡塞尔 540

柏拉图 540

柯亨 541

相对性 542

相违因 542

相互作用 542

相对主义 543

相对真理 543

相对概念 544

相关情况 544

相违决定 544

相符极成 545

相同素材的判断 545

相容的选言判断 545

省略型定理 546

相容的选言推理 546

省略的论证方法 547

哈密尔顿 547

显学 548

是而然 548

是而不然 548

界说 549

思维 549

思维方法 550

思维矛盾 550

思维规律 551

思维科学 552

思想体系 552

思辨哲学 553

思维和语言 553

思维形式结构 553

思维的论证性 554

具有对称性的关系 554

思维的一贯性 554

思维的确定性 555

思维的无矛盾性 555

思维的基本细胞 555

思想的逻辑活动 556

思维形式的辩证法 556

思维与存在的同一性 557

思维过程是个自然过程 558

思维的至上性与非至上性 559

思维的形式与思维的内容 560

〔丿〕 561

狥众 561

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

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

狭义谓词演算 562

狭义三段论 562

狭义谓词逻辑 562

狭义谓词演算的普遍有效公式 563

鬼俗 563

重合 563

重言式 563

重点论 564

种 565

种差 565

种概念 565

种加属差定义 565

复合关系 565

复合命题 566

复合谓词 566

复合判断 566

复合推理 567

复杂反驳 567

复杂问语 568

复杂证明 568

复杂判断 568

复杂换位 568

复杂推理 568

复杂概念 568

复带证式 569

复合三段论 569

复成分判断 569

复杂构成式 569

复杂破斥式 569

复杂的三段论 569

复合判断的推理 570

复合判断的否定 570

复杂的破坏式 570

复合推理的后退式 571

复合推理的前进式 571

选言干 571

选言肢 571

选言法 571

选言论证 571

选言证法 571

选言判断 572

选言推理 573

选择公理 573

选言三段论 574

选言直言推理 574

选言假言推理 574

选言推理的肯定否定式 575

选言推理的否定肯定式 575

科学抽象 575

选言式间接证明 575

选言推理的规则 575

选言判断的否定 575

科学预见 576

科学的逻辑 577

科学归纳法 577

科尔莫果洛夫 577

科学归纳推理 578

保存定理 579

保序一一对应 579

信号 580

信息论 580

信息语言 581

信息符号 581

信念逻辑 581

信息逻辑系统 582

〔丶〕 582

总念 582

迷魂阵 583

度 583

度量关系交错线 584

语境 585

语义学 585

语用学 586

语形学 587

语义哲学 588

语词定义 589

语词指号 589

语言与实在 590

语言学的语义学 591

说谎者 591

类 592

类同 595

类名 595

类推 595

类比法 595

类的和 595

类的积 595

类比论证 595

类比推理 595

类比属性 597

类固相召 597

类取类予 597

类的加法 597

类的基数 598

类的乘法 598

类比与比较 599

类的三段论 599

类的矛盾律 599

类的同一律 599

类的重言律 600

类的排中律 600

类固不必可推知 600

类的加法结合律 600

类的乘法结合律 601

类的包含的传递律 602

契合差异并用法 602

差异 603

差异法 603

前束范式 604

前件 604

差异就是矛盾 604

前期墨家 605

前后三段论 605

前提与结论 605

前引式与后断式 605

前进的连锁三段论 606

前进的复合推理 606

前束范式存在定理 606

前提和结论之间有蕴涵关系 606

施罗德 607

客观 607

客体 607

客观实在 607

客观真理 607

客观逻辑 608

客观辩证法与主观辩证法 609

客观唯心主义 609

洛克 610

《神灭论》 610

洛采 611

洛色林 612

〔〕 612

除外判断 612

除x以外，s都是p 613

既然p，那么q 613

费希特 613

结果 614

结构 614

统觉 614

绝对主义 615

绝对理念 615

绝对性与相对性 616

绝对概念 616

绝对真理与相对真理 617

十画 619

〔一〕 619

哥德尔 619

哥克兰尼式 620

哥德尔编码 620

哥德尔完全性定理 620

顾炎武 620

换位法 623

换质法 623

换质位法 624

换位法的根据 625

埃里金纳 625

贾佩拉 626

埃利亚学派 626

莫里斯 627

莫利范畴性定理 627

莱布尼茨 628

莱辛巴哈 629

莱布尼茨定律 630

真相 630

真值 630

真理 630

真象 631

真子类 631

真值表 631

真实判断 632

真实定义 632

真值形式 633

真值函项 633

真实概念 633

真值函数 634

真值蕴涵 634

真实的前提 635

真值表方法 635

真值联结词 636

真理的标准 636

真理是过程 637

真理是全面的 639

真理是具体的 640

真的的 古典定义 641

哲学 641

《哲学笔记》 642

原因与结果 647

原始根据 647

原子命题 647

《原名》 647

原始递归函数 648

原则不是研究的出发点 649

恶性循环 650

桓谭 650

根据 650

根据与条件 651

根据反对关系的直接推理 651

根据从属关系的直接推理 652

根据主从关系的直接推理 652

根据对立关系的直接推理 652

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

根据矛盾关系的直接推理 653

根据差等关系的直接推理 654

根据上反对关系的直接推理 654

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

根据下反对关系的直接推理 655

根据大反对关系的直接推理 655

根据小反对关系的直接推理 655

根据次对立关系的直接推理 655

根据逻辑方阵中各判断关系的推理 656

格物穷理 656

格物致知 656

逍遥派 657

紧致性定理 657

〔丿〕 657

倒合 657

俱不极成 658

俱不成 658

俱不遣 658

倒离 658

俱品一分转 659

徐幹 659

特殊 659

特指值 659

特异范式 660

特有属性 660

特称判断 660

特殊规律 661

特殊定量 661

特殊与普遍 661

特异合取范式 662

特异析取范式 662

特称否定判断 662

特称否定的区别判断 663

特称肯定的区别判断 663

特称肯定判断 663

〔丶〕 664

离作法 664

离坚白派 664

旁证 664

竞争--冒险现象 664

悖论 665

悟性与理性 667

席勒 669

效 669

高尔斯基 669

宾词 670

宾概念 670

诺 670

诸子学 研究 670

递归论 671

流动的范畴 671

浮点表示 671

递归证法 672

递归定义 673

递归谓词 673

递归函数论 674

递归可枚举性 674

递进联言判断 675

《资本论》 675

被反驳的论据 676

〔丶〕 676

被反驳的论题 676

预期理由 676

被定义概念 676

被定义项 676

被反驳的论证 676

通过逻辑正方形中各判断间的关系的推理 677

能立 677

能破 677

能立法不成 678

能别不极成 678

能行性理论 678

能立不遣 678

十一画 679

〔一〕 679

乾坤 679

堆 679

教父逻辑 680

教条主义 680

基数 680

基本真值联结词 681

基数的可比较性 681

基本真值表 681

控制器 681

基本论据 681

基本错误 681

基本命题 681

控制论逻辑 682

排中律 683

排斥与吸引 684

推 685

推论 685

推理 686

推断 687

推不出 687

推出论据 687

推理形式 687

推出的知识 688

推出的判断 688

推理的结构 689

推理合乎逻辑 689

推理有逻辑性 690

推理和判断的关系 690

推理形式的客观基础 690

理 691

理由 691

理论 691

理性 692

理念 692

理论思维 693

理论逻辑 693

虚假概念 694

虚假理由 694

虚假判断 694

虚假论据 694

虚假的相关 695

虚假的前提 695

唯名论 695

唯实论 696

唯理论 696

唯名定义 697

唯一契合法 697

唯一差异法 697

唯物辩证法 697

唯理主义的逻辑 697

《唯物主义和经验批判主义》 697

《逻辑》 700

逻各斯 700

逻辑加 700

逻辑 700

逻辑非 701

逻辑学 701

《逻辑学》 702

逻辑乘 703

逻辑方法 703

逻辑方阵 704

逻辑主义 705

逻辑代数 706

逻辑形式 706

逻辑变项 707

逻辑范畴 707

逻辑证明 707

逻辑规则 708

逻辑规律 708

逻辑思维 709

逻辑重音 709

《逻辑指要》 710

逻辑常项 710

逻辑推演 710

逻辑斯蒂 711

逻辑正方形 711

逻辑实证论 711

逻辑原子论 711

《逻辑哲学论》 712

逻辑联结词 713

逻辑加法重言律 713

逻辑加法简化律 713

逻辑乘法重言律 713

逻辑的与历史的 713

《逻辑学辞典(手册)》 715

逻辑矛盾与辩证矛盾 715

《逻辑的数学分析》 715

勒文海姆--斯柯伦定理 717

勒文海姆--斯柯伦--塔尔斯基定理 717

遁词 718

笛卡儿 718

〔丿〕 718

符号 719

符号逻辑 720

偷换论题 720

符号语言 720

偶有属性 721

偶然性 721

假 721

偷换概念 721

假说 722

假设 722

假象 723

假言肢 723

假言判断 723

假言推理 724

假言三段论 725

假说与类比 725

假说的修正 725

假说的检证 726

假说的程序 726

假言易位原则 727

假言直言推理 727

假言选言推理 727

假言联言推理 728

假言推理的规则 729

假言判断的否定 729

假说与科学理论 730

假说构成的条件 731

假说的逻辑形式 731

假说建立的步骤 731

假言推理的否定式 732

假言推理的肯定式 733

假言推理的省略式 734

〔丶〕 735

假言判断各件的逆换 735

减性法 735

假说的盖然性程度 735

断言判断 736

盖伦 736

断案 736

谓 737

谓词 737

盖然判断 737

谓项 738

谓词逻辑 738

谓词演算公理 739

谓词的填式 739

谓词的命名式 739

谓词演算 739

谓词变元代入规则 740

谓词演算对偶规则 740

谓词演算的分离规则 741

谓词演算的公理系统 741

谓词演算的合式公式 741

谓词演算求否定规则 741

谓词演算的蕴涵规则 742

谓词演算的符号系列 742

谓词演算基本置换定理 742

谓词演算的变形规则 742

谓词演算中的有前提推演 743

谓词演算中的无前提推演 743

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

谓词演算公式的概括规则 743

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

谓词演算的约束变元改名规则 744

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

谓词演算的约束变元换名规则 745

谓词演算中的命题变元代入规则 745

谓词演算的约束变元易字规则 745

谓词演算的自由个体变元代入规则 746

《深察名号》 746

混淆概念 747

混合关系推理 747

混合条件纯假言推理 748

《淮南子》 748

南羯罗主 749

章士钊 749

《淮南鸿烈》 749

章炳麟 751

康德 752

康托尔 753

康托尔定理 754

随一不成 755

〔〕 755

综合法 755

康托尔-伯恩斯坦定理 755

维特根斯坦 756

确实判断 757

〔一〕 757

确实性的推理 757

十二画 757

援 758

提高类比推理结论可靠程序的条件 758

确定思想间的关系 758

塔尔斯基 759

董仲舒 759

雄辩 760

雅诺夫斯卡娅 760

葛洪 760

超验的 761

超积的基本定理 761

越级划分 761

超滤、超积和超幂 762

惠施 762

联系 763

联词 763

联言肢 764

联系词 764

联言判断 764

联项 764

联言推理 765

联合选言判断 766

联结词逻辑 766

联言判断的否定 766

联列三段论 766

联断判断 766

联言推理的组合式 767

联言推理的合成式 767

韩非 767

联言推理的分解式 767

期命 769

斯多葛学派 769

斯宾塞 772

斯宾诺莎 772

斯柯伦范式 773

喻 773

黑箱 774

黑格尔 774

量 775

量词 776

量项 776

量词辖域 777

量的无限 777

量词逻辑 777

量的界限 779

量的规定性 780

量词否定律 780

量子力学逻辑 781

量词作用区域 781

量变质变规律 781

量简因子式 782

最简布尔多项式 782

〔丿〕 783

答辩 783

等数 783

等值式 783

等数类 784

等值公理 784

等值关系 784

等值判断 785

铿迭 785

舒佩 785

循环论证 786

循环定义 786

剩余法 787

集合 788

集合的并 789

集合的交 789

集合的补 789

集合体 789

集合概念 790

集合的运算 790

嵇康 791

程颢、程颐 791

鲁胜 791

傅山 793

奥卡姆 794

普遍 795

富兰克林 795

普恩凯莱 795

〔丶〕 795

普遍概念 796

普遍规律 796

普通语义学 796

普通逻辑 796

普遍有效公式 797

《道德经》 797

属性 798

属 798

属差 798

属概念 798

媒概念 798

〔〕 798

属性概念 799

属加种差定义 799

属性判断 799

属概念与种概念 800

零公式 801

输入输出设备 801

零概念 801

〔一〕 801

十三画 801

概念 802

概括 803

概念论 803

概率 803

概推法 805

概念判断 805

概括法 805

概念明确 806

概念与语词 807

概念的关系(=转化=矛盾)=逻辑的主要内容 808

概念的制限 809

概念的概括 810

概念的限定 810

概念间的关系 810

概念的限制 810

概念的扩大法 811

概念的具体性 811

概念的确定性 811

概念的下属关系 812

概括归纳推理 812

概念的上属关系 812

概念的缩小法 812

概念的主从关系 813

概念的同一关系 813

概念的从属关系 813

概念的包含关系 814

概念的全异关系 814

概念的发展变化 814

概念的全同关系 814

概念的属种关系 816

概念的相容关系 816

概念的辩证本性 816

概念的重合关系 816

概念的交叉关系 816

概念间的反对关系 817

概念间的矛盾关系 818

概念间的并列关系 818

概念间的对立关系 818

概念的部分重合关系 819

概念的包含于关系 819

概念的灵活性与确定性 819

概念的不相容关系 819

概念的客观性与主观性 820

〔丿〕 821

跳跃式划分 821

错误的抽样 821

暗含的前提 821

暗变论题 821

错误的推理 822

詹姆斯 822

错误的思维 822

简单反驳 823

简别 823

简单合取 823

鲍亨斯基 823

简单析取 824

简单证明 824

简单类比 825

简单命题 825

简单换位 825

简单判断 825

简易归纳法 826

简单概念 826

简单构成式 826

简单推理 826

简单破坏式 827

简单枚举归纳推理 827

滥有权威 828

滤子和模型的归约积 828

〔丶〕 828

谬误 829

窥基 829

数学逻辑 830

数理逻辑 830

《数学原理》 830

数学的证明 833

数学基础论 833

数学归纳法 833

《数理逻辑导论》 834

《数理逻辑基础》 834

数理逻辑符号体系 835

塞鲁斯 836

意义 836

意识 838

《新工具》 838

〔〕 839

辟 839

新柏拉图主义 839

静止 841

〔一〕 841

模型 841

十四画 841

模拟法 842

摹状词 843

模型论 844

模态判断 845

模态推理 846

《墨经》 846

模态三段论 849

模型完全理论 849

模棱两可 849

模型的初等类 850

模型的基础初等类 850

模态判断的对当关系 850

模态判断的矛盾关系 851

模态判断的差等关系 851

模态逻辑的克雷普开模型 851

算法论 853

算术解释方法 853

赫舍尔 853

〔丿〕 853

管子 854

《管子》 855

〔丶〕 855

端词 855

演绎反驳 856

演绎法 856

演绎 856

遮表 856

演连珠 856

演绎论证 857

演绎定理 857

演绎推理 857

演绎逻辑 858

演绎推理与归纳推理 858

演绎推理前提的真实性和形式的正确性 859

蕴涵式 862

蕴涵公理 862

十五画 862

〔一〕 862

蕴涵判断 863

幂集 863

墨子 863

《墨子》 864

墨家 866

墨辩 866

墨家三派 867

墨辩逻辑 867

《墨辩注》 867

德·摩根 869

德谟克利特 869

〔丿〕 869

德摩根定律 870

潜在的前提 871

颜元 871

〔丶〕 871

整体与部分 873

〔一〕 873

霍布斯 873

十六画 873

穆勒 874

《穆勒名学》 876

穆勒氏方法 876

辩护 877

辩才 877

辩驳 877

辩学 877

辩士 877

辩 877

〔丶〕 877

辩证矛盾 878

辩证逻辑 878

辩说 878

辩证的思维 880

辩证法的要素 882

辩证法的精髓 883

辩证法的发展观 884

辩证思维的形式 884

《辩证逻辑原理》 884

辩证逻辑的方法 886

辩证逻辑的作用 887

辩证的转化与非辩证的转化 888

辩证法、认识论与逻辑学的一致 888

〔〕 890

避角法 890

鳄鱼的悖论 891

擢 891

魔鬼的律师 891

十七画以上 891

I型判断 892

O型判断 892

E型判断 892

S就是P 892

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

A型判断 892

n元谓词 892

※ ※ ※ 892

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

э-前束范式 893

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

T型触发器 894

D型触发器 894

э-前束范式存在定理 894

K-J型触发器 895

R-S型触发器 895

莫斯托夫斯基 927