| 一阶逻辑的内涵语义 |
| |
| 引用本文： | 熊明.一阶逻辑的内涵语义[J].湖南科技大学学报(社会科学版),2006,9(6):27-31. |
| |
| 作者姓名： | 熊明 |
| |
| 作者单位： | 华南师范大学,政治与行政学院,广东,广州,510631 |
| |
| 摘 要： | 熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。
|
| 关 键 词： | 一阶逻辑 外延语义 内涵语义 |
| 文章编号： | 1672-7835(2006)06-0027-05 |
| 修稿时间： | 2006年5月13日 |
An Intensional Semantics for First-order Logic |
| |
| XIONG Ming.An Intensional Semantics for First-order Logic[J].journal of hunan university of science&technology,2006,9(6):27-31. |
| |
| Authors: | XIONG Ming |
| |
| Abstract: | The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.But besides being characterized by the extensional semantics,first-order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities.Through the intensional interpretation,first-order language gets more close to the semantics of natural language,and is truly neutral to all kinds of subject matter. |
| |
| Keywords: | First-order Logic Extensional Semantics Intensional Semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
