勺见沙龙 活动预告：余俊伟：逻辑能推理出所有的真理吗？

                
                
你有没有想过，这个世界上的“真理”是如何被我们认识的？
起初，我们观察世界的现象，归纳出一些最基本的真理：例如两点之间直线最短。它们是利用归纳直觉得到的第一批真理，称之为公理。
接着，运用逻辑推演，我们就能够在上述真理的基础上推理出新的、更复杂的真理：例如4是一个偶数。这些新真理被称为定理。
那么，是否只要我们在系统中引入了足够多的公理，进行了足够聪明的推理演绎，就有能力判断出世界上任何一个命题是否是真理呢？
这似乎毋庸置疑。但令人惊奇的是，这却只是人们的错觉。
相反，哥德尔证明了：对于一个足够强的形式系统（形式系统可以理解为一个严格化的理论体系），至少有一个真理是它无法证明也无法证伪的。也就是说，我们的严格的逻辑推演，由于系统本质上的原因（而非由于我们的努力还不够），无法认识到所有的真理。
这是我们对于自身的认识能力的里程碑式的反思，它就像相对论动摇了古典优美的牛顿力学世界观一样，动摇了几千年来众多数学家、哲学家和普通人关于真理的认识。
                
                
你又想到了什么呢？
我们能有什么方法去认识到所有的真理吗？
这是对柏拉图主义的一种证实还是否定？
如果人最终有能力能认识到所有真理，那么人工智能（它与形式系统等价）是否本质上是无法达到人的思维能力的？
或许你有很多的惊奇、困惑和疑问。这一次，与你再次久违的勺见沙龙（是的我们又有些日子没办活动了），邀请你一起来沿着哥德尔的脚步，从逻辑哲学的视角谈谈理论的形式化方法和它的限度。
                
                
主讲人：余俊伟
1974年生，江西安义人。
中国社科院哲学博士，中国人民大学哲学院副教授，博士生导师。
主要著作：
《道义逻辑研究》
《否定词研究》
《数理逻辑基础——一阶逻辑与一阶理论》
《逻辑与批判性思维》
自白：
“痴迷于探究真，还常思考何为善，也追求美的真谛，偶尔还在侠义武士的情怀中寻求慰藉。虽已到不惑之年，却仍然时常迷惘，无论在象牙塔内，还是在市井院中。欢迎志同道合者与我一同解惑。”
活动时间：
2015年5月31日（周日）下午14:30 ~ 16:00
活动地点：
中国人民大学 泊星地咖啡
（问路电话：18811301405）
入场资格：免费。
活动流程：
14：30~15：15 主讲人演讲
15：15~16：00 主讲人引导讨论
16：00~随意 正式活动结束，自由交流
烦请在微信号中回复“报名”俩字来报名，方便我们统计人数。
(微信公号：shaojianchuanyue)
                
                
如果你想多先了解一些相关方面的背景知识，可以在微信回复“不完备性”获取一篇文章。文章很长，如果没耐心全部看完的话，可以直接拉到最后一部分，在那里我们探讨了一些相关的延伸话题。
欢迎带着你的问题前来，我们为提问者准备了一个克莱因瓶作为小礼物。如果不知道这瓶子是啥的话，可以回复“瓶子”收取解释。