图书介绍

逻辑学辞典2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

《逻辑学辞典》编辑委员会编著
出版社：长春：吉林人民出版社
ISBN：2091·51
出版时间：1983
标注页数：896页
文件大小：34MB
文件页数：941页
主题词：逻辑(学科: 词典)

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：66618e912bf86d457fffad0955d194c3

下载说明

逻辑学辞典PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

（文件页数要大于标注页数，上中下等多册电子书除外）

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

图书目录

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

贝特可以定义性定理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是P155

叶适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,所以q235

因人纳言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是(或不是)P250

多出子项划分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