《语言逻辑辞典》PDF下载

  • 购买积分:16 如何计算积分?
  • 作  者:张惠民主编
  • 出 版 社:北京/西安:世界图书出版公司
  • 出版年份:1995
  • ISBN:7506219492
  • 页数:505 页
图书介绍:

一元集 1

一阶语言 1

辞目笔画索引 1

一画 1

一一对应 2

一阶谓词逻辑 2

一符多音 3

一多关系 3

一一函顶 3

一般现在时 4

二阶谓词逻辑 5

二值函项 5

二画 5

二义性 5

人称 6

人机对话 7

人工语言 7

人类文化语言学 8

人类语言学 8

人工语言句法 9

人工智能 10

人工语言逻辑 10

人文主义逻辑 11

个体常项 12

个体符号 12

三画 12

三元组 12

个体 12

个体词 12

个体域 12

个体词项 12

个体概念 12

上属关系 13

上下文自由文法 13

个体变项 13

个体变体 13

上坐标词 13

上位比较 13

上位概念 13

上下文敏感文法 13

义素层 14

义素 14

下义关系 14

义丛 15

义句 15

义素分析法 15

大项 16

大词 16

义位 16

义符 16

义务逻辑 16

义务模态词 16

口语 16

口语词 16

子类 17

广义逻辑语义学 17

小词 17

小项 17

小主语 17

小品词 17

广义语境 17

广义谓词逻辑 17

子模型 18

子集 18

内涵逻辑 19

内涵 19

四画 19

内涵谓词 20

内涵同构 20

内涵语境 20

内涵类型 20

内涵定义 20

元语言 21

元素 21

内涵语法 21

内涵意义 21

内部语言 21

元逻辑 22

元元语言 22

元变项 23

元数学 23

无形态语言 24

无声语言 24

无限制文法 24

无岐义语言 24

无限阶语言 24

无限集 24

分析法 25

分立指代 25

分配律 25

分句 25

分说 25

分类语言学 26

分析型语言 26

分析树图形 26

公理集合论 27

公理系统 27

分析语言逻辑 27

公式 27

公文语体 27

公式语言 27

公理 27

风格学 28

计算机语言 28

计量语言学 28

从属联词 29

从属关系 29

风格意义 29

风格信息 29

开语句 29

开放项列 29

从句 29

从属句 29

反蕴涵关系 30

反证律 30

反问句 30

反语 30

反证法 30

反事实条件句 31

反身符号 31

专名 32

反射意义 32

文恩图解 33

认知模态 33

专名内涵 33

专名外延 33

专家语法 33

认识逻辑 33

比喻论证 34

比较修辞 34

比较语言学 34

比较语法 34

双重否定引入规则 35

双重否定 35

双关 35

双宾语句 35

习惯语法 36

双提多承 36

双重否定消去规则 36

双语 36

双语学 36

中心词分析法 37

中心词 37

允许命题 37

允许规范三段论 37

中项 37

中词 37

命题变项 (t 38

历史语言学 38

中心阶 38

中间语态 38

支命题 38

支配关系 38

方言 38

方言学 38

巴赫——彼德斯句 39

历史语义学 39

不定式 39

互克性原理 39

心理语言学 39

五元组 39

切分分析法 40

切分法 40

主语 41

五画 41

主句 41

主谓句 42

主格 42

主项 42

主词 42

主目 42

主从关系 43

主谓短语 43

主谓谓语句 43

主谓殊位 43

主观内涵 44

主从结构 44

主题意义 44

主观逻辑 45

主观模态 45

主范式 46

主动语态 46

对话结构 47

对话含义 47

对话规则 48

句子 49

对象语言 49

对立词项 49

对称模式化 49

对应系统 49

句法范畴 50

句类 50

句型 50

句法 50

句法学 50

句子成分 50

句友 51

句法结构 51

句法部分 51

句法一致性 51

句子词 51

句法成对词 51

句子模式 51

句式复合词 51

句群 52

可达性 53

可能世界 53

可见语言 53

可构成集 53

可思议性 54

可满足性 54

可描述性 54

可想望性 54

外延类型 55

外在语言 55

外向结构 55

外延 55

处延定义 55

处延性原则 56

外延意义 56

外延谓词 56

外延语境 56

列文森会话含义原则 57

外延性集合 57

外部语言学 57

古典格赖斯理论 57

生成语法 58

列举法 58

列举定义 58

生成转换分析法 59

生成语义学 59

本质属性 60

本元 60

归纳法 61

归纳 61

归纳论证 62

归谬法 62

归纳悖论 63

记号 64

归纳逻辑 64

归谬格 64

功能词 65

记叙文逻辑 65

必须命题 65

必须规范三段论 65

叹句 66

功能语法 66

功能语言学 66

代词化 66

代词疑问句 66

让步性从句 66

目的语 66

艾欧塔算子 67

节点 67

正词项 67

四元组 67

矛盾式 67

民俗语言学 68

并运算 69

六画 69

并集 69

存在 70

并列从句 70

存在量词 71

存现句 71

存在量词交换律 72

存在预设 72

共同语 73

共时语言学 74

有穷集 75

有序集 75

有序对 76

有限集 76

有序偶 76

有限阶语言 77

有序n元组 77

有定摹状词 77

有限状态文法 77

问句 78

有序蕴涵命题 78

问句逻辑 79

问域 80

问句的回答 81

问式 81

问句的回避 82

问句的可能回答 82

问题逻辑 83

问句的回绝 83

问句的真值 83

多值逻辑 84

多义词 84

多义现象 84

约束 85

多成分组合语 85

论证 86

约束变项 86

约束个体变项 86

约束个体变元 86

约定俗成 86

约定T 86

论说文逻辑 87

论题 87

论据 87

论证方式 87

全称量项 89

论域 89

论式 89

全集 89

全称蕴涵存在规则 90

全称例示规则 90

全称量词分配律 90

优合取范式 91

全称量词与存在量词相互关系定律 91

优范式 91

关系 92

优析取范式 92

关系词项 93

关联场 93

关系定义 94

关系命题 94

关系从句 94

关联词语 94

关系的主目值 95

关系运算 95

关系理论 95

关系逻辑 95

自由句 96

关系的函项值 96

关系轴心从句 96

关系轴心短语 96

自然语义 97

自由变项 97

自由变体 97

自由变异 97

自指命题 97

自由语素 97

自然语言逻辑 98

自然语言 98

成分分析法 99

同品 100

成分结构树 100

会话 100

同位语 101

同构 101

同化 101

同源 101

同族语言 102

同义性 102

同义表达式 102

同词异序 102

同位从句 102

名词短语 103

同形异义词 103

同源同形词 103

同义语定义 103

名物化 103

动词性谓语 104

名词谓语句 104

名词从句 104

似然推理 105

导出语法范畴 105

似然归纳推理 106

似然演绎推理 106

过去时命题 107

似然关系推理 107

过去时算子 107

交集 108

过去时恒常命题 108

交际准则 109

交类 109

交运算 109

交换律 109

交际语 109

合取式 111

合作原则 111

合式公式 111

合取词 111

合取范式 112

合取命题 112

机器翻译 113

合取消去规则 113

合取引入规则 113

传统逻辑 113

传统语法 113

休斯——克雷斯韦尔语义图 114

扩展式标准理论 114

观念论 115

协调式 115

决心蕴涵 115

写作语言学 116

行为论 116

阶和范畴语法 116

巧换格 116

形式词项 118

七画 118

形象思维 118

形式语言 118

形式文法 118

形容词从句 119

形式系统 119

形式逻辑 119

形素 119

形态学 119

形态同化 119

形态分析法 119

形态语义场 119

序偶 120

形容词谓语 120

形式蕴涵 120

严格蕴涵 120

序列 120

序列关系 120

时态命题 121

时态 121

时态词 121

时态语句 121

时态算子 121

时态逻辑 121

时态矛盾 122

时态命题真值 122

时态模态命题 122

时态推理 122

时态序列 122

言素语言逻辑 123

时间从句 123

言语 123

言语学 123

言语岛 123

言语交际 123

言语环境 123

言语合成 123

言语生成 123

言语交际学 123

言外之意 124

言语行为论 124

言语障碍 124

词 125

言不尽意 125

词序 126

词类 126

词素 126

词素分析 126

词项义涵 127

词库 127

词根 127

词根语 127

词项 127

词项逻辑 127

词位理论 128

词项指延 128

词项义素 128

词项族 128

系统论 129

词义转佳 129

词义转贬 129

系词 129

条件变体 130

系统语法 130

系统语言 130

条件式 130

条件关系 130

条件从句 130

条件时态 130

条件语句 131

条件逻辑 131

条件命题 131

补元律 132

条件合取原则 132

条件融合原则 132

状语从句 132

补类 132

补集 132

初等等价 133

补充短语 133

初始符号 133

初始公式 133

初始语符列 133

层次分析法 134

否定词 134

否定式 134

否定小品词 134

间接问句 134

层次 134

层次语法 134

连动式 135

把字句 135

应用语言学 136

应当命题 136

应用逻辑 136

命题演算 137

八画 137

命题 137

命题逻辑 137

命题态度 138

命题联结词 138

命题变元 138

命题关系 139

命题函项演算 139

命题模态 139

命令句逻辑 139

命名论 140

诡辩 141

罗素悖论 141

诡辩术 142

诡辩论 142

范畴 143

表达语言逻辑 143

表层结构 143

表达式 143

表达手段 143

表达职能 143

隶属度 144

范畴符号 144

范式 144

范畴语法 144

范畴化 144

范畴部分 144

实指定义 145

实集 145

隶属函数 145

实质蕴涵 146

实在指代 146

非语法受定蕴涵 147

非语义修辞 147

非空类 147

非主谓句 147

非聚合词项 148

非模糊词项 148

非语谓行为 148

规范词 149

规范命题 149

规范逻辑 149

事实预设 150

规范问句 150

规范语法 150

规范模态词 150

事物定义 151

事实问句 151

事实模态 151

空设格 152

空量化 152

事理矛盾 152

空类 152

空集 152

空约束 152

析取引入规则 153

析取范式 153

析取词 153

析取命题 153

转换形式 154

转换规则 154

析取消去规则 154

单义词项 155

单独词项 155

转换生成语法 155

图灵机 156

述宾短语 156

述语 156

述题 156

使动用法 157

使用论 157

图形符号 157

抽象思维 157

态势语 157

垂悬分词结构 157

定义 158

定语后置 159

定语从句 159

屈折语 160

孤立语 160

定向小品词 160

定向结构 160

限制性语言 161

限制格 161

限定词 161

限制性结构 162

省略句 163

贬义词 163

歧义表达式 164

歧义句 164

省略表达式 164

话题链 165

话题 165

祈使句 165

祈求语气 165

构形法 166

构词法 166

话题结构 166

话语 166

话语分析法 166

现在时算子 166

受上下文制约的语法 167

受事 167

直接问句 167

直接成分分析法 167

性质符号 167

法则符号 167

变元 168

变体 168

变位 168

终端语符列 169

终端成分 169

变形规则 169

社会语言学 170

建构语言学 170

语言 171

九画 171

语言政治学 173

语言规划学 173

语言地理学 173

语言年代学 173

语言实用学 173

语言人口统计学 174

语言语义学 174

语言类型学 174

语言心理学 175

语言人类学 175

语言成分结构学 175

语言交际性 176

语际语言学 176

语言生态学 176

语言风格学 176

语言符号性 177

语言指谓性 177

语言真值 178

语言能力 179

语言风格 179

语言形式 179

语言工程 179

语言习得 181

语言游戏论 181

语言变体 182

语言规划 182

语言分化 182

语言哲学 184

语言科学 184

语言学派 184

语言界线 184

语言逻辑 186

语音 187

语言借用 187

语言集团 187

语言障碍 187

语音溶合 188

语音感知 188

语音变位 188

语音神入 188

语音象征 188

语音岐义 189

语流音变 189

语音演变 189

语音物化 189

语句连结词 190

语句学 190

语句 190

语句的简单结构 191

语句变项 191

语句函项 191

语法 192

语句的嵌套结构 192

语句的复合结构 192

语法学 193

语法范畴 194

语法体系 194

语法形式 194

语法单位 194

语法意义 195

语法手段 196

语法翻译法 196

语法性别 196

语法词 197

语法语言 197

语法量词 197

语法歧义 197

语法受定蕴涵命题 198

语法对等词 198

语法化 198

语法项 198

语法主语 198

语形结构 199

语形逻辑 199

语形 199

语形学 199

语形范畴 200

语义 201

语义学 202

语义哲学 204

语义逻辑 204

语义值 204

语义对子 204

语义类型 205

语义结构 205

语义单位 205

语义变化 206

语义表达 206

语义预设 206

语义修辞 206

语义范围 206

语义场 207

语义成分 207

语义分析 207

语义虚化 208

语义蕴涵命题 208

语义三角关系 208

语义一致性 209

语义悖论 209

语义跳跃 209

语义闪避 209

语义矛盾 209

语义双边论 210

语义范畴的阶 210

语义完全性 210

语义标记 211

语义信息 211

语义层 211

语义扩展 211

语义专门化 211

语用学 212

语用 212

语义关系推理 212

语用分析 213

语用预设 213

语用逻辑 213

语境 214

语境定义 215

语气算子 216

语气 216

语表 217

语调形素 217

语调 217

语调学 217

语段 218

语里 218

语词 219

语素变体 219

语群 219

语素 219

语素学 219

语词指号 220

语词定义 220

语符 221

语词变体 221

语词歧义 221

语支 222

语系 222

语符学 222

语符列 222

语态 223

语轴 223

语域 223

语界 223

语图 223

语调岐义 224

语效活动 224

指号学 225

指号 225

语文学 225

语体 225

指号体系 227

指称论 228

指称 228

指号情境 228

指派函项 229

指称式 229

音位 230

音素 230

指示词 230

指代 230

结构 231

音位变体 231

结构主义 232

结构词 232

结构语言学 233

结果从句 234

结合律 234

结构语义学 234

结构描写 234

结构摹状名称 234

结合变体 234

科学语法 235

科学逻辑 235

科学抽象 235

信息论 236

信息 236

信念句 237

信息逻辑 237

信息内容 237

信念逻辑 238

信息逻辑系统 239

信息符号 239

信息语言 239

将来时命题 240

将来时 240

恒常将来时 241

将来时态命题的真值 241

狭义语境 242

重言 243

重构 243

狭义谓词逻辑 243

狭义谓词演算 243

狭义模态逻辑 243

重言等值式 244

重言蕴涵式 244

重言式 244

派生 245

重音符号 245

重迭量词 245

重复约束 245

重读法 245

重音系统 245

重音单位 245

派生句 246

派生词 246

派生语法范畴 247

派生构词法 247

复句 248

复合词 249

复合句 249

复合谓词 250

复合主语 250

复指 250

复杂问语 251

复合谓语 251

复合推理 252

复合转义 252

复杂词项 252

复合命题 253

荷恩等级关系 254

背景蕴涵命题 255

背景知识 255

项 256

说谎者悖论 256

轴心词 256

类型学 257

项义差 257

类符 257

标准化 258

类型语言 258

标记 258

客观逻辑 259

标准语 259

标准理论 259

客观内涵 260

客观世界 260

客观模态 260

选言法 261

括号 262

选言问题 262

选择问句 262

括号分析法 263

括号名称 263

陈述语气 264

陈述句 264

显示定义 265

衍推 265

施事 265

树形图 267

说明文逻辑 267

界说 268

封闭系统 268

前提意义 268

统计语言学 269

神经语言学 269

洋泾浜语 269

思维 270

思维形式结构 271

思维形式 271

思维的基本规律 272

思维矛盾 273

思维方式 273

思维科学 274

思维一贯性 275

思维确定性 275

思维无矛盾性 276

思辨哲学 277

思维论证性 277

思辨语法 278

函数 279

函子 279

映射 279

函项范畴 280

函项 280

函子语法范畴 281

函子表达式 281

函项值域 281

函项运用规则 281

种类预设 282

种差 282

美化算子 282

相关逻辑 283

相关标记 283

相关性 283

相关衍推 284

相似度 285

修辞价值 286

修辞格 286

修辞 286

修饰语 286

修辞学 286

修辞句法学 287

修辞时代性 287

修辞变体 287

修辞结构 287

修辞聚合 287

修辞阶级性 287

修辞社会性 287

是否问句 288

是非问句 288

修辞词汇学 288

独词句 288

独立语 288

欧拉图解 288

差运算 289

差集 289

真值表 290

真值 290

十画 290

真值条件 291

真值形式 291

真值模态 292

真值条件论 292

真值蕴涵 293

真值函项 293

真值联结词 294

真值预设 294

哲学逻辑 295

真实定义 295

哲学语义学 296

哲学语法 296

索引符号 297

索引句 297

哲学语言学 297

索绪尔语言学 298

索引表达式 298

索引词语 298

预设 299

兼语句 300

兼语式 300

预设真值 300

被动语态 301

“被”字句 301

被动句 301

原始递归函数 302

原子语句 302

被定义项 302

原子命题 302

悖论 303

递归定义 304

递归论 304

递归 304

紧缩复句 305

顿悟思维 305

递归函数论 305

特指问句 306

离散数学 306

控制论逻辑 308

控制器 308

十一画 308

控制论 308

推理形式 309

推理 309

推论 309

推理有效性 310

推理结构 310

虚假理由 311

虚构词 311

理论思维 311

理发师悖论 311

逻辑 312

虚拟语境 312

虚拟语气 312

逻辑真理 313

逻辑真值 313

逻辑学 313

逻辑语形学 314

逻辑语义学 314

逻辑形式 315

逻辑语用学 315

逻辑常项 316

逻辑推理 316

逻辑语音 316

逻辑量项 317

逻辑联结词 317

逻辑变项 317

逻辑主语 317

逻辑辞格 318

逻辑指代 318

逻辑小品词 319

逻辑方阵 319

逻辑矛盾……(318 )逻辑悖论 319

逻辑差 320

逻辑积 320

逻辑后承 320

逻辑和 320

逻辑范畴 321

逻辑主义 321

逻辑代数 321

族词项 322

逻辑思维 322

逻辑重音 322

描写语言学 323

描写语法 323

族际语 323

描写法 323

基本词汇 324

基本语法范畴 324

描写语义学 324

基元律 324

基本范畴 324

基础语言逻辑 325

基础规则 325

基本置换定理 325

基本真值联结词 325

基础形式 325

谓词 326

深层语法……(326 )深层结构 326

谓词演算 327

谓词逻辑 327

谓项 327

隐含前提 328

隐语 328

谓语形容词性结构 328

粘着型语言 329

粘着语素 329

隐含结构 329

粘着 329

粘附形式 329

第一不定式 330

第二级语言 330

第一语言 330

第一级语言 330

第二语言 330

第三人称祈使句 331

第三人称命令句 331

第二不定式 331

第一所有格 331

第二所有格 331

象征符号 332

第二性话语信息量 332

第一性话语信息量 332

假言易位 333

假设从句 333

偶性指代 333

假说 333

谋篇 334

情境题旨 334

章法 334

偏正短语 335

综合复合词 335

盒形图 335

盒式分析法 335

教学语法 335

符号逻辑 336

符号学 336

符号 336

符号语言 337

笛卡儿积 338

符号系统 338

联想意义 339

联想算子 339

十二画 339

联项 339

联结词 339

联想意义符 340

联合句群 340

联结词逻辑 340

等值 341

等词 341

联珠句 341

联系——问句 341

联合短语 341

等值消去规则 342

等价命题 342

等价 342

等值词 342

等值式 342

等价单位 342

等值关系 342

量词辖域 343

集合 343

等值引入规则 343

等值公理 343

集 343

集合的元素 344

集合论 344

集合体 345

集合的运算 345

集中化算子 345

量词 346

集合的并 346

集合的交 346

集合的差 346

集合的补 346

量词逻辑 347

量项 347

量词移置律 348

量词交换律 348

量化式 348

属加种差定义法 349

属性 349

量子逻辑 349

普通语言学 350

普通逻辑学 350

普遍词项 350

普遍指代 350

普通语法 351

普通语义学 351

短语结构语法 352

短语结构规则 352

普通语态 352

短语 352

散漫化算子 353

赋值 353

编码 353

编码信息 353

搭配意义 353

道义逻辑 354

强推格 354

道义算子 355

道义词 355

意义公设 356

意元符号 356

十三画 356

意义 356

意符 356

意元学 356

意义三元论 357

意义理论 357

意合法 357

意图准则 357

意义语境论 358

意义对应论 359

简单命题 360

简单词项 360

意义参照论 360

意义关系 360

意义单位 360

意合连结 360

简单过去时 361

简单时态 361

简单指代 361

概率 362

概括 362

简单完成时 362

简化真值表 362

概念论 363

概念 363

禁忌语 364

概念转换 364

概念意义 364

概念语法 364

暗变论题 365

感叹意义 365

禁止命题 365

禁止规范三段论 365

禁用语法 365

感叹句 365

谬误 366

暗转格 366

暗含前提 366

数理语言学 367

数理逻辑 367

嵌入句 368

嵌入 368

微观语言学 368

解释语义学 368

新格赖斯理论 368

辞格算子 369

填空问句 369

填充词 369

模糊集合 370

模糊性 370

十四画 370

模糊函数 371

模糊子集 371

模糊测度 372

模糊预测 373

模糊控制 374

模糊聚类 375

模糊语言 376

模糊信息 376

模糊文法 377

模糊语音 377

模糊修辞 378

模糊语言变量 379

模糊语言算子 380

模糊概念 381

模糊推理 382

模糊命题 382

模糊语义 383

模糊条件语句 383

模糊句义 385

模糊词项 386

模态词 387

模糊逻辑 387

模态逻辑 388

模态推理 389

模态命题 389

模态算子 389

模态词项 389

模态语句 391

模态语义图 392

模态矛盾 392

模态方阵 392

模态逻辑演算 393

模型化 394

模型 394

摹状词 395

模型论 395

算法语言学 396

算符逻辑 396

算子 396

演绎反驳 397

演绎证明 397

演绎逻辑 397

演绎推理 397

疑问句 398

聚合复合词 398

演说语言 398

聚合词项 398

辖域 399

疑问词 399

疑问式 399

副语言学 400

谱系分类法 400

随机性 400

题设 400

谱系树 400

蕴涵词 401

蕴涵 401

十五画 401

蕴涵引入规则 402

蕴涵消去规则 402

蕴涵式 402

蕴涵公理 402

蕴涵命题 402

潜逻辑 403

蕴涵怪论 403

褒义后缀 404

褒义词 404

潜词 404

潜在信息 404

潜在前提 404

幂集 404

篇章结构 405

德·摩根律 405

辩证逻辑 406

十六画 406

辩证思维 407

操作定义 408

凝缩结构 408

辩证矛盾 408

凝缩表达式 408

S2系统 409

S1系统 409

符号 409

S3系统 410

S4系统 411

L等值 412

S5系统 412

T系统 413

X—问句 413

Wh—问句 413

TG语法 414

塔斯基形式语言真理论 415

理论与学派简介哥德尔不完全性定理 415

蒙塔古语法 416

图灵机与图灵论题 417

图灵判定问题 418

形式语用学理论 419

布拉格学派 420

美国描写语言学派 421

哥本哈根学派 421

结构主义学派 422

转换生成语法学派 422

逻辑主义学派 423

日常语言学派 423

直觉主义学派 424

形式主义学派 425

麦加拉——斯多葛学派 426

弗兰西斯·培根与《新工具》 427

人物与论著简介亚里士多德与《工具论》 427

罗素与《数学原理》 428

索绪尔与《普通语言学教程》 428

卡尔纳普与《语言的逻辑句法》 429

莫里斯与《指号理论的基础》 429

詹斯·奥尔伍德等与《语言学中的逻辑》 430

阿尔诺和尼科尔与《波尔·罗亚尔逻辑》 431

皮尔斯与《作为指号学的逻辑,关于指号的理论》 431

阿尔诺和朗斯洛与《波尔·罗亚尔语法》 432

奥格登与《意义的意义》 433

塞尔与《言语行为》 433

哥德尔与《逻辑谓词演算公理的完全性》 434

奥斯汀与《论言有所为》 434

斯特劳森与《逻辑理论导论》 435

布龙菲尔德与《语言论》 436

塔尔斯基与《形式语言中的真理概念》 436

维特根斯坦与《逻辑哲学论》 437

图灵与《论可计算数及其在判定问题上的应用》 439

索莫尔斯与《自然语言逻辑》 440

蒙塔古与《形式哲学》 440

查德与《模糊集合》 442

弗雷格与《论涵义和指称》 444

弥尔与《逻辑系统》 445

乔姆斯基与《句法结构》 446

莱科夫与《语言学和自然逻辑》 447

麦考莱与《语言学家总想知道而又羞于去问的逻辑知识》 447

泰尼埃尔与《结构句法基础》 449

叶斯柏森与《语法哲学》 449

刘易斯与《符号逻辑概观》 450

霍布斯与《逻辑学》 450

克里普克与《命名与必然性》 451

刘易斯与《意义的方式》 451

莱坎与《自然语言里的逻辑形式》 452

库宾斯基与《问句逻辑理论概要》 452

王维贤、李先焜、陈宗明与《语言逻辑引论》 453

袁野等与《语言逻辑》 454

马佩等与《语言逻辑基础》 454

王方名、张兆梅、张帆与《说话写文章的逻辑》 455

陈宗明与《现代汉语逻辑初探》《逻辑与语言表达》 455

墨子与《墨经》 456

荀子与《正名篇》 459