繁體 | 投稿 | RSS
  训导文集 圣教法典 信理神学 多语圣经 释经原则 圣经发凡 教义函授 慕道指南 弥撒总论 再 慕 道 同 根 生 剖析闪电
  天主教理 教理纲要 神学辞典 思高圣经 圣经注释 圣经十讲 神学词典 天主教史 礼仪问答 告解指南 辩护真理 圣月汇集
  梵二文献 神学论集 神学导论 牧灵圣经 圣经辞典 认识圣经 要理问答 祈祷手册 弥撒礼仪 大赦汇集 新答客问 宗教方志

您当前的位置:首页 > 下载 > PDF专区 > 哲学
子栏目导航:| 文献 | 神学 | 哲学 | 研究 | 圣经 | 历史 | 传记 | 灵修 | 辞典 | 其它 |
图书名称: 逻辑与演绎科学方法论导论
   
整理时间: 2009-05-18
   
  本站所上传之PDF文件不见得都符合基督信仰,上传之目的乃为资料参阅或供学者研究。
下载说明: 若您不确定适宜阅读,请在有经验的人指导下下载相应的图书!
  ⊙若您发现所下载的pdf图书存在缺页、扫描模糊等现象,请立即通知我们,或者在评论里留言说明。
  ⊙本站提供的这些PDF文件,如果无意中侵犯了作者或出版社的利益,请尽快通知我们,我们会在24小时之内撤下。
下载帮助: 发表评论 加入收藏夹 错误报告
 
图书简介: 关于和数学基础的危机相联系的问题,塔尔斯基在他的书中几乎没有谈到;在书中没有说明一系列数学基础原有的重要结果,例如,与形式化“语言”中“真理性”概念相关的结果或与演绎理论的“无矛盾性”和“完全性”的各种定义相关的结果。他觉得它们对于通俗的叙述过于困难,而他屡次强调,他的书只是个引论。作为引认,这本实在令人满意。书的开端已经很好;一开始,作者就阐明数学中的值和数学中使用的变数方法,而且立即讨论作为数学学科的特点的两种类型的公式:1.命题函项,和2.指示函项。也应当指出这种情形,就是作者成功地避免了在书中有过多的形式计算,而把相应的材料放到练习中去。当然,最后这一点是以读者能够做出所有附在每一章后面的练习,包括那些对于演算工具的构造原则上很重要的问题为先决条件的。这些练习中的多数是适当地选择和表述出来的,它们是这样的简单,的确使得读者能够独立地做出来。 本书的目的就是要向那些对现代数学有兴趣,而不曾实际参与它的工作的读者们,至少在数学发的第三个方面,即其在深度方面的成长提供一个最一般的观念。我的目的是要使读者熟悉一种名为数理逻辑学科的最重要概念,这门学科是为了把数学建立在更坚固、更深刻的基础上创造出来的;这一个学科,虽然它的存在只有短短的一个世纪,却已经达到了高度的完全性(kemin:何为完全性?完善?完美?)的水平,而且在我们的知识的总和中它中它今天所起的作用远远超越于其原定的范围。我的目的是要表明,逻辑的一些概念渗透到数学的整体中,它把所有的专门数学概念了解为特殊事例,并把逻辑规律恒应用于--自觉不自觉的--数学推理之中。最后,我试图提出构造数学理论的一些最重的原则--这些原则也构成另外一种学科、数学方法论的主题--并指明臬在实际上着手应用这些原则。
下载地址: [ 下载地址1 ]  (用鼠标左键直接点击下载地址)  下载次数:
   
相关图书: 无相关信息
发表评论
用户名: 密码:
验证码: 匿名发表
发布人身攻击、辱骂性评论者,将被褫夺评论的权利!
评论(共有 0 条评论,点击查看更多)
推荐下载
最后更新
热门点击