《逻辑学小辞典》求取 ⇩

前言页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是(或不是)P38

〔丿〕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是P79

〔丿〕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,所以q120

因人废言120

同一律121

同一与差异122

伪证123

众心一致的论证123

〔丿〕123

多值逻辑124

多主一宾判断125

多出子项划分126

多数是S是(或不是)P126

多主多宾判断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都是P284

〔〕284

既然P，那么q285

绝对主义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一般的是(或不是)P421

S个别的是(或不是)P421

S就是P421

S基本上是(或不是)P422

э-前束范式422

汉语拼音索引423

亚里士多德的联锁法1111