检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:董文媛[1]
机构地区:[1]西南大学政治与公共管理学院,重庆400715
出 处:《毕节学院学报(综合版)》2014年第10期34-37,共4页Journal of Bijie University
基 金:贵州省教育厅高校人文社会科学研究项目"克里普克的历史因果命名理论研究"研究成果之一;编号:10QN35
摘 要:由于自然语言在表达上的模糊与歧义,无法保证逻辑推理形式的准确性,造成了逻辑学与其他学科边界的模糊,弗雷格产生了构造一套纯思维形式语言的想法。他模仿算术语言构造"概念文字",避免了主词谓词的区分,消除了自然语言的模糊性,对命题逻辑与谓词逻辑进行形式化,分别构造了公理系统。"概念文字"实现传统逻辑向现代逻辑的华丽转身,促成了语言哲学和分析哲学的诞生。Because of the vagueness and ambiguity of natural language on its expression form of logical reasoning can not guarantee the accuracy, resulting in a fuzzy between logic and other disciplinary boundaries,Frege had the idea of constructing a formal language of pure thinking.He constructed the concept notation"by imitating the arithmetic language.This language avoid the distinction of subject and predicate, and eliminated the ambiguity of natural language.Then he formalized propositional logic and predicate logic and constructed their axiom system. Concept Notation achieved the turning from traditional logic to modern logic, and led to the birth of analytic philosophy and the philosophy of language.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.117.252.33