欢迎来到相识电子书!

标签:逻辑

  • 逻辑的力量

    作者:斯蒂芬·雷曼(C.Stephen Lay

    译者序 《逻辑的力量》由美国西雅图太平洋大学的雷曼教授所著。1999 年出第一版。2002、2005 年又分别出了第二版和第三版。该书从根本上说,是一本非常好的逻辑学教材。该教材初为作者所在太平洋大学本科生使用,但很快就得到了推广,现在许多美国的大学和其它一些国家的大学都在用该书作为教材。该书第三版还开辟了网络教学模式,学习者可以通过网络进入在线逻辑辅导。 具体来说,我觉得该书主要有以下有三个重要特点: 第一,该书具有巨大的可读性和生动性。作者在表述上尽可能用生动的词语,在案例的选择上尽可能选用有趣的事例,练习也都是经过精挑细选的、能够充分地起到巩固所学知识点的作用。从教材的体系结构上,就可以领略到它在内容上的丰富性和充实性。正如作者所言,“最好的逻辑导论性课程应将传统逻辑(包括非形式逻辑)和现代符号逻辑都包括在内。对传统以及非形式方法的过分强调,会导致学生无法认识到逻辑提供的最有力的力量。而对符号方法的过分强调,则又很容易造成学生只会使用符号而不会将逻辑运用于日常论证中。”(前言)作者先是从论证、语言、谬误等非形式逻辑的角度入手,继而讲述词项逻辑、命题逻辑和谓词逻辑,最后介绍归纳和概率,可以说是将形式逻辑和非形式逻辑,将传统逻辑和现代逻辑,将演绎逻辑和归纳逻辑统一了起来。 第二,该书具有重要的学术价值。在内容上,作者既肯定用有效性作为判定推理和论证的标准,同时又不是将它作为唯一的标准。而是将这个标准推广到了可靠性和可信性。作者认为,一个论证是有效的,当其前提真时结论一定真,否则就是无效的。一个论证如果是有效的,而且前提也都是真实的,则该论证就是可靠的。所以无效的论证是不可靠的,而且至少有一个虚假前提的有效论证也是不可靠的。可信性是与可靠性完全不同的标准。可信论证是一种强的论证。如果一个论证是强的,则当其前提真时其结论很可能是真的,其结论假是不大可能的,否则就是弱的。可信论证是强的而且前提都真。所以弱的论证是不可信论证,有一个假前提的论证也是不可信论证。可靠论证都不是可信的,因为有效的论证都不是强的。类似地,可信论证也都不是可靠的,因为强的论证都不是有效的。而且,带一个假前提的有效论证是不可靠的,但并不是不可信的,因为一个有效论证既不是强的也不是弱的。所以,有效性和强度分别是演绎逻辑和归纳逻辑各自用来衡量问题的标准和方法。作者还主张在形式标准外,还应坚持非形式的标准。一个推理如果在形式上无效,则肯定是无效的。但即使一个论证从形式上看有效,但也不一定就是有效的。因为其中的内容可能有问题。当然,这些内容中的问题也还可以从形式上来加以刻画。总之,该书无论对于一般读者,还是对于从事逻辑教学和科研的第一线人员,都将起到重要的指导和引导作用。 第三,该书作者具有非常广博的学术视野和宽广的学术领域。作者研究领域很广泛。不但对逻辑有很深的造诣,而且在宗教学等领域的教学和研究上也都取得了许多成就。从作者所举的一个一个案例中可以看出,作者对这些案例都有深刻和自觉的体会。由于作者学术视野开阔,所以,他也就能充分地吸取不同观点的优势,注意分析多种不同的看法,从而尽可能少地出现偏差。
  • 简单逻辑学:改变思维方式第一书

    作者:吴昱荣

    《简单逻辑学——改变思维方式第一书》最通俗易懂的逻辑学入门读本。轻松搞定逻辑学中的概念、思维定式和规则。容易操作掌握的逻辑使用法则,不论演讲、谈判、说话、办事,都能让你做到条理、清楚、不让人误会和不解!这是一本涵盖正式及非正式逻辑谬误的难得好书,快速提升你的推理能力,学会用清醒的头脑辨别真假,让思考变得简单,让行动变得快捷。
  • 人性与个性的逻辑

    作者:孟庆祥

    《人性与个性的逻辑》献给心理学的票友,无论你读过多少心理学,本书严密的逻辑推理和重大发现,都会让你震撼。 包括人类智力的起源、智力发育的甘特图、人类母系社会的真相、先天还是后天、命运是由上瘾决定的、基因技术的长期后果等内容。 《人性与个性的逻辑》这本书基本回避价值主张,重点是“看”,客观地看,解释生活中的方方面面。为什么少儿学习外语更合适?为什么全世界的性服务行业绝大多数都是为男性服务的?为什么各种文化背景下的婚配都有相似的选择标准?为什么婆媳容易不合?学习和认知最主要的规律是什么?所有的东西立足于科学的解释,面向一个普通读者感到好奇和关心的问题。
  • 你以为你以为的就是你以为的吗?2

    作者:[英] 朱利安•巴吉尼(Julian

    《你以为你以为的就是你以为的吗2:大论战中常见的思维陷阱》是思维大师朱立安•巴吉尼继畅销书《你以为你以为的就是你以为的吗?》之后的又一部力作。这部具有颠覆性与挑战性的作品揭露了热门论战中的8种思维陷阱,破解了那些看似有理,实则糟糕的谬误言论。 《你以为2》中标举了近百个精彩热点的实例,如“一只中了彩票的鸭子”“用iPod的贫困儿童”“我没有和莱温斯基发生性关系”等等,从独特的视角讨论普遍出现的思维模式与思维偏差;让你认识到自己所具备的判别能力,考察是否因扭曲事实与证据相信了你想要相信的,而不是你应该相信的。 [编辑推荐] ★英国《哲学家杂志》创办人、TED著名演讲人巴吉尼力作。揭露大论战中的8种思维陷阱,破解看似有理,实则糟糕的谬误言论。 ★ 中国传媒大学副教授、著名节目主持人张绍刚,专文推荐 ★ 以最具热点争议的实例,诠释思维谬误所在。每篇都以一个热点实例为切入点,通过细致分析,揭示出其中包含的逻辑问题,深入浅出地指出思维上的谬误。 ★ 全面且独特的视角,帮你开发思维潜力。让你认识到自己所具备的判别能力,考察是否因扭曲事实与证据相信了你想要相信的,而不是你应该相信的。
  • Beyond Feelings

    作者:Vincent Ruggiero

    This succinct, interdisciplinary introduction to critical thinking successfully dares students to question their own assumptions and to enlarge their thinking through the analysis of the most common problems associated with everyday reasoning. The text offers a unique and effective organization: Part I explains the fundamental concepts; Part II describes the most common barriers to critical thinking; Part III offers strategies for overcoming those barriers.
  • The Organized Mind

    作者:Daniel J. Levitin

  • 超预测

    作者:[美]菲利普 E.泰洛克,[美]丹 加德

  • 逻辑思维简易入门

    作者:(美)加里•西伊(Gary Seay),

    逻辑思维是处理日常生活中难题的必备能力! 逻辑可以说是关于思维的思维,它最大的用途在于训练思维,使人在头脑中得到真正纯粹的思想。它在强调技巧和技能的训练过程中,是可以通过具体实践来提高的。 本书是一本逻辑思维和批判性思维的入门读物,涉及主题十分广泛,专为并未接触过哲学或逻辑思维的读者而设计,行文简易、直接,专业术语数量降至最少,符号也较简单,兼具可读性、严谨性和准确性。 逻辑思维的一些实际用途 刑事诉讼:被告是否有罪?我们如何提供不在场证据? 日常问题:哪所学校最好?孩子应该去私立学校还是公立学校? 科学难题:如何选择两个同等充分但却相反的科学理论? 哲学问题:身体与心灵是同一回事吗? 道德问题:安乐死是否符合道德标准?堕胎呢? 政治决策:这次大选我应该投票给谁? 经济决策:我应该听经纪人的建议投资这只新的基金吗? 健康问题:根据我以往的病例,锻炼对我有好处吗?我需要更多的健康保险吗?
  • Crimes Against Logic

    作者:Jamie Whyte

    This is a witty assault on lame rhetoric, specious logic, and official BS. Here's a fast-paced, ruthlessly funny romp through the mulligan stew of illogic, unreason, and just plain drivel served up daily in the media by pundits, psychics, ad agencies, New Age gurus, statisticians, free trade ideologues, business "thinkers," and, of course, politicians. Award-winning young philosopher Jamie Whyte applies his laser-like wit to dozens of timely examples in order to deconstruct the rhetoric and cut through the haze of shibboleth and doubletalk to get at the real issues. A troubleshooting guide to both public and private discourse, "Crimes Against Logic": analyzes the 12 major logical fallacies, with examples from the media and everyday life; takes no prisoners as it goes up against the scientific, religious, academic, and political establishments; helps you fine-tune your critical faculties and learn to skewer debaters on their own phony logic.
  • A Rulebook for Arguments

    作者:Anthony Weston

  • 走出思维的误区

    作者:尼尔.布朗(美国),等

    《走出思维的误区》是你对何去何从做出选择的良好向导,是你标新立异的良师益友;《走出思维的误区》是批判性思维方式和技巧的集萃,目的在于构筑创造性思维模式;有助于你在缺乏正规思维训练的情况下增进做出理性决策的能力;力求将思维技能与丰富实例相结合,并强调将思维技巧应用到争论和写作中。
  • 隐性动机

    作者:[美]尤里·格尼茨(Uri Gneezy

    两位未来诺奖经济学得主”得意之作,四大诺奖得主联袂推荐 将行为经济学从“学者的象牙塔”带到“你家的客厅里”! 近400年前,伽利略进行了人类历史上第一个有文字记载的科学实验,此后,实验成为科学研究的基石。著名物理学家理查德•费曼说过,“实验是检验科学真理的唯一途径。”如今,越来越多的经济学家也意识到了实验的价值,他们开始借鉴自然科学领域的实验方法来研究人类的行为。 但是,到目前 为止,实验方法的应用主要局限于实验室。现在,新一代的经济学家正在用实地实验的方法来探索世界,《隐性动机》一书的两位作者便是其中的一分子。他们认为,不管是提高你的退休养老金、督促孩子好好学习,还是带领一家跨国企业从“优秀”到“卓越”,实地实验的方法都非常有效。 原因就在于,生活是最大的实验室,只有在现实生活中做实验,挖掘出人类行为背后的隐性动机,政府、公司、学校、家庭、个人才能有的放矢地设计出激励机制,才能真正解决困扰社会和人类的种种问题。 在《隐性动机》中,两位作者针对女性职场待遇问题、公立学校教育质量滑坡问题、慈善事业的持续发展问题、大公司的利润低下问题、无处不在的经济歧视问题等,都展开了针对性的实地实验,更重要的是,这些实验结果对于解决这些社会“痼疾”大有裨益且成本较低。 经济学家们并不仅仅是在进行枯燥的科学研究,他们的工作也是充满激情的。这其中倾注了他们个人的兴趣和心血,涉及人类各种复杂的感情和行为,其研究结果更有可能改变我们的世界,让越来越多的人的生活变得更美好。
  • 心理学带你走出思维误区

    作者:(美)John Ruscio

    《心理学带你走出思维误区》的首要目标是帮助读者发现并避免错误的推理,培养批判性思维的能力,其次是如何运用批判性思维,评价当代的种种伪科学。书中通过生活中各种伪科学的例子,介绍了科学推论的原则及其运用。 批判性思维并不意味着否定一切,如何保持一种恰当的平衡,既不是过于开放,轻易地接受所有的论断,也不是“怀疑论者”,拒绝所有的论断,正是《心理学带你走出思维误区》的主旨。 《心理学带你走出思维误区》将复杂的行为科学以简洁清晰,近乎对话的方式呈现出来,既发人深省,又通俗易懂,是普通心理学的必备辅助读物。 强力推荐:Critical Thinking in Psychology: Separating Sense from Nonsense 英文原版火热发售
  • 失败的逻辑

    作者:迪特里希·德尔纳

    为什么铁路信号系统工作正常时,列车仍然会发生撞车事故?为什么所有操作人员都警觉地坚守着工作岗位,核反应堆依然会发生灾难性的熔化事故?为什么我们制定得甚好的那么多专业和个人计划,会如此频繁地出岔子? 迪特里希·德尔纳,德国最高科学将获得者,在此考虑为什么--假定具备所有的 智能、经验和信息条件--我们却仍然会犯错误,有时甚至引起灾难性的后果。令人惊讶的是,他发现问题的答案不在于疏忽或粗心,而是缘于他所谓的"失败的逻辑":我们思维模式中的某些倾向--诸如一次只做一件事,因果关系,还有线性思维--它们适合于过去的简单世界,对于我们现在所生活的复杂世界却有着灾难性影响。当今世界,一切事物都是相互关联的。我们不能一次只做一件事情,因为每件事都有多重结果;我们不能用孤立的因果模式考虑问题,因为所有的情况都有副作用和长远影响。 德尔纳给我们找到了不少例子。为什么阿斯旺水坝的规划者们,只想到会给埃及带来廉价用电的好处,却没有意识到他们也将会中断几千年来维持尼罗河谷地肥沃富饶的一年一次的洪水漫灌?为什么第三世界健康计划的规划者们不能认识到提高平均寿命就要求增加食物供应,从而疏忽地终止对饥民的捐助? 德尔纳指出,在未了解一个复杂系统中所有连锁因素之前就采取行动,即使我们怀着善良的意愿,也难免铸成大错。面对我们力不能及的问题,小错误累积起来,最后就会酿成严重的错误结论。过于频繁地忽视问题的大局,却只在我们知道如何做的范围内寻求权宜之计--这只能是杯水车薪无济于事。 德尔纳用他自己编制的引人入胜的计算机模拟程序,揭示了我们思维中的这些缺陷。他的例子--有时是开心的,有时是吓人的--和他那"梳脑"思维实验,使我们认识到应该如何处理复杂问题。这些实例使本书成为一件矫正工具,一种明智的规划和决策指南,使商业经理、决策者以及面临由此及彼日常挑战的每一个人的思维技巧更加敏锐。本书将改变我们构思变化的方法本身,使我们对成功之路的判断能力得到提高。
  • 不确定世界的理性选择

    作者:雷德·海斯蒂 (Reid Hastie)

    【内容提要】 大量行为学研究揭示,人类的思维过程存在系统的局限性。人们往往无法做到完全意义上的理性,相反,各种认知缺陷、启发式以及惯性思维决定了我们大多数判断和决策。 雷德•海斯蒂和罗宾•道斯尽可能用生活化的语言与现实中的事例,向大家介绍判断和决策领域中的基础理论和最新研究成果。全书内容可分成六部分:第1-2章介绍了判断和决策领域的学科历史,第3-7章总结了关于判断的心理学研究,第8章论述理性与不确定性间的关系,第9-10章论述偏好与选择问题,第11-12章分别介绍了理性决策理论及描述性决策理论,第13-14章展望了未来的研究方向。附录简单介绍概率论的相关知识。 作者语言精练、论述严谨,大量采择最新的研究成果和研究发现,做出恰如其分的评价和分析。这一点充分显示了作者在“判断决策”这一领域中的积淀,也体现了作者对这一研究领域的总体把握。本书适合心理学和行为科学领域的专家学者参考,也可供那些对“决策判断问题”有兴趣的广大读者阅读。 【编辑推荐】 生活中充满了不确定性,我们也无时无刻不在面对形形色色的选择和判断。掌握理性决策的原理,无疑可以帮助我们提升选择的质量,从而改善我们的生活。 两位作者凭借其在哈佛大学、西北大学、芝加哥大学、卡内基梅隆大学等名校从事30年教学经验,选择了行为经济学方面和认知心理学方面的最新研究成果,结合自己在司法、医疗、商务等领域的实际经验,采用大量来自现实生活中的实际例子来说明人类在判断与决策方面所具备的规律、特点及缺陷,并在理论高度上论述了这些表现的根源。 在这本获奖著作的最新版本中,雷德•海斯蒂和罗宾•道斯用一种非学术性的语言和大量逸闻趣事讲述故事,将理性决策的基本理论与实际的决策行为进行对比,全面介绍了决策和判断领域的理论和最新研究发现。 新版本的特色: ——每章首尾的介绍和总结以及各章节内容之间的相互引证更利于学习和阅读; ——来自金融、医疗、司法和工程领域的大量例子使得本书更加鲜活; ——重视和突出决策判断的描述性心理学模型,补充了以往仅强调规范性和理性的“期望效用理论”的不足; ——在三种主要研究取向之间取得更好的平衡:对思维过程和启发式的认知心理学分析、对判断和决策过程的描述性代数模型以及有关决策的理性模型。 【媒体评论】 人类生活在一个充满着不确定的世界里。即使第六次科技革命正向我们走来,我们仍然不知道孕育我们生命的地球会在何时、何地发生地震,我们依然无法预测金融危机或H7N9 禽流感的降临与范围。人类要生存下去,必须适应这个充满未知和不确定性的世界。汶川大地震后《自然》杂志刊登社论——《为未知做好准备》(Bracing for the unknown),即曾呼吁“科学界要充分应对未来不确定性的挑战”。 “人类在不确定条件下如何做出判断和决策”是一个富有前景和重要意义的科学难题。如本书所述,寻求理性之路漫长而且艰难。如今人类已经历了几十万年的进化历程,人类之所以能成功地完成觅食、保障安全、选择配偶、保护后代等“生存任务”,以至主宰地球,正是因为我们通过自然选择的进程,拥有了一项独特技能——做出好的、可持续的、适应性决策。 ——中科院心理学研究所研究员、博士生导师 李纾 《不确定世界的理性选择》一书的写作基本上是按照决策领域现有成果进行梳理的,其内在逻辑比较容易把握。最值得称道的地方,还是两位作者对目前决策领域的学术成果的个人理解,并且极其用心地将这种理解表达出来。读者可以通过阅读此著作充分领略作者对决策理论的透彻解析,因此,该书非常适合决策领域的青年学者研读。同时,作者在如何将学术成果应用于人们的日常决策方面颇费了一番苦思及苦功,书中笔墨处处展现出作者独具匠心的思考,所积累的案例也看得出多是集几十年之功的。所以,这本书同样也适合那些在现实中困惑于自己的决策问题的普罗大众。决策是一个非常独特的交叉性研究领域,一些经典的决策研究问题产生于人类的某些既定“缺陷”,对于这些人为偏差的透彻探讨,才有可能教会人们如何更好地进行理性选择。也许,有时候我们需要避免偏差,而有时候我们必须利用偏差。心理学理论和成果对决策领域的独特贡献,也许还未被充分地意识到。从这两位作者的笔下,我们可以很好地领会心理学在决策领域的不可替代性。我相信,只有心理学家对决策研究的积极参与,才有可能将我们对决策问题、以及对人们的决策能力的实际改进深入到一个新的高度。 北京大学心理学系教授、博士生导师 谢晓非 《不确定世界的理性选择》是近年来社会心理学领域一部重量级著作,第一版即获得美国心理学会威廉•詹姆士奖。它论述的主题与诺贝尔奖得主卡尼曼的《思考:快与慢》大致相同,但更系统,娓娓道来,也更易于理解,因为它是两位作者近30年来先后在哈佛大学、西北大学等多所名校教学和科研活动的结晶。要想将论述这一前沿主题的著作翻译好的确不易,幸运的是,本书翻译工作由北大心理系和中科院心理所长期从事该专题领域研究的两位教授担纲完成。我愿向对判断与决策心理学以及行为经济学感兴趣的读者热情推荐这本好书。 清华大学心理学系主任、美国加州大学伯克利分校心理学系终生教授 彭凯平
  • 数理逻辑发展史:从莱布尼茨到哥德尔

    作者:张家龙著

    第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的统一 三 逻辑方法和历史方法的统一 四 严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派的命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布尼茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一 理性演算 二 普遍语言 第三节 莱布尼茨具体构造的演算 第七章 逻辑代数 第一节 逻辑代数建立前的逻辑发展 第二节 布尔的逻辑代数 一 逻辑代数的基本原理及类的解释 二 布尔对古典形式逻辑的处理 三 逻辑函项及其运算 四 逻辑代数的命题解释和概率解释 第三节 逻辑代数的发展 一 耶芳斯和文恩 二 皮尔士 三 施罗德 四 麦柯尔 第八章 关系逻辑 第一节 德摩根的关系逻辑 一 德摩根对古典形式逻辑的改造 二 关系逻辑的创建 第二节 皮尔士对关系逻辑的发展 一 皮尔士关系逻辑的一些基本概念 二 基本运算 三 关系逻辑的主要原理 四 量词理论 第三编 数理逻辑奠基时期 第九章 逻辑演算的建立和发展 第一节 弗雷格的逻辑演算 一 逻辑演算建立的历史背景 二 逻辑演算系统 三 自然数的定义 四 涵义和所指 第二节 皮亚诺的符号体系 一 数理逻辑 二 数学基础 第三节 罗素的逻辑演算 一 命题演算和谓词演算 二 关系逻辑 三 摹状词理论 第四节 逻辑演算的发展 一 命题演算和谓词演算的不同系统 二 逻辑演算的元理论 第五节 非经典逻辑简述 第十章 从素扑集合论到公理集合论 第一节 无穷集合的怪论 第二节 康托尔的集合论 一 康托尔的指导思想——实无穷的理论 二 可数集和不可数集 三 超穷基数和超穷序数 四 连续统假设 第三节 集合论悖论的出现——第三次数学危机 一 布拉里-福蒂悖论 二 康托尔悖论 三 罗素悖论 四 关系悖论 五 与集合论悖论不同的一些语义悖论 第四节 公理集合论的建立 一 策梅罗—弗兰克尔的公理集合论 二 冯·诺意曼的公理集合论 三 贝尔纳斯对冯·诺意曼系统的改进 第十一章 逻辑主义论题和逻辑类型论 第一节 数学概念和数学定理的推导 第二节 逻辑类型论 第三节 蒯因的新系统NF 第四节 逻辑主义的历史地位 第十二章 直觉主义的数学基础和逻辑 第一节 直觉主义的数学哲学 第二节 直觉主义的数学基础 一 潜无穷论是直觉主义数学的出发点 二 在数学中不能普遍使用排中律 三 数学对象的可构造性 第三节 直觉主义逻辑 一 直觉主义的命题演算 二 直觉主义的一阶谓词演算 三 直觉主义逻辑与经典逻辑的关系 第十三章 形式公理学和证明论 第一节 从实质公理学到形式公理学 一 第一阶段——实质公理学:《几何原本》 二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何 三 第三阶段——形式公理学:《几何基础》 第二节 证明论的建立 一 希尔伯特的元数学——证明论纲领 二 希尔伯特纲领的历史意义和哲学意义 第四编 数理逻辑发展初期 第十四章 哥德尔的伟大贡献 第一节 哥德尔完全性定理 第二节 模型论的两条基本定理——累文汉定理和紧致性定理 第三节 哥德尔不完全性定理 一 自然数算术的形式系统 二 哥德尔不完全性定理的直观说明 三 哥德尔配数法 四 形式算术系统元数学的算术化 五 原始递归函数和原始递归谓词 六 原始递归函数在系统中的数字可表示性 七 不可判定命题的形式结构 八 不可判定命题与说谎者悖论的关系 九 哥德尔不完全性定理的证明 十 哥德尔不完全性定理的哲学意义 第四节 选择公理和广义连续假设的一致性 第十五章 哥德尔不完全性定理带来的硕果 第一节 塔尔斯基论形式语言中的真值概念 一 在普遍的日常语言中不能定义真值概念 二 类演算的形式语言和元语言 三 在类演算的元语言中“真语句”的定义 四 关于“真语句”定义问题的一般结论 五 塔尔斯基定理及其与哥德尔不完全性定理的关系 六 塔尔斯基的成果的历史意义 第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义 一 阿克曼函数 二 一般递归函数 第三节 λ转换演算和丘吉论题 一 λ转换演算 二 丘吉论题 三 丘吉不可判定性定理 第四节 图灵机和可机算函数 一 图灵机的基本概念 二 可机算函数与λ可定义函数的等价性 三 图灵论题 四 一阶谓词演算的判定问题不可解 五 图灵机理论的历史意义 第五节 波斯特的符号处理系统 一 波斯特机 二 波斯特的符号处理系统 第六节 塔尔斯基证明不可判定性的一般方法 一 若干基本概念 二 一些重要定理 三 不可判定性成果的哲学意义 人名译名对照表 主要参考文献
  • 笑死你的逻辑学

    作者:王宇

    《笑死你丛书:笑死你的逻辑学》将让你与逻辑学零距离接触,在轻松和嬉笑中领略逻辑的智慧和奇妙!你想成为逻辑高手吗?你了解自己的思维逻辑吗?你有玩转别人思维逻辑的能力吗?也许你曾对神秘的逻辑学无限的向往,但是大量的专业名词和公式却让你望而生畏,最终只得选择敬而远之。

  • 诡辩逻辑学

    作者:野崎昭弘

  • 法律的逻辑

    作者:鲁格罗·亚狄瑟

    《法律的逻辑•法官写给法律人的逻辑指引》旨在探讨法律推理或法律逻辑问题。“法律的源头活水向来是经验而非逻辑”,这是霍姆斯大法官的经典名言。《法律的逻辑•法官写给法律人的逻辑指引》不挑战这个陈述,但主张法律推理或法律逻辑可以扮演同等的甚至更重要的角色。 《法律的逻辑•法官写给法律人的逻辑指引》乃是针对法官、律师与法学院学生而撰写的。有点奇怪的是,这似乎是第一本这样的书。亚狄瑟法官并未提议任何命令式的规则,让法官的意见或律师的辩词都要采用某种特定的形式。他是在强调,有必要发展出指引,而他也提供了某些指导。此一建议蕴涵了他30年法官与20年的法学教授的经验。为了使法官与律师双方更能够理解法律推理在撰写意见书或辩护时的重要性,我确信他很欢迎质疑这个导论的要素的合理性。他相信他的话对于法学院新生来说特别重要:“从你们进入法学院,不知所措的第一天起,到成为律师或法官,甚至成为美国最高法院的大法官,都会被‘雾失楼台,月迷津渡’的现象困惑着,那就是我们所说的法律推理。法学院学生,至少对大多数毕业了的那些人来说,或多或少都曾学过这个程序,只是个人造诣深浅有别。这得要透过有名的‘苏格拉底式问答法’之训练。这是一段令人困惑的经验,坦白说,大多数学生都不知道教授到底在干什么……让我们面对这个让人挫败、不安、困窘而又不愉快的体系吧。”他坚信,当一位大学毕业生进入法学院,面对推理过程所必要的突然转折时,法律推理便是一个迫切需要被解释的科目。他也相信他的讯息对法官与执业律师大有帮助。 亚狄瑟法官对法律推理的每一个层面都解说得很详尽。为了让我们了解“像法律人一样地思考”的心智过程,他阐释逻辑的基础及其在法律推理上的应用。“受人尊重的法律必须有其理由,而且只有符合逻辑思考规律的法律推理才能被接受”,这是他的格言。他介绍了演绎与归纳推理的差异、苏格拉底式问答法;他也以相当篇幅讨论推理、普通法的传统、法律推理的要素与应当避免的谬误等。他更特别强调运用类比来进行法律推理的重要性:“运用类比来进行法律推理之重要性无以复加。这乃是法律学习的核心,并展现在苏格拉底式问答法的本质中。” 一位著名的权威人士曾经很中肯地说:“人类讨论法律的本质,垂数百年。这透过种种途径而触及每个国家的每个人民。一项契约可能令人感到愉快或不愉快、清楚或不清楚、可能直接或不直接,但是它对世界各地的人们来说,都是一股恒常的力量。重要的是要去了解其本质,以及诠释并且执行的人们⑴。” 《法律的逻辑•法官写给法律人的逻辑指引》是正确认识这个真理的重要著作。所有的法官、律师与法学院学生,都可以透过阅读《法律的逻辑•法官写给法律人的逻辑指引》中而获益。
  • 这本书叫什么?

    作者:(美)雷蒙德·斯穆里安

    美国著名逻辑学家斯穆里安这本脍炙人口的通俗逻辑读物,是一个逐步展开、层层深入的逻辑迷题系统。它从古老的逻辑悖论入门,引进200多则趣闻、故事和奇谲的迷题,最后到达有史以来最了不起的逻辑发现(歌德尔不完全性定理)的洞口。阅读这本兼具科学性、知识性、和趣味性的小书,能使您了解基本的逻辑常识,在饶有兴味的解题过程中测验、训练您的思考、推理能力。 目录 第一篇 逻辑戏话 1.白骗一场? 2.迷题与猴儿弄玄虚 3.君子与小人 4.忘却林中的艾丽丝 第二篇 波西娅匣及其他秘密 5.波西娅匣的秘密 6.克雷格探长案卷录 7.实用指南——怎么躲开狼精及其他 8.逻辑迷题 9.别利尼牌还是切利尼牌? 第三篇 神怪故事 10.日神岛 11.僵尸岛 12.德拉古拉还活着吗? 第四篇 逻辑妙物,光奇彩异 13.逻辑与生活 14.如何证明一切? 15.从悖论到真理 16.歌德尔的发现