德国的数学家、逻辑学家，数理逻辑的奠基人之一。主要著作有《概念文字》、《算术基础》、《算术的基本规律》等。
弗雷格构造了命题演算的第一个公理系统。在他的系统中使用的基本联结词共有两个，否定和蕴涵，并对蕴涵作出了与日常语言不同的完全真值化的解释。他使用了下面六个重言式作为系统的公理：
P—→(q—→p)
(p—→(q—→r))—→(q—→ (p—→r))(q—→p)—→(乛p—→乛q)
乛乛p—→p
p—→ p
再根据两条变形规则，就可以推演出其他的重言式。
弗雷格把数学中的函数概念引入逻辑，建立了量词理论，使用了约束变元。在命题演算的公理基础上，他增加了下面三条公理
(x=y)—→(F(x)—→F(y))
x ...... （共623字） [阅读本文]>>
西方文化西方文化，是一个范围极大的概念。它包括西方的精神思想传统、价值伦理观念、文学艺术成就、意识形态理论、风俗礼仪系统、语言文字体系，等等。但是，一般意义上的西方文化，却是有一定的特指意味。它指的是具有西方特
西方文化指词项不同的类别。根据外延的情况不同，词项可分为普遍词项、单独词项和空词项。普遍词项是其外延至少包含两个对象的词项，如英国人、欧洲国家等等。单独词项是其外延仅仅包含一个对象的词项，如法国的首都，欧洲最高
西方文化在直言命题中，用相同的素材即主词和宾词相同而构成的A、E、I、O四种不同类型的命题，它们之间存在一种特定的真假关系。传统逻辑用一种四方图形来表示这种关系：这种图形就叫做“逻辑方阵”。它包括四种关系：反对
西方文化由直言命题所组成的一种推理形式，简称三段论。传统逻辑的三段论演绎体系是由亚里士多德创立的，在中世纪得以完善，现代的数理逻辑对三段论也作过专门的研究。三段论的结构一个直言三段论由三个直言命题所组成，其中两
西方文化指用交叉圆圈来表示词项间外延关系的一种图解。英国数学家和逻辑学家文恩(JohnVenn)1834—1923所发明。文恩对欧拉图作了改进，用一个矩形来表示论域，用“+”号标志有分子存在，用“-”号标志没有
上一篇