图书标签: 数理逻辑  模型论  数学  逻辑学  元数学  逻辑哲学  逻辑  语言学   

喜欢 模型论基础 的读者还喜欢

• 
  Model Theory pdf epub mobi txt 电子书 下载
• 
  集合论基础 pdf epub mobi txt 电子书 下载
• 
  从逻辑的观点看 pdf epub mobi txt 电子书 下载
• 
  弗雷格哲学论著选辑 pdf epub mobi txt 电子书 下载
• 
  数学哲学 pdf epub mobi txt 电子书 下载
• 
  命名与必然性 pdf epub mobi txt 电子书 下载
• 
  集合论 pdf epub mobi txt 电子书 下载
• 
  数理逻辑 pdf epub mobi txt 电子书 下载
• 
  科学哲学的兴起 pdf epub mobi txt 电子书 下载
• 
  哲学逻辑 pdf epub mobi txt 电子书 下载

后面有一点吃力了……附录里非标准分析不错

我以前一直不理进为什么把数理逻辑也放到哲学的内容里。后来多翻一些书就明确感受到这些理论的方法论倾向了。很多的理论并不是数学上令人激动又闪光的思想，而更多是对已有方法的重新梳理。模型论的两大方向，一是稳定性理论，二是代数模型论。稳定性理论的基本框架就是根据基数对模型进行分类；代数模型论的基本思想是对具体代数结构进行语义学分析。这两部分内容其实都有着明确地后知后觉的倾向，所以如果有学生来问我该怎么选择方向。我会告诉他，如果对哲学兴趣更多些，可以选择数理逻辑的课程学一学。如果对数学和计算机更喜欢些，可以不看这方面的书籍。我想这也是这些年，数理逻辑的关注度在数学与计算机领域日渐式微的原因。纵观数学与计算机的历史，也很少有靠哲学来取得巨大成就的方法，其理论内部的思想才是其不断推进创新的源动力！

我以前一直不理进为什么把数理逻辑也放到哲学的内容里。后来多翻一些书就明确感受到这些理论的方法论倾向了。很多的理论并不是数学上令人激动又闪光的思想，而更多是对已有方法的重新梳理。模型论的两大方向，一是稳定性理论，二是代数模型论。稳定性理论的基本框架就是根据基数对模型进行分类；代数模型论的基本思想是对具体代数结构进行语义学分析。这两部分内容其实都有着明确地后知后觉的倾向，所以如果有学生来问我该怎么选择方向。我会告诉他，如果对哲学兴趣更多些，可以选择数理逻辑的课程学一学。如果对数学和计算机更喜欢些，可以不看这方面的书籍。我想这也是这些年，数理逻辑的关注度在数学与计算机领域日渐式微的原因。纵观数学与计算机的历史，也很少有靠哲学来取得巨大成就的方法，其理论内部的思想才是其不断推进创新的源动力！

@2017-08-31 20:57:04

脱胎于C.C.Chang的那本教材。