丰 rAO 國@☒级2双 哥特洛布·弗雷格( 1848-1925) 9咒 弗雷格是德国耶拿大学数学 教授，在耶拿平静地度过 生，主要著作有： 9咒 《概念文字》(1879)； 8咒 《算术基础》(1884)； 咒 《算术基本法则》（第一卷 1893;第二卷，1903)
哥特洛布·弗雷格（1848-1925）
丰 rAO 國②级2双 形式语言 《概念文字》的副标题是“一种 摹仿算术语言构造的纯思维的形 式语言”。 呢格哲学论著这辑 粥 他认为日常语言的不完善性在于 装华客特有 语法关系复杂，不服从逻辑规则 不能表达精确的意义，不能进行 严格的推理。亚里斯多德用传统 逻辑规范语言形式失败的根源在 00 盖发地有能 于主谓逻辑。因此，需要发明形 式语言
形式语言
rAO 國②☒级2双 命题函项 光 按照传统逻辑，命题 “第欧根尼是人”被分析为主 词“第欧根尼”和谓词“人，宙系动词“是”联 结而成。 咒 按照弗雷格的分析，这个命题应被分析为命题函项 “x是人”和x的值“第欧根尼”这样两部分。 8粥 弗雷格还把自然语言的联词形式化为逻辑联词符号。 这些符号是： 咒 1.表示析取关系(“和”)的符号或∩ 粥2.表示合取关系(“或”)的符号U 3.表示蕴涵关系（如果，那么）的符号→或 光 4表示等同关系（“等于”)的符号=或= 6 5.表示否定关系的符号7 命题的真值：正确T,错误F。 普遍量词∀(x):V(x)F(x); 9咒 存在量词3(x):3(x)G(x)
命题函项
版AB 或级2双 自然数的定义 趋生县袋生不情大全粉活留果2灵繁 弗雷格认为， 件地等同于类，而是可以从逻辑上加以限定的类。 粥 从逻辑上看，一切事物可以分为两大类：一类是自身相等同的 事物，另二类是写自身不相等同的事物。 弗雷格把数目0定义为“一切与自身不相等同的事物的类”，相 当于“空集” 咒 数目1定义为“一切与0相等同的类所组成的类”， 数目2定义为 切与0相等同的类和一切与1相等同的类所组成的类”，依 次类推 弗雷格的依次定义的序列设定了自然数序列的无限性，但是设 定本身却是无法证明的，称为“无限性公理” 咒 更为严重的是，在“等同”和“非等同”的逻辑区分被运用于 类”的情沉下，还会产生逻辑悖论
自然数的定义
rA 或☒网2双 罗素：二十世界最伟大哲学家 贝特兰罗素(1872- 1970)是分析哲学的 创始人，20世纪闻名 世界的哲学家与社会 活动家。他与柏格森 加缪是获得诺贝尔文 学奖的少数专业哲学 家
罗素：二十世界最伟大哲学家