逻辑语义学研究_10329927

《逻辑语义学研究_10329927》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141

142

143

144

145

146

147

148

149

150

151

152

153

154

155

156

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175

176

177

178

179

180

181

182

183

184

185

186

187

188

189

190

191

192

193

194

195

196

197

198

199

200

201

202

203

204

205

206

207

208

209

210

211

212

213

214

215

216

217

218

219

220

221

222

223

224

225

226

227

228

229

230

231

232

233

234

235

236

237

238

239

240

241

242

243

244

245

246

247

248

249

250

251

252

253

254

255

256

257

258

259

260

261

262

263

264

265

266

267

268

269

270

271

272

273

274

275

276

277

278

279

280

281

282

283

284

285

286

287

288

289

290

291

292

293

294

295

296

297

298

299

300

301

302

303

304

305

306

307

308

309

310

311

312

313

314

315

316

317

318

319

320

321

322

323

324

325

326

327

328

329

330

331

332

333

334

335

336

337

338

339

340

341

342

343

344

345

346

347

348

349

350

351

352

353

354

355

356

357

358

359

360

361

362

363

364

365

366

367

368

369

370

371

372

373

374

375

376

377

378

379

380

381

382

383

384[GeneralInformation]书名=逻辑语义学研究作者=朱水林主编页数=368出版社=上海市：上海教育出版社出版日期=1992.08SS号=10329927DX号=000000328363URL=http://book.szdnet.org.cn/bookDetail.jsp?dxNumber=000000328363&d=65ADABFCD90BB8622D0C56849A527605

385封面书名版权前言目录第一章引言1．1逻辑语义学的涵义1．2沿革1．3发展1．3．1关于逻辑学方面的发展1．3．2关于哲学方面的发展1．3．3关于语言学方面的发展1．3．4关于人工智能方面的发展参考文献第二章弗雷格：逻辑语义学缘起2．1概述2．2概念文字及其解释2．2．1对形式语言的说明2．2．2对公式推导的解释2．2．3对演绎系统的解释2．3意义和所指2．3．1符号的意义和所指2．3．2专名的意义和所指2．3．3句子的意义和所指2．3．4概念的意义和所指2．4逻辑研究真2．4．1什么是真2．4．2如何研究真2．4．3为什么要研究真2．5弗雷格逻辑语义学思想评价2．5．1关于语形和语义2．5．2关于意义理论2．5．3关于专名2．5．4关于真参考文献第三章塔斯基的外延语义理论3．1概述3．2定义真性概念的目标、要求3．2．1目标3．2．2约定T3．2．3日常语言和人工语言3．2．4对象语言和元语言3．3类演算中真句子概念的语义理论3．3．1类演算语言3．3．2满足和真性概念3．3．3结论3．4评价3．4．1开创外延逻辑语义学3．4．2运用分析方法的典型3．4．3中立主义的真理论3．4．4朴素的唯物论和辩证法因素参考文献第四章卡尔纳普的外延内涵方法4．1卡尔纳普语义学思想的沿革4．1．1从逻辑语形学到逻辑语义学4．1．2从外延语义学到内涵语义学

3864．1．3引进内涵的必要性4．2外延内涵方法4．2．1真和L-真4．2．2语言表达式的双重意义——外延和内涵4．2．3各种语境中的可互换性4．2．4内涵同构4．3三个理论问题4．3．1对于内涵的成功的形式刻画4．3．2分析性定义的改进4．3．3内涵与内涵结构参考文献第五章克里普克的可能世界语义学5．1概述5．2可能世界语义学5．2．1基本思想5．2．2叠置模态和特征公理的语义分析5．2．3模型结构和模型5．2．4克里普克语义图5．2．5模态谓词逻辑语义学5．3讨论5．3．1克里普克的名字理论5．3．2关于可能世界语义学的一些哲学问题参考文献第六章蒙太古语法6．1概述6．1．1内涵和外延6．1．2内涵逻辑6．1．3范畴语法6．2PTQ语法6．2．1FE的语形学6．2．2IL的语形学6．2．3IL的语义学6．2．4从FE到IL的翻译6．3结束语参考文献第七章λ-演算与组合逻辑7．1概述7．2λ-演算的语言7．2．1基本符号7．2．2自由出现与约束出现，代入7．3λ-演算的语法7．3．1归纳与转换7．3．2Church-Risser定理7．3．3外延λ-演算7．4组合逻辑的语法7．4．1组合逻辑的组成7．4．2组合逻辑中的抽象运算7．4．3与λ-演算定理等价的组合逻辑的扩充7．4．4与外延λ-演算定理等价的组合逻辑的扩充7．5组合逻辑的语义7．5．1贴合结构7．5．2组合代数7．5．3λ-代数7．6λ-演算的语义7．6．1λ-演算的模型的定义7．6．2λ-演算的项模型

3877．6．3λ-演算的代数模型7．6．4λ-演算的泛函模型7．6．5λ-演算的连续映射模型7．6．6Engelerλ-模型7．6．7外延λ-演算的模型7．6．8具体的λ-模型参考文献第八章人工智能涉及的某些语义问题8．1什么是人工智能8．2一阶谓词逻辑的知识表示8．2．1一阶逻辑表示领域知识8．2．2语义演绎系统8．2．3子句演绎系统8．2．4Horn子句演绎系统8．3prolog语言及其指称语义和操作语义8．3．1演绎推理的实施机构——prolog语言8．3．2prolog逻辑程序的指称语义8．3．3prolog逻辑程序的操作语义8．4知识表示的其它方法8．5自然语言理解8．5．1理解的定义8．5．2单词的获取8．5．3句子的结构分析8．5．4句子的语义分析参考文献第九章语言学中的逻辑语义研究9．1概述9．2库珀与“语言—逻辑—体化科学理论”9．2．1语言自动装置9．2．2演绎逻辑与语义、语用9．2．3归纳逻辑与语义9．3预设逻辑9．3．1语义预设9．3．2超赋值9．3．3语用预设9．4结语参考文献〔附录〕逻辑语义学和论证逻辑体系的认识论前提