<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Logic | Yi Zhuang</title><link>https://vortexer99.github.io/tags/logic/</link><atom:link href="https://vortexer99.github.io/tags/logic/index.xml" rel="self" type="application/rss+xml"/><description>Logic</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Wed, 04 May 2022 00:00:00 +0000</lastBuildDate><image><url>https://vortexer99.github.io/media/icon.svg</url><title>Logic</title><link>https://vortexer99.github.io/tags/logic/</link></image><item><title>信息的发展演变：认知模态逻辑与归纳谜题</title><link>https://vortexer99.github.io/posts/2022/05/logic/</link><pubDate>Wed, 04 May 2022 00:00:00 +0000</pubDate><guid>https://vortexer99.github.io/posts/2022/05/logic/</guid><description>&lt;p&gt;《密码学史》课程作业。是我很感兴趣的一个逻辑问题。&lt;/p&gt;
&lt;p&gt;1 引言
2 认知模态逻辑
2.1 简介与基本运算符
2.2 基本公理
2.3 群体知识
3 归纳谜题
3.1 归纳谜题的总体特征
3.2 引言中问题的解析：Common Knowledge 的力量
3.3 其他类似归纳谜题的例子
4 思考与启示
4.1 认知陷阱：Facts &amp;amp; Opinions
4.2 隐式信息：“我不知道”=“我知道”
4.3 达克效应：不知道自己知道
4.4 推理成本：时间与脑力
4.5 已读回执：线下交流与线上的区别
4.6 战术推理：猜疑链
4.7 人工智能：动态认知逻辑
5 结语
6 附录
6.1 陶哲轩博客原文
6.2 引言中命题的证明过程&lt;/p&gt;
&lt;p&gt;
&lt;/p&gt;</description></item></channel></rss>