濠电姷鏁告慨鐑藉极閸涘﹥鍙忛柣鎴f閺嬩線鏌熼梻瀵割槮缁惧墽绮换娑㈠箣閻戝棛鍔┑鐐村灦閻燂箓宕曢悢鍏肩厪濠电偛鐏濋崝姘舵煟鎼搭喖寮慨濠冩そ瀹曟鎳栭埞鍨沪闂備礁鎼幊蹇曞垝瀹€鍕仼闁绘垼妫勯拑鐔兼煏婢舵稓鐣遍柍褜鍓涢弫濠氬蓟閵娿儮鏀介柛鈩冧緱閳ь剚顨婇弻锛勨偓锝庡亞閵嗘帞绱掓潏銊ユ诞闁糕斁鍋撳銈嗗笒鐎氼剛澹曢崗鍏煎弿婵☆垰鐏濇禍褰掓煕閻愬灚鏆柡宀嬬秮閹晠鎮滃Ο绯曞亾閸愵喗鍋i柍褜鍓熼弫鍐焵椤掆偓瀹撳嫰姊洪崨濠勨槈閺嬵亜霉濠婂嫮鐭掗柡灞诲姂瀵潙螖閳ь剚绂嶆ィ鍐╁€垫繛鍫濈仢閺嬫稑顭胯闁帮綁鐛幋锕€顫呴柣姗嗗亝閺傗偓闂佽鍑界紞鍡樼鐠烘í缂氬┑鐘叉处閳锋垹绱撴担鍏夋(妞ゅ繐瀚烽崵鏇㈡偣閾忚纾柟鐑橆殔缁犳盯鏌eΔ鈧悧鍐箯濞差亝鈷掗柛灞炬皑婢ф稓绱掔€n偄娴鐐寸墵楠炲洭顢橀悩娈垮晭闁诲海鎳撴竟濠囧窗閺嶎厾宓侀柡宥庡幗閻撶喖鏌ㄥ┑鍡樺櫣婵¤尙绮妵鍕敃閿濆洨鐣奸梺鍦嚀鐎氫即骞栬ぐ鎺撳仭闁哄娉曢鍥⒒閸屾艾鈧娆㈠璺虹劦妞ゆ帒鍊告禒婊堟煠濞茶鐏¢柡鍛板煐鐎佃偐鈧稒岣块崢鐐繆閵堝繒鐣虫繛澶嬫礈閼洪亶宕稿Δ浣哄帾闂佹悶鍎崝灞炬叏瀹ュ棭娈介柣鎰綑濞搭喗顨ラ悙宸剶闁诡喗绮撳畷鍗烆潨閸℃﹫绱欓梻鍌氬€搁崐鎼佸磹妞嬪海鐭嗗〒姘e亾妤犵偞鐗犻、鏇氱秴闁搞儺鍓﹂弫宥夋煟閹邦厽缍戦柍褜鍓濋崺鏍崲濠靛顥堟繛鎴炶壘椤e搫顪冮妶鍐ㄥ姕鐎光偓閹间礁钃熸繛鎴旀噰閳ь剨绠撻獮瀣攽閸モ晙绨┑鐘殿暯閸撴繆銇愰崘顔藉亱闁规崘顕ч拑鐔兼煥閻斿搫孝缂佲偓閸愵喗鐓冮柛婵嗗閳ь剚鎮傚鍐参旈崨顔规嫼婵炴潙鍚嬮悷褏绮旈鈧湁婵犲﹤楠告晶鐗堜繆閸欏濮嶆鐐村笒铻栭柍褜鍓氶崕顐︽煟閻斿摜鐭婇梺甯到椤曪綁骞庨挊澶屽幐闂佸憡鍔︽禍鐐烘晬濠婂牊鐓涘璺猴功婢ф垿鏌涢弬璺ㄐч挊鐔兼煕椤愮姴鍔滈柣鎾寸☉闇夐柨婵嗙墱濞兼劗鈧娲栭惌鍌炲蓟閳╁啯濯撮悷娆忓绾炬娊姊烘潪鎵妽闁圭懓娲顐﹀箻缂佹ɑ娅㈤梺璺ㄥ櫐閹凤拷 [闂傚倸鍊搁崐鎼佸磹閹间礁纾圭€瑰嫭鍣磋ぐ鎺戠倞妞ゆ帊绀侀崜顓烆渻閵堝棗濮х紒鐘冲灴閻涱噣濮€閵堝棛鍘撻柡澶屽仦婢瑰棝宕濆鍡愪簻闁哄倸鐏濋顐ょ磼鏉堛劍宕岀€规洘甯掗~婵嬵敄閽樺澹曢梺鍛婄缚閸庢娊鎯屽▎鎾寸厱闁哄洢鍔岄悘鐘电磼閻欌偓閸ㄥ爼寮婚妸鈺傚亞闁稿本绋戦锟� | 闂傚倸鍊搁崐鎼佸磹閹间礁纾归柣鎴eГ閸ゅ嫰鏌ら崫銉︽毄濞寸姵姘ㄧ槐鎾诲磼濞嗘帒鍘$紓渚囧櫘閸ㄨ泛鐣峰┑鍠棃宕橀妸銉т喊闂備礁鎼崯顐︽偋婵犲洤纾瑰┑鐘崇閻撱垺淇婇娆掝劅婵″弶鎮傞弻锝嗘償椤旂厧绫嶅┑顔硷龚濞咃絿鍒掑▎鎾崇閹兼番鍨虹€氭娊姊绘担铏广€婇柡鍛洴瀹曨垶寮堕幋顓炴闂佸綊妫跨粈渚€宕橀埀顒€顪冮妶鍡樺暗闁哥姵鎹囧畷銏ゎ敂閸涱垳鐦堥梺姹囧灲濞佳勭濠婂牊鐓熼煫鍥ㄦ⒒缁犵偟鈧娲樼换鍌烇綖濠靛鍤嬮柣銏ゆ涧楠炴劙姊绘担鍛靛綊寮甸鍕┾偓鍐川椤旂虎娲搁梺璺ㄥ櫐閹凤拷]

    • 逻辑学/图画通识丛书
      • 作者:(英)丹·克莱恩//沙龙·沙提勒|译者:陈仕伟|绘画:(英)比尔·梅布林
      • 出版社:三联书店
      • ISBN:9787108065193
      • 出版日期:2019/09/01
      • 页数:178
    • 售价:12.8
  • 内容大纲

        逻辑学是西方文明重要的支柱,它将哲学、科学和法律体系结合在一起。然而,尽管逻辑学的重要性得到了广泛的认可,但由于大量使用专业术语和数学符号,它仍然是许多人难以进入的领域。本书以逻辑学的发展历史为线索,以一种易于理解和友好的方式解释其中所涉及的符号和方法,并探讨围绕相关主题的哲学问题。它将带您了解逻辑学对科学方法,以及对从物理学到心理学的各种科学的影响,并将向您展示为什么计算机和数字技术只是逻辑学的一个实践案例。
  • 作者介绍

  • 目录

    什么是逻辑?
    研究句子
    对当方阵
    三段论
    联结词逻辑
    莱布尼茨律
    归谬法
    一种“新工具”
    弗雷格的量词
    语境原则
    命题演算
    康托尔的集合论
    联结词的效用
    罗素悖论
    致命的错误
    表面语法的问题
    罗素的系统
    维特根斯坦的逻辑图像
    卡尔纳普和维也纳小组
    宽容原则
    希尔伯特的证明论
    哥德尔的到来
    哥德尔的不完备性定理
    与证明论的联系
    维特根斯坦的逻辑联结词表
    维特根斯坦的真值表
    发现重言式
    数字电子的逻辑门
    售货机
    图灵和“恩尼格玛密码”
    欧几里得的公理方法
    莱布尼茨的证明方法
    矛盾的滥用
    联结词的规则
    对语法的敏感
    谓词演算
    模型理论语义学
    希尔伯特的递归模型
    无限产出的有限规则
    简单的操作指南
    证明论和形式语言
    塔斯基的真值条件
    实践中的形式语义
    拍一部肥皂剧
    人工智能肥皂剧的逻辑编程语言
    图灵的AI菜谱
    悖论难题
    悖论能够被回避吗?
    类型理论
    塔斯基的撒谎者悖论解决方案

    纠缠不休的悖论
    哥德尔的不完备性定理
    哥德尔定理的影响
    停机问题
    哥德尔证明的局限
    芝诺运动悖论
    无穷总和
    极限的收敛
    一“堆”有多少?
    对集合的挑战
    消解逻辑
    模糊词语的虚构性
    词语“意味”着什么?
    模糊逻辑
    模糊的堆
    逻辑能够避免悖论吗?
    非经典逻辑:直觉主义
    恶魔论证
    直觉主义逻辑
    直觉主义vs归谬法
    直觉主义的流行
    思考一些古老的问题
    可能的值
    作为数字的真值
    可能与矛盾律
    从经典逻辑到模糊逻辑
    电子“可能”状态
    模糊逻辑搜索引擎
    模糊逻辑机器
    量子世界中的逻辑
    量子逻辑的分配律
    量子逻辑如何工作
    实验逻辑
    逻辑和科学
    哥白尼革命
    伽利略革命
    演绎法和归纳法
    归纳问题
    休谟之叉
    规则式的演绎
    基于概括的归纳
    规律或者经验预测
    乌鸦悖论
    因果问题
    波普尔对亨普尔的回应
    波普尔的否证理论
    可行理论的概率
    蒯因的“信念之网”
    “网”的替代选择
    不充分的证据

    蒯因的相对主义
    费耶阿本德对科学方法的否定
    戴维森对蒯因的回应
    真理的表征
    硬边真理vs相对主义
    认知科学与逻辑
    乔姆斯基的通用语法
    名词和动词的范畴
    语法的递归规则
    X-bar理论
    逻辑理论
    语法和语义的问题
    复杂的语法结构
    “通用”语法的问题
    符号化的大脑模型
    训练一个神经网络
    模式识别
    理性行为模型
    实践理性
    什么是意识?
    逻辑的地位
    维特根斯坦的观点转变
    延伸阅读
    索引

推荐书目

  • 孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...

  • 时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...

  • 本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...

更多>>>