《实用逻辑学词典》求取 ⇩

总论1

逻辑1

逻辑学1

论理学3

名学3

辩学4

形式逻辑4

普通逻辑4

辩证逻辑5

数理逻辑6

现代逻辑7

非经典逻辑8

中国逻辑史8

西方逻辑史9

因明10

思维形式11

逻辑形式11

逻辑错误11

普通逻辑13

属性13

本质属性13

概念14

非本质属性14

语词15

内涵15

内包16

外延16

外包17

真实概念17

虚概念17

概念的种类17

空概念18

集合概念18

逻辑思维18

单独概念18

普遍概念18

非集合概念19

具体概念19

实体概念20

抽象概念20

属性概念20

肯定概念20

正概念20

否定概念20

文恩图解21

欧拉图解21

负概念21

概念间的关系22

相容关系23

同一关系23

交叉关系24

前件存在规则24

全同关系24

重合关系24

部分重合关系25

属种关系25

从属关系25

真包含关系25

真包含于关系26

包含关系26

包含于关系26

不相容关系26

矛盾关系27

全异关系27

排斥关系27

反对关系28

对立关系29

并列关系29

交叉概念30

矛盾概念30

下位概念30

种概念30

上位概念30

同一概念30

属概念30

并列概念31

同位概念31

集合31

反对概念31

集合的求补运算32

定义32

集合的差运算32

集合的并运算32

集合的交运算32

集合的推演32

被定义项33

定义项33

定义联项34

真实定义34

实质定义34

语词定义34

古代辩论术35

属加种差定义法35

功用定义36

种36

关系定义36

属36

发生定义36

种差36

性质定义36

定义规则37

定义过宽38

同语反复38

循环定义38

定义过窄38

定义不清39

以比喻代定义39

类似定义的方法39

划分40

连续划分41

一次划分41

划分的根据41

划分的子项41

划分的母项41

划分规则42

二分法42

多出子项43

划分过宽43

划分不全43

划分过窄43

子项不穷尽43

子项相容44

混淆根据44

越级划分44

分类44

概念的限制45

分解45

概念的限定46

概念的概括46

概念的制限46

判断47

命题48

判断与语句49

判断的分类50

判断恰当50

判断常项51

判断变项51

简单判断52

性质判断52

直言判断52

属性判断52

主项52

联词53

谓项53

量项53

联项53

系词53

宾词53

主词53

周延怪54

肯定判断55

否定判断55

全称判断56

特称判断56

单称判断57

全称肯定判断57

全称否定判断57

自语相违57

特称肯定判断58

单称肯定判断58

特称否定判断58

相同素材的判断59

单称否定判断59

性质判断的真假59

性质判断的对当关系60

逻辑方阵61

对当61

逻辑正方形62

上反对关系63

下反对关系63

差等关系63

恰当的性质判断63

矛盾关系判断64

反对关系判断64

关系判断64

对称性关系65

反对称性关系65

关系项65

关系者项65

传递性关系66

反传递性关系66

非对称性关系66

非传递性关系67

恰当的关系判断67

复合判断67

肢判断68

联结项68

逻辑值68

联言判断68

联言判断逻辑值69

联言判断的语言表达形式70

恰当的联言判断71

相容选言判断72

不相容选言判断72

选言判断72

选言肢72

恰当的选言判断73

假言判断74

条件判断75

前件75

后件75

充分条件假言判断75

充分条件76

必要条件假言判断76

必要条件77

充分必要条件假言判断77

充分必要条件78

恰当的假言判断78

负判断79

等值判断79

负判断的等值判断80

推理82

多重复合判断82

推理形式83

推理的种类84

演绎推理84

归纳推理85

类比推理86

依据对当关系而进行的直接推理87

直接推理87

必然性推理87

间接推理87

或然性推理87

依据判断变形而进行的直接推理89

换位法89

换质法89

换质位法90

三段论90

三段论的公理91

三段论的格92

三段论的式93

三段论的一般规则94

四词项错误94

小项扩张的逻辑错误95

大项扩张的逻辑错误95

中项不周延的逻辑错误95

三段论的有效性96

三段论各格的特殊规则96

三段论的省略式97

联言推理98

选言推理98

不相容选言推理99

相容选言推理99

充分条件假言推理100

假言推理100

必要条件假言推理101

充分必要条件假言推理102

假言易位推理103

充分条件假言易位推理103

假言联锁推恐104

必要条件假言易位推理104

充分条件假言联锁推理105

必要条件假言联锁推理105

混合条件假言联锁推理106

假言联言推理106

二难推理107

简单构成式二难推理107

简单破坏式二难推理108

复杂构成式二难推理108

复杂破坏式二难推理109

关系推理109

直接关系推理110

间接关系推理110

纯关系推理110

混合关系推理111

反传递性关系推理112

对称性关系推理112

传递性关系推理112

反对称性关系推理112

完全归纳推理113

不完全归纳推理114

简单枚举归纳推理114

科学归纳推理116

穆勒五法116

求同法116

求异法117

求同求异并用法118

共变法120

剩余法121

同类类比推理122

异类类比推理122

假说122

形式逻辑的基本规律123

同一律124

混淆概念125

偷换论题125

转移论题125

偷换概念126

矛盾律126

逻辑矛盾127

排中律128

两不可129

充足理由律129

虚假理由130

推不出130

逻辑论证131

论题132

论据132

论证方式133

证明134

反驳134

直接证明135

归纳证明135

演绎证明135

反证法136

间接证明136

选言证法137

喻证法137

直接反驳138

间接反驳139

独立证明法139

归谬法139

论证的规则140

预期理由141

循环论证141

以人为据141

诉诸权威142

人身攻击142

诡辩143

诉诸无知143

辩证逻辑145

逻辑学、辩证法与认识论的统一145

客观逻辑与主观逻辑147

悟性逻辑147

理性逻辑148

悟性148

理性149

二律背反150

客观辩证法与主观辩证法151

思维辩证法151

辩证思维152

辩证思维的基本矛盾153

辩证思维的基本规律153

逻辑矛盾与辩证矛盾155

辩证矛盾156

理论思维156

抽象同一性与具体同一性156

具体同一性156

抽象思维157

全面性观点157

发展性观点158

实践性观点159

具体性观点160

方法161

方法论161

辩证思维中的分析法163

辩证思维方法163

辩证思维中的综合法164

分析与综合相统一的方法164

辩证思维中的比较法165

辩证思维中的归纳法166

定性与定量方法166

辩证思维中的演绎法167

归纳与演绎相统一的方法167

归纳—演绎—扫纳模式168

归纳主义169

演绎—归纳—演绎模式169

逻辑的顺序170

演绎主义170

逻辑的方法170

历史的方法171

历史的顺序171

逻辑的与历史的相统一的方法172

科学抽象法173

具象法173

抽象与具体174

抽象的规定174

具体的再现175

从抽象上升到具体的方法175

逻辑的起点177

逻辑的中介177

上升178

逻辑的终点178

中介179

具体—抽象—具体179

抽象概念与具体概念180

有与无181

存在论—本质论—概念论181

多种规定性的统一182

具体概念的辩证本性182

具体概念的内涵与外延183

具体概念的确定性与灵活性183

具体概念的抽象性与具体性184

具体概念的主观性与客观性184

具体概念的普遍性与特殊性184

辩证思维中的判断185

具体概念的形成与发展185

判断的辩证法186

质的判断186

反思的判断187

必然的判断187

概念的判断188

辩证思维中的推理188

推理的辩证法189

质的推理190

反思的推理190

科学理论的形成191

科学理论191

必然的推理191

科学理论的功能193

科学理论的结构194

科学预见195

科学解释195

验证196

假说演绎法197

确证198

证伪198

证实198

观念199

理念199

绝对理念200

正题反题合题200

逻辑范畴201

逻辑范畴体系202

固定范畴与流动范畴202

个别与一般203

本质与现象204

内容与形式205

必然性与偶然性205

部分与整体206

肯定与否定207

真理207

主体与客体208

实践209

认识209

数理逻辑211

人工语言211

对象语言和元语言211

命题逻辑212

联结词的逻辑212

简单命题212

复合命题212

命题变元213

真值213

命题变项213

真值联结词213

真值形式214

真值表215

否定式216

合取式216

析取式217

蕴涵式217

等值式218

重言式219

常真式219

永真式219

矛盾式219

简化真值表方法220

归谬赋值法220

永假式220

常假式220

命题演算的初始符号221

合式公式221

命题演算的形成规则221

命题演算221

命题演算的定义222

命题演算的公理系统222

命题演算的公理223

公理图式223

公理模式223

公理格式223

命题演算公理系统的变形规则223

命题演算的定理224

命题演算的代入规则224

分离规则224

命题演算导出的推理规则225

命题演算的自然推理系统225

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

命题演算自然推理系统的推演规则226

肯定前提规则226

肯定前提律227

传递规则227

传递律227

演绎推理传递规则227

蕴涵词消去规则227

蕴涵词消去律227

蕴涵词引入规则227

合取词消去律228

合取词引入规则228

合取词消去规则228

蕴涵词引入律228

合取词引入律229

析取词消去规则229

析取词消去律229

析取词引入规则229

析取词引入律229

否定词消去规则229

否定词消去律230

反证律230

否定词引入规则230

等值词引入规则231

否定词引入律231

归谬律231

等值词消去规则231

等值词消去律231

范式232

简单析取232

简单析取式232

合取范式232

等值词引入律232

简单合取233

简单合取式233

析取范式233

优范式233

主范式233

正则范式233

优合取范式233

正则合取范式234

优析取范式234

主合取范式234

正则析取范式235

谓词逻辑235

量词逻辑235

个体词235

主析取范式235

谓词236

量词236

谓词逻辑的公式236

自由个体变元和约束个体变元237

谓词演算的初始符号238

逻辑有效式238

谓词演算238

普遍有效式238

不可满足式238

谓词演算的定义239

谓词演算的公理系统239

谓词演算的公理239

谓词演算的形成规则239

谓词演算公理系统的变形规则240

谓词演算的代入规则240

后件概括规则241

约束个体变元换名规则241

谓词演算推演的语法规则242

约束个体变元易字规则242

谓词演算导出的推理规则242

谓词演算的定理242

约束个体变元改名规则242

谓词演算的自然推理系统243

谓词演算自然推理系统的推演规则243

全称量词消去规则243

全称量词消去律243

全称量词引入规则243

存在量词引入规则244

全称量词引入律244

存在量词消去律244

存在量词消去规则244

逻辑演算系统的无矛盾性245

前束范式245

存在量词引入律245

？一前束范式245

逻辑演算系统的相容性245

司寇伦范式245

逻辑演算系统的一致性245

逻辑演算系统的可靠性246

逻辑演算系统的完全性246

逻辑演算系统的完备性246

非经典逻辑247

模态逻辑247

规范逻辑247

多值逻辑249

相干逻辑249

道义逻辑249

反事实条件句逻辑250

非标准量化逻辑251

模糊逻辑252

弗晰逻辑253

构造逻辑253

应用逻辑253

相信逻辑253

信念逻辑254

断定逻辑254

优先逻辑255

时间逻辑256

控制论逻辑257

量子逻辑257

时态逻辑257

语言逻辑258

问题逻辑259

祈使逻辑261

问句逻辑261

命令逻辑263

现代归纳逻辑263

概率逻辑264

超协调逻辑265

模态命题266

可能世界266

模态词266

可能命题267

必然命题267

事物的模态和认识的模态268

模态方阵268

模态推理269

实然命题270

模态三段论271

规范命题271

必须命题272

禁止命题272

允许命题273

规范方阵273

规范推理274

名辩276

先序逻辑思想276

分析276

中国逻辑史276

两可之说277

孔子277

墨子277

惠施278

历物十事278

庄子278

公孙龙子279

白马非马279

公孙龙279

天下279

后期墨家280

墨经280

墨辩281

辩281

争彼281

不两可两不可282

名282

达名282

类名282

私名282

必283

假283

言尽谆，誖283

形貌之名283

或283

尽283

非形貌之名283

辞283

非诽者，誖284

学无益，誖284

说284

效284

推285

援285

侔285

辟285

止286

一周而一不周286

故286

理286

类286

三物287

荀况287

约定俗成288

推而别之288

制名枢要288

共名288

别名288

正名288

推而共之288

单名288

兼名288

参验289

三惑289

矛盾之说289

韩非289

王充290

推类290

类不可必推290

深察名号290

刘劭291

论衡291

难291

连珠291

譬喻291

疾虚妄291

真正是291

效验291

鲁胜292

刘徽292

汉传因明292

墨辩注叙292

玄奘293

窥基293

因明入正理论疏294

藏传因明294

宗喀巴295

王夫之295

萨班·庆喜幢295

辩士传序295

李之藻296

名理探296

严复296

比拟297

界说297

转词297

章炳瞬297

悬拟297

内籍297

外籀联珠297

内绷297

外帜297

章士钊298

逻辑指要298

先秦名学史298

《原名》298

金岳霖299

《逻辑》299

吕澂300

汪奠基300

王宪钧301

胡世华301

沈有鼎301

逻辑丛刊302

中国逻辑学会303

赫拉克利特304

古代逻辑304

西方逻辑史304

巴门尼德304

爱利亚的芝诺305

智者305

德谟克利特306

苏格拉底306

麦加拉学派307

柏拉图308

亚里土多德309

亚里士多德的《工具论》309

亚里士多德的四谓词理论310

亚里士多德的命题学说310

亚里士多德的十范畴310

亚里士多德的三段论311

亚里士多德的归纳和类推312

亚里士多德的非分析的理论313

亚里士多德的辨谬学说313

逍遥学派314

伊壁鸠鲁315

季蒂昂的芝诺315

斯多葛学派316

怀疑主义学派317

盖伦317

波伊提乌318

波菲利和他的树形图318

经院逻辑319

阿拉伯逻辑320

阿尔·铿迭321

阿尔·法拉比321

阿维森那322

彼得·阿伯拉尔322

大阿尔伯特322

西班牙的彼得323

逻辑纲要323

托马斯·阿奎那324

罗吉尔·培根324

邓斯·司各脱325

奥康的威廉326

逻辑大全326

威尼斯的保罗327

威廉·吉尔伯特327

指代理论328

非范畴词理论328

不可解命题329

推论学说330

弗兰西斯·培根331

人文主义逻辑331

新工具331

三表法332

笛卡尔332

霍布斯333

汉堡逻辑333

斯宾诺莎334

波尔—罗亚尔逻辑334

康德335

莱布尼茨335

先验逻辑336

马堡学派336

黑格尔337

大逻辑337

小逻辑338

密尔338

密尔求因果五法339

逻辑体系339

哈米尔顿339

实验逻辑339

德摩根340

布尔340

皮尔士341

康托尔342

弗雷格342

皮亚诺342

罗素343

怀特海343

逻辑主义派344

数学原理344

卢卡西维茨345

形式主义派345

希尔伯特345

布劳维尔346

直觉主义派346

维特根斯坦346

逻辑原子论346

逻辑实证论347

卡尔纳普348

塔尔斯基348

哥德尔349

不完全性定理349

王浩350

因明351

正理经351

古因明352

新因明352

八门、两益、二因353

能立、似能立354

能破、似能破354

现量、似现量354

宗355

比量、似比量355

遮诠356

全分356

一分356

似宗356

现量相违356

表诠356

俱不极成357

所别不极成357

能别不极成357

世间相违357

自教相违357

比量相违357

相符极成358

因358

同品358

异品358

同品三句358

异品三句358

九句因359

因三相359

似因359

不共不定360

共不定360

所依不成360

犹豫不成360

随一不成360

两俱不成360

同品一分转异品遍转361

异品一分转同品遍转361

俱品一分转361

相违决定361

法自相相违361

法差别相违362

有法自相相违362

有法差别相违362

喻362

似喻363

离作法363

合作法363

能立法不成364

所立法不成364

俱不成364

无合364

倒合364

所立不遣365

能立不遣365

俱不遣365

不离365

倒离365

全书词目笔画索引366

主要参考文献385