数学逻辑学悖论：抽象语言

数学逻辑学悖论：抽象语言，今天就让阿尔法趣味数学网小编来给同学们带来这个数学逻辑学悖论：抽象语言

每天10分钟头脑大风暴，开发智力，培养探索能力，让你成为学习小天才。

故事适合年级：小学二年级

【数学逻辑学悖论：抽象语言】趣味小故事：

　　M：语义学悖论要靠引进抽象语言来解决。关于世界的种种论述，如“苹果是红的”或“苹果是蓝的”等，都是用实际语言来组成的。而关于真实性的论述则必须用抽象语言来组成。

　　M：在这个例子中，不存在悖论，因为句子A是用抽象语言写出的，谈论的是句子B的真实性，而句子却是用实际语言写出的。

　　M：我们怎样才能谈论一种抽象语言的真实性呢？我们必须达到更高级的抽象语言。在这个无穷的阶梯中，每一级对下一级都是抽象语言，对上一级又是实际语言。

　　抽象语言的概念是由波兰数学家阿尔弗雷德·塔斯基提出的。在阶梯的底层是实际语言或形象语言，如“火星有两个卫星”。像真和假这种词不在这种语言中出现。为了谈论用这种语言表述的句子真和假，我们必须使用抽象语言，即比所说明的语言更高一级的语言。抽象语言包括了所有的形象语言，但它比形象语言“更丰富”，因为它可以谈论形象语言的真实性。我们引用一个塔斯基喜爱的例子：“雪是白的，”这是用形象语言说明的。而“‘雪是白的’这句话是真的”就是用抽象语言说的。

　　我们能否谈论一句抽象语言的真假性呢？能，不过仅当进到更高一级的抽象语言，并用更高级和更丰富的，包括了所有它以下的形象语言的语言说话时才能做到。

　　这个阶梯的每一级对它紧上面那一级而言都是形象语言。而每—级，除开最底下那级外，对它紧下面那级而言，又是抽象语言。这个阶梯，我们愿意向上延伸多少就可以有多少。

　　这个阶梯的头四级是：

　　A．任意一个三角形的内角和是180°

　　B．句子A是真的。

　　C．句子B是真的。

　　D．句子C是真的。

　　注意，语句A简单叙述了几何客体的定理。关于定理的证明在几何教科书中则是用抽象语言B写的。关于证明理论的书又是用语言C写的。幸好，数学家很少需用比C更高级的语言。

　　刘易斯·卡洛尔在一篇文章中饶有趣味地讨论了这个阶梯在理论上的无限性。题为“乌龟对阿基里斯说了些什么”，后来重印时题为“刘易斯·卡洛尔的魔术。”

更多小学趣味数学故事，可以微信搜索qwshuxue或者中小学趣味数学，获得更多趣味数学故事的文章。

阿尔法趣味数学小课堂：数学小故事

喜欢更多数学小故事，可以给小编留言，小编会在第一时间给大家带来喜欢有趣的数学故事。

版权申明：部分图片来源网络，转载请注明【阿尔法趣味数学网（www.allfloor.org）】。

免费下载：微信扫码关注网站官方公众号【中小学趣味数学 qwshuxue】

1、回复 “101”免费领取《【小学奥数】学er思内部题库word可打印》
2、回复 “102”免费领取《【记忆力教程】快速高效学习教程》
3、回复 “103”免费领取《一分钟速算教程》
4、回复 “104”免费领取《Top 32经典英文启蒙绘本PDF+MP3》
5、回复 “105”免费领取《儿童英语绘本195本【PDF版】》
6、回复 “106、107、108”免费领取《更多神秘礼物……》