视读逻辑学_在线百科全书查询
视读逻辑学
图书信息
作 者：（英）丹克莱恩沙蒂尔出 版 社：安徽文艺出版社
出版时间：2007-1-1
版 次：1
页 数：178
字 数：140000
印刷时间：2007-1-1
纸 张：胶版纸
印 次：1
I S B N：9787539628547
包 装：平装
内容简介
逻辑学是西方文化发展的主轴，涉及哲学，科学和法律，因而体系复杂。然而，尽管逻辑学的重要性已被广泛认可，但由于对专业术语和数学符号的大量使用，因此许多人对逻辑仍然很陌生，正如从未拆封的缄一样。
别再犹豫了，赶快打开封缄，认识这门重要学科吧！本书按照逻辑学的历史发展顺序，图文并茂地解释了逻辑学发展过程中所使用的符号与方法，并以浅显易懂的方法探讨了围绕此学科而得出的哲学结论。它将带您领略逻辑对科学方法以及从物理学到心理学等诸多科学的影响，向您展示了为什么电子计算机和数学科技实际就是应用中的逻辑问题。与此同时，本书也向您揭示了逻辑系统中的异议和局限性，以及逻辑学领域目前的发展情况。
要想深入理解逻辑学法，此书固然不能取代教科书的作用，但是，遥想了解逻辑术语和逻辑观点，无论您视一般读者还是学习哲学或理科的学生，本书都是一部难得而又必不可少的读物。
图书目录
译者序
什么是逻辑
命题研究
对当关系的逻辑方阵图
三段论
连接词逻辑
莱布尼兹定律
归谬法
新工具论
弗雷格的量词
语境原则
命题演算
康托尔的集合论
连接词的效用
罗素悖论
致命的缺陷
表层语法的难题
罗素理论体系
维特根斯坦的逻辑图像
卡纳普和维也纳学派
容许原则
希尔怕特的证明论
哥德尔的出现
哥德尔的不完全性定理
证明论的相关联系
逻辑连接词
维特根斯坦的真值表
发现重言式
数字电子学的逻辑门电路
一台自动贩卖机
图灵和神秘的编码
欧几里得的公理方法
莱布尼兹的证明方法
矛盾的滥用
连接词的规则
语法敏感性
谓词演算
模型论的符号学
希尔伯特的递归模型
有限的规则无限的产物
基本说明
证明论和形式语言
塔尔斯基的真值条件
实践中的形式符号学
构思一个肥皂剧
人工智能肥皂剧的程序语言
图灵的人工智能秘诀
悖论问题
悖论能够避免吗
类型论
塔尔斯基解决说谎者悖论的方
挥之不击的悻论
哥德尔的不完全性定理
哥德尔定理的价值
“停机问题”
哥德尔证明的极限
芝诺的运动悖论
一道无穷算术题
极限收敛
“一堆”是多少
集台论面临的挑战
