惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

F
Full Disclosure
V
Vulnerabilities – Threatpost
Attack and Defense Labs
Attack and Defense Labs
N
News and Events Feed by Topic
SecWiki News
SecWiki News
S
Security @ Cisco Blogs
Schneier on Security
Schneier on Security
B
Blog
TaoSecurity Blog
TaoSecurity Blog
The Last Watchdog
The Last Watchdog
H
Hacker News: Front Page
Hacker News - Newest:
Hacker News - Newest: "LLM"
博客园_首页
D
Docker
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
Y
Y Combinator Blog
W
WeLiveSecurity
N
News and Events Feed by Topic
F
Fortinet All Blogs
PCI Perspectives
PCI Perspectives
WordPress大学
WordPress大学
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
www.infosecurity-magazine.com
www.infosecurity-magazine.com
Recent Announcements
Recent Announcements
Forbes - Security
Forbes - Security
T
Tailwind CSS Blog
Hacker News: Ask HN
Hacker News: Ask HN
爱范儿
爱范儿
腾讯CDC
Last Week in AI
Last Week in AI
月光博客
月光博客
C
Cybersecurity and Infrastructure Security Agency CISA
P
Proofpoint News Feed
Help Net Security
Help Net Security
V
V2EX
C
Cyber Attacks, Cyber Crime and Cyber Security
C
CXSECURITY Database RSS Feed - CXSecurity.com
H
Heimdal Security Blog
L
LINUX DO - 最新话题
GbyAI
GbyAI
The Hacker News
The Hacker News
罗磊的独立博客
S
SegmentFault 最新的问题
H
Hackread – Cybersecurity News, Data Breaches, AI and More
博客园 - 【当耐特】
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
V2EX - 技术
V2EX - 技术
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
O
OpenAI News
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻

机核

游戏性能旗舰最强之选,一加 Ace 6 至尊版国补到手价2999元起 6元钱自己更换电动车刹车线 《生化危机9:安魂曲》编剧Haris Orkin专访 摸金游戏?音乐游戏!暗区新赛季这把能弹的琴有何来历? 好评国产武侠SRPG《息风谷战略》免费DLC现已推出 | 机核 GCORES 碎片 《生化危机:安魂曲》将于5月实装首个免费更新内容 | 机核 GCORES 新锐东方游戏,谱写世界新章! 沉浸式恋爱视觉小说游戏《心象演算》免费试玩版现已正式上线 | 机核 GCORES 互动影游《代号三国:龙起》上线!穿越三国与曹操并肩、与佳人同行、与权谋博弈! 《老头收集梦想生活》,游戏酒桌会6,录音笔VOL.689 | 机核 GCORES 破界·共生——《白日梦:无限世界》五大核心游戏特点解析 价格已到史低,锐龙5 9600X/锐龙7 9700X正适合抄底 时间循环之旅即刻启程!《归环》一周目测试今日开启 热门在线韩游变魂游,洛奇衍生作能否打破“花瓶”魔咒? LG UltraGear evo 全新高端显示器系列:当“5K”遇见“AI”,不止强大,更懂热爱 反套路三国互动影游《代号三国:龙起》今日上线! 愿望单登记人数突破10万!备受瞩目的“女儿养成游戏” 《梦幻魔法公主》今日于Steam平台上线!限时八折优惠中 《黑神话:悟空》全球音乐会2026巡演将于4月29日12时开票 | 机核 GCORES “Snowguelike”生存肉鸽挖矿新作《蛙穿雪境》公布发售日期,5月7日正式上线 | 机核 GCORES 重塑移动办公、AI创作新境!全新华硕灵耀Air系列、ProArt 骁龙版震撼首发,创芯未来 均分88:《Saros》媒体评分汇总 | 机核 GCORES 上海烛龙公布合作遗迹探险游戏《吉时已到》首支预告片 | 机核 GCORES 首个独立游戏《萝薇日记》已上线Steam! 烛龙新IP《吉时已到》首曝,打造国内首款中式合作遗迹探险游戏 喜加一:《暗黑破坏神Ⅳ》国服现已开启限时免费领取本体活动 | 机核 GCORES 新版《生化危机》电影定于9月18日上映,官方网站现已上线 | 机核 GCORES 《冲就完事模拟器2》“星球大战”联动DLC正式宣布 | 机核 GCORES SteamController将于5月4日发售,售价99美元 | 机核 GCORES 事已至此,内存这么用也算省钱了,“2+1”非对称双通道应用实测 505游戏母公司现已收购《明末:渊虚之羽》IP | 机核 GCORES 基石 手动杂谈12|格斗游戏也能讲好故事 | 机核 GCORES I Love You Mr Snowball 我的向日葵小姐 会比GTA6先发售吗?最硬核的生存游戏《DAYZ》要推新DLC了 周记02:在2026遇到新怪谈 什么硬件,能让游戏Loading界面快速消失? | 机核 GCORES GadioSpec《百年风云世界杯》免费试听集 | 机核 GCORES 百年风云世界杯Vol.1丨足球崛起 | 机核 GCORES 100年前,一群人提前替我们经历了AI恐惧 | 机核 GCORES 《呼啸山庄》2026 ——一辆当代艺术的大卡车冲撞了我的大脑 手游《天穗之咲稻姬:日之香巡灵传》宣布将于7月27日停服 | 机核 GCORES 集结梦之队,征战世界杯,《最佳球会ONLINE》上线Steam 山水绝景随心拼 休闲建造游戏《千里山河录》Steam商店页公开 巫师帽、法袍、魔杖,为什么它们是影视、游戏里的法师必备三件套? 《无鞘信使》-第一章 复古风自动战斗肉鸽《终结之终结》Steam商店页面现已上线 电脑里有一款不破不立的MMO,录音笔VOL.688 | 机核 GCORES 《生化危机》30周年纪念周边发售,这次是真的“保护伞” 可靠耐用+AI全能,惠普战66 2025锐龙版深度体验 《时之书:无尽终章》关卡“大航海时代”全球首次公开 经典名作《乌龙派出所》改编经营模拟游戏《乌龙派出所~阿两的商店街物语~》正式宣布支持简体中文 明日开冲,解锁反套路三国互动影游《代号三国:龙起》即将上线 独立游戏《这是我的宝藏!》已发售~ 降低难度不是唯一解,无压力死亡也是好体验 Netflix官宣新片《普通人》:讲述韩国现代史上的权力风暴 《生化危机:安魂曲》全球销量现已突破700万份 《绝地鸭卫》PC版5月15日正式发售 亡妻回忆录?女性向情感叙事游戏《S-mail》现已正式发售 全新酷黑风格,酷睿Ultra 200S PLUS的高性价比搭档!七彩虹BATTLE-AX B860M-PLUS S WIFI7 V20 超级黑刃主板测评 胖狗 索尼发布了港台地区PS5产品价格调整公告,将于5月1日起实施 二次元怪猎+性感美女!《碧蓝幻想:无尽黄昏》开启Beta公测 这款怪谈类型中式恐怖游戏居然更新了?! 《百日战纪 -最终防卫学园-》改编漫画将于今年冬季开启连载 《如被附身,请致电我们》:匈牙利黑色幽默恐怖小说 《竹屿山房杂部卷五》(译文) 大树 超越引擎 摄影分享丨四月 碎片杂记vol.72 当老式FPS与老式动画技术碰撞出新时代的火花—《神探杰克鼠》 想做独游,如何避免首个项目就褒姒? 在线多人动作游戏《OCTOPinbs》将于5月12日上线Steam! 《酒鬼女神的酒诡》确定将于2026年登陆Steam 《CRYMELIGHT》将于11月5日(周四)正式发售!4月25日开始预购! 钢铁国度MKI部落Evolution,蛮兵部分 【钢铁国度】部落-Primal MK I,蛮兵部分 这是一个高中生用ai跑出来的作品,我自称他为物理神话 钢铁国度MKI部落Metamorphosis,蛮兵部分上 钢铁国度MKI部落Metamorphosis,蛮兵部分下 INDIE Live Expo于4月25日举办:首发9款新作,超200款独立游戏亮相 暗黑卡牌策略新作《魔忌:穷鼠啮狸》发布全新中文试玩版和发售预告片,4月30日正式上线在即 战锤40K长篇小说:变节者・苦难主宰(三)(全书完) 战锤40K长篇小说:变节者・苦难主宰(二) 战锤40K长篇小说:变节者・苦难主宰(一) 英语语言学习丨短语专题1:短语的特点 唯一的EVE战争 【少前同人】【M200】战术人形会梦见音乐会吗 【昏迷3】即将发售,前作主角悉数到场!“恶灵”宋老师化身可操控角色 业内人士:游戏公司“十有八九”使用生成式AI,包括卡普空 欢庆一周年:《光与影:33号远征队》全新纪念艺术图、超值折扣与免费更新同步上线 才刚刚开始呢 【抽奖】《星际卡车司机》推出免费大型更新,四折平史低折扣进行中 四人合作FPS游戏《佣兵猎手》抢先体验重大更新 1 现已上线 Raw Fury新作《深馅地牢 Deep Dish Dungeon》将于今秋加入 XGP 塔防幸存者游戏《魔怪来袭》推出首个 DLC 《饿狼传说:群狼之城》1周年纪念!新DLC“沃尔夫冈·克劳萨”今日参战 猫狗相伴 欢乐闯关 双人合作平台跳跃游戏《猫狗同行》上线Steam商店页 《同行:月球逃脱》(Together: Moon Escape)上线将于明日上线Steam
简简单单的逻辑学: 从零开始的哲学学习番外(2)
阿兰的追随者 · 2020-06-06 · via 机核

西池微信讨论小组:微信搜索Justinzoufengze拉入讨论组

前文:致各位读者,我现在开始在知乎同时更新文章,我也会去回答一些哲学性的问题。如果您有兴趣,可以移步知乎来关注我,欢迎你来知乎和我一起探讨哲学!在此多谢了。( 知乎:图灵的追随者

在引出科学这个最重要的认识论成果后,各位读者可能对于纯哲学的讨论有些疲惫了,那么这次我们就来一些轻松的内容吧!逻辑学,作为一门和哲学有着深刻联系的学科,重要性可以用数学与物理学的关系来类比。数学是物理学的基础表述方式,而哲学的基础表述方式就是逻辑。相信这么说,大家就能理解为什么同样是说话,有人会给钱让哲学家说话,但是我们日常对话是不会有人给钱的(好冷)。那么这一次番外内容,就让我们一起看看最最基本的逻辑学内容——演绎推理。

1. 何为论证?

在日常对话中,我们经常听到一种非常令人恼火的口气:“如果事情是你理解的那样,你有本事证明出来!”证明或者论证是哲学最重要的一环,那么如何使用语言算是正儿八经的论证即是我们今天要讨论的话题。每个人都能写出一个好的论证,一个好的论证包含了以下两个要素:前提假设与结论。而一个好的论证需要前提假设与结论皆为正确。

一般来说,推理被分为三大类演绎推理(Deductive argument),归纳推理(Inductive Argument),与溯因推理(Abductive Argument)。这三种推理之间并不存在重合部分,也就是说,一个推理只能符合一个结构。

演绎推理即是我们今天需要接触的东西。归纳推理是科学所使用的获取知识的方式,通过大量对于外部世界的观察,来证明某一个假设。溯因推理是使用比较少的一种推理方式,一般是人尝试用理性对于已经发生的现象进行最合理的解释(听起来有些不靠谱)。我将会用另外一篇文章介绍归纳推理与溯因推理,本篇文章集中于介绍最重要的演绎推理。

2.演绎推理与有效性问题

首先我们来看一个非常典型演绎推理的例子。

例2:

  1. 前提:阿兰是一个人。

  2. 前提:人会行走。

  3. 结论:所以阿兰会行走。

这是一个包含了正确的前提假设与结论的例子。而从正确前提当中可以推导出正确的结论。那么让我们再看另外一个例子。

例3:

  1. 前提1:动物是人。

  2. 前提2:人是有自我意识的存在。

  3. 结论1:动物是有自我意识的存在。

对于这个论证,从直觉上我们就会发现“动物是人”这句话本身有问题,即前提1在概念上是错误的。不过我却可以说这个推理具有有效性(Validity)。有效性是对于演绎推理来说最重要的概念,而这个概念只针对于推理格式而言,并不针对于推理内容。一个具有有效性的推理具有:如果前提为真,则结论必为真的属性。读者需要注意我在这里使用了“如果”一词,也就是表示:具有有效性的推理在“如果”的前提下可以得出真的结论,但同样也可以出现拥有错误命题与结论的演绎推理也具有有效性的情况。从例3当中,我们就可以看出,尽管推理的内容是错误的,但只要拥有演绎推理的格式,也可以被称为有效的推理。从例2与例3我们可以总结出,演绎推理的最基本格式为:

  1. 前提:A是B

  2. 前提:B是C

  3. 结论:所以A是C

运用这个格式,我们可以填入任何内容,都可以满足有效性的要求,但只有在前提全部为真的情况下才会出现结论为真的情况。

3. 条件逻辑

了解到最简单的演绎论证格式之后,让我们加大一点难度,看一看演绎推理第二种形式,也是我们最经常看到的形式,条件逻辑。以下是一个具有有效性且正确的例子。

例4:

  1. 前提:如果今天下雨,那么我出门要带伞。

  2. 前提:今天下雨。

  3. 结论:我出门要带伞。

条件逻辑是我们在生活中交流经常使用的格式,其基础格式为:

  1. 前提:如果A,那么B。(或写作:A → B)

  2. 前提:A

  3. 结论:B

很简单对么?那么我们换一个例子看一看:

例5:

  1. 前提:如果今天下雨,那么我会出门。

  2. 前提:我会出门。

  3. 结论:所以今天下雨。

排除这人可能是天气之子的情况,我们是不是发觉这个逻辑出现了问题?在这个时候,我们最需要做的是将一句话的逻辑简化为最基础格式来发觉问题所在。

内容因剧透、敏感不适等原因被隐藏

点击查看

例5简化格式:

  1. 前提:如果A(今天下雨),那么B(我会出门)。

  2. 前提:B(我会出门)。

  3. 结论:A(所以今天下雨)

现在是不是看得非常清楚了?我们将这个简化的格式与标准格式进行对比,我们发觉前提2本应该是条件A,在例5这里却变成了条件B。这是一个非常经典的错误,一个人错将条件逻辑当中的推理结论作为条件推导出了假设原因。而这个例子也是一个典型的非有效性(Invalid)推理。

从这开始,我们知道了最简单的判断一个推理的两大条件:

  1. 是否具有有效性。

  2. 是否拥有正确的前提。

只有在同时满足这两个条件的情况下,我们才能获得一个正确的结论。

5. 基础逻辑谬误:循环论证

基础的演绎逻辑与条件逻辑是我们看到,我们可以看些有趣的东西了,循环论证,也被称为乞题,是我们在生活中经常看到的一种逻辑问题。不过想一想连著名的哲学家笛卡尔也会犯这种错误(笛卡尔循环),似乎我们在生活中偶尔出现一下这个问题也就无可厚非了。不过,既然我们决定学习哲学,那么我们第一要抛弃的便是情绪对于逻辑本身的影响,让我们来看一个经典的例子。

我们在生活中,经常会看见一些商家在推销产品时候会这么说:“我们的商品如何好,你问为什么好?因为这是我们推荐的商品。”如果我们拿演绎推理的格式写出:

例子6:

  1. 前提:这是我们推荐的好商品。

  2. 结论:所以这是个好商品。

我们从这个例子可以看出,这个论证本身就缺乏一个前提2来解释为什么商品好,而前提假设本身就是商品是好商品,因此,我们便在一个死循环的逻辑里无法获得真正的结论。

6.逻辑与生活:自证预言

在我们理解了基础的逻辑结构后,让我们拉回到生活中,看看我们的思考会如何影响自身行为。一个我们经常会听到的例子是:小A昨天做了一次演讲,他一直自己没有演讲天赋,所以他昨天的演讲就磕磕绊绊的,最后也没有得到非常好的评价。

让我们用演绎推理的方式看看这个例子:

  1. 前提(想法):小A相信如果他去演讲,他一定会搞砸。

  2. 前提(现实):小A去演讲,并且的确搞砸了。

  3. 结论:小A是真的不擅长演讲。

从这个例子,我们可以看到,小A在之后演讲搞砸的表现,的确可以证明他不擅长演讲.....或者说,我们真的可以这么想么?读者可以注意到小A先拥有了一个对于自己的认识,之后证明了其正确性。但事情会不会因为小A不同的对于自身的认识而改变呢?虽然听起来像是心灵鸡汤,不过对于演讲这件事,小A的证明似乎并不能作为确切的证据。因为对于前提1的把握,大多数情况都来源于一次或数量较少次数的失败经验,例如小A之前做过3次演讲,没有一次成功。但小A是否忘记了是自己缺少了某些特定的条件,比如演讲的顺序,演讲的开场方式,或是每次演讲都可能因为不同的原因才造成了失败。因此,用一个并不确切的前提,我们并不能推导出结论。

这个被搞砸的事情可以是任何事,玩音乐,工作,学习,与他人相处,虽然不同行为会拥有不同的因素影响事件发展,但我依然希望读者回想一下一个正确的推理需要什么样的条件?

其一,是否具有有效性(Validity)。其二,是否拥有正确的前提。在此,我并不想去千篇一律提出我们要相信自己的结论。而是反过来对于那些认为自身永远做不好一件事情的朋友提供一个新的思考的视角。如果这件事情,并非是我们做不到这个决定性因素导致的失败,而只是我们从一开便没有对自己有着正确的认识,那么我们是否还是有改变的空间呢?从逻辑去看待这个问题,我们看到了思考与行动之间的联系。而这个联系会随着我们一步一步学习哲学,获得更深的体会。

参考书目与推荐内容:

Sober, E. (2005). Core questions in philosophy: A text with readings. Upper Saddle River, N.J: Pearson/Prentice Hall

《苏菲的世界》,作者 乔斯坦·贾德

《Crash Course Philosophy 十分钟哲学课》,链接点击此处