首页 > 《华东师范大学学报：哲学社会科学版》 > 2011年6期 > 演绎逻辑的真值语义和直观推理语义

演绎逻辑的真值语义和直观推理语义

在线阅读下载PDF 导出详情

摘要真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义。真值语义面临的主要问题是：逻辑联结词→、的真值解释,与对应的日常联结词＂如果,那么＂和＂当且仅当＂产生了距离。直观推理语义关注逻辑联结词→、的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵。使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想：有效的推理形式应普遍适用于各种场合的日常推理。

DOI 3j7o9www41/1081277

作者冯棉

机构地区不详

出处《华东师范大学学报：哲学社会科学版》 2011年6期

关键词命题逻辑谓词逻辑真值语义直观推理语义

分类 [文化科学][教育学]

出版日期 2011年06月16日（中国期刊网平台首次上网日期，不代表论文的发表时间）