|
|||||
|
|
| 演绎逻辑的真值语义和直观推理语义 | |
| 引用本文： | 冯棉.演绎逻辑的真值语义和直观推理语义[J].华东师范大学学报(哲学社会科学版),2011(6). |
| 作者姓名： | 冯棉 |
| 作者单位： | 华东师范大学哲学系,上海,200062 |
| 基金项目： | 国家社会科学基金，教育部人文社会科学重点研究基地重大项目 |
| 摘 要： | 真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义.真值语义面临的主要问题是:逻辑联结词→、(一)的真值解释,与对应的日常联结词“如果,那么”和“当且仅当”产生了距离.直观推理语义关注逻辑联结词→、(一)的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵.使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想:有效的推理形式应普遍适用于各种场合的日常推理. |
| 关 键 词： | 命题逻辑 谓词逻辑 真值语义 直观推理语义 |
| 本文献已被 万方数据 等数据库收录！ | |