当前位置:首页 > 哲学/宗教 > 逻辑学

视读逻辑学 PDF电子版

本书作者:[英] 丹·克莱恩·沙蒂尔,[英] 比尔·梅布林
电子书格式:PDF
图书页码:178
出版社:安徽文艺出版社
出版时间:2007-01-01
推荐星级:
更新时间:2017-02-06 00:00:00
ISBN:9787539628547
下载统计:985
TAGS:
视读逻辑学 PDF电子版


图书简介

内容简介

  逻辑学是东方文明倒退的主轴,触及哲学,迷信和法律,因此体系复杂。但是,虽然逻辑学的重要性已被宽泛认可,但因为对业余术语和数学符号的大量应用,因而许多人对逻辑依然很生疏,正如从未拆封的缄一样。
  别再犹疑了,赶快关上封缄,意识这门重要学科吧!本书依照逻辑学的历史倒退程序,图文并茂地解释了逻辑学倒退进程中所应用的符号与办法,并以通俗易懂的办法讨论了围绕此学科而得出的哲学论断。它将带您领略逻辑对迷信办法以及从物理学到心思学等诸多迷信的影响,向您展现了为什么电子计算机和数学科技实际就是使用中的逻辑成绩。与此同时,本书也向您揭示了逻辑零碎中的异议和局限性,以及逻辑学畛域目前的倒退状况。
  要想深化了解逻辑学法,此书诚然不能取代教科书的作用,然而,遐想理解逻辑术语和逻辑观念,无论您视普通读者还是学习哲学或文科的先生,本书都是一部难得而又必不可少的读物。

目录

译者序
什么是逻辑
命题钻研
对当关系的逻辑方阵图
三段论
衔接词逻辑
莱布尼兹定律
归谬法
新工具论
弗雷格的量词
语境准则
命题演算
康托尔的集合论
衔接词的功效
罗素悖论
致命的缺点
表层语法的难题
罗素实践体系
维特根斯坦的逻辑图像
卡纳普和维也纳学派
允许准则
希尔怕特的证实论
哥德尔的呈现
哥德尔的不齐全性定理
证实论的相干联络
逻辑衔接词
维特根斯坦的真值表
发现重言式
数字电子学的逻辑门电路
一台主动贩卖机
图灵和神秘的编码
欧几里得的公理办法
莱布尼兹的证实办法
矛盾的滥用
衔接词的规定
语法敏理性
谓词演算
模型论的符号学
希尔伯特的递归模型
无限的规定有限的产物
根本阐明
证实论和方式言语
塔尔斯基的真值条件
理论中的方式符号学
构思一个肥皂剧
人工智能肥皂剧的顺序言语
图灵的人工智能秘诀
悖论成绩
悖论可以防止吗
类型论
塔尔斯基处理说谎者悖论的方
挥之不击的悻论
哥德尔的不齐全性定理
哥德尔定理的价值
“停机成绩”
哥德尔证实的极限
芝诺的静止悖论
一道无量算术题
极限收敛
“一堆”是多少
集台论面临的应战
逻辑根底的减弱
含糊语言的虚拟性质
话语象征着什么
模糊逻辑
模糊堆垛
逻辑能防止悖论吗
非经典逻辑:直觉主义
魔鬼论证
直觉主义逻辑
直觉主义VS.归谬法
直觉主义的奇想
旧成绩的解决
可能的价值
当做数字的真值
可能与不矛盾
从经典逻辑到模糊逻辑
电子仪器的\"可能\"形态
模糊逻辑的搜寻引擎
模糊逻辑机器
量子畛域的逻辑
量子逻辑的调配律
量子逻辑是如何施展作用的
理论取得的逻辑
逻辑和迷信
哥白尼反动
伽利略的反动
归纳与演绎
演绎推理带来的成绩
体谟岔路(Fork)
推理规律的归纳
概括演绎
规定还是经历预测
乌鸦悖论
对于因果的成绩
波珀对亨普尔的呼应
渡珀的批驳实践
可行性实践的或然性
奎因的\"信念网\"
两络的变卦
不充沛依据
奎因的绝对主义
法伊尔阿本德对迷信办法的否认
戴维森对奎因的还击
真值的表白
硬边线真值VS.绝对主义
认知迷信和逻辑
乔姆斯基的普遍语法
名词范围和动词范围
语法的循环规定
X一杠杆实践
一种逻辑实践
句法和语义学的成绩
复杂语法构造
“普遍”语法存在的成绩
用作符号的大脑模型
神经网训练
模式辨认
感性行为模型
理论感性
什么是认识
逻辑学的位置
维特根斯坦观念的转变
拓展浏览
附录 ↓



下载地址

支持国家打击网络盗版行动,本书被下架处理,.。 . . .
·上一图书:视读逻辑学 PDF电子版
·下一图书:逻辑学教程 试读

下载说明