董文媛

作品数：2被引量：0H指数：0
导出分析报告
供职机构：山西农业大学信息学院更多>>
发文主题：概念文字弗雷格形式语言历史价值自然语言更多>>
发文领域：哲学宗教更多>>
发文期刊：更多>>
所获基金：中央高校基本科研业务费专项资金贵州省教育厅高等学校人文社会科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
甘岑后继式演算系统与其自然演绎系统的比较
《毕节学院学报（综合版）》2016年第3期66-71,共6页董文媛 
中央高校基本科研业务费专项资金一般项目"达米特直觉主义逻辑演绎研究";项目编号:SWU1609140
《逻辑演绎研究》("Untersuchungen über das Logische Schliessen")是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即"自然演绎"和"后继式演算"系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,...
关键词：自然演绎 后继式演算 逻辑演算系统 
弗雷格构造“概念文字”缘由、意义与历史价值
《毕节学院学报（综合版）》2014年第10期34-37,共4页董文媛 
贵州省教育厅高校人文社会科学研究项目"克里普克的历史因果命名理论研究"研究成果之一;编号:10QN35
由于自然语言在表达上的模糊与歧义,无法保证逻辑推理形式的准确性,造成了逻辑学与其他学科边界的模糊,弗雷格产生了构造一套纯思维形式语言的想法。他模仿算术语言构造"概念文字",避免了主词谓词的区分,消除了自然语言的模糊性,对命题...
关键词：概念文字 自然语言 形式语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部