• 
  分次模态语言的模...
  ￥35.55元
• 
  一百囚徒与一个灯...
  ￥54.51元
• 
  奎因逻辑哲学研究
  ￥48.98元
• 
  结构证明论
  ￥69.52元
• 
  结构证明论（第二...
  ￥70.31元
• 
  弗雷格《概念文字...
  ￥132.72元
• 
  信念的模型与群体...
  ￥101.12元

弗雷格于1879年发表的《概念文字》标志着现代逻辑的诞生，被誉为逻辑史上的"哥白尼革命"。在这部著作中，弗雷格首次提出了一种完善的量化理论，创造了现代逻辑的形式系统，即一种由各种逻辑符号组成的形式语言和形式化公理系统，并且为了逻辑主义计划而把概念文字应用于数学基础问题，对数学中的序这个概念给出了逻辑的定义。本书对弗雷格《概念文字》中所涉及的基本思想、形式语言、逻辑演算和序列理论进行了详细介绍，并全文翻译了《概念文字》及六篇相关论文。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 目录
  丛书序
  前言
  第1章 普遍语言与理性演算 1
  1.1 《概念文字》的基本思想 1
  1.2 普遍语言 5
  1.3 形式化语言 7
  1.4 古典逻辑 10
  第2章 纯逻辑的形式语言 18
  2.1 判断 18
  2.2 条件性 23
  2.3 否定 27
  2.4 内容同一 31
  2.5 函数 34
  2.6 普遍性 36
  第3章 逻辑演算 45
  3.1 弗雷格的公理系统 45
  3.2 句子逻辑演算 50
  3.3 一阶函数演算 60
  3.4 二阶函数演算 64
  第4章 序列理论 66
  4.1 遗传性 66
  4.2 序列相继 69
  4.3 属于关系 76
  4.4 多对一关系 80
  附录A 概念文字：一种模仿算术的形式语言构造的纯思维的形式语言 89
  附录B 概念文字的应用 213
  附录C 论概念文字的科学根据 218
  附录D 论概念文字的目标 223
  附录E 布尔的逻辑演算与概念文字 232
  附录F 布尔的逻辑形式语言与我的概念文字 278
  附录G 论皮亚诺先生和我的概念文字 285