西西河

主题:【原创】“线性逻辑”引出的话题 -- xu514

共:💬7 🌺28 新:
全看分页树展 · 主题
家园 【原创】“线性逻辑”引出的话题

"什么?逻辑还有线性的!这该不是你的拍脑袋创新吧!"

一日,我同一饱学之士闲聊,他如是说。我理所当然的认为很多人同他一样,有这样的疑问。

首先声明,我本人是很想创新一些新词的,但是学术竞争激烈的今天,各种闻所未闻,见所未见的领域内都被能人挤满了,想发明新理念的机会都没有给我这样的普通人留下,不能不让我十分伤感。

言归正传,线性逻辑是个逻辑学中的专用名词,指的是当逻辑元素是资源的时候,它是可以被消耗的,比如,牛吃的是草,挤出来的是奶。开始是牛和草,但是后来草被消耗了,变成牛和奶。“线性”就是指这样一种变换。

类似于线性逻辑的另一个词:线性思维。后者是说直线式的,类似计算机程序式的思维模式。

这个线性逻辑引出了怎样的话题呢?

我来举个例子:我们现在构建一个系统,一只羊和一只狼;规则是:狼吃羊。按照线性逻辑来推理,狼会把羊消耗掉,结果是羊没有了。只剩狼。再进一步,狼没有了食物来源,自然要饿死。(现实中狼当然还可以吃别的东西,不至于饿死。)结果是:羊没有了,狼也饿死了。这个模型是成立的。

当我们把羊和狼的数量增加,我们看到这个模型在一定基础上还是成立的。但是如果我们把羊和狼的数量增加到自然界的实际数量的时候,问题出现了。首先,自然界狼没有把羊吃光。其次自然界里狼的数量远远少于羊的数量。换句话说,这个狼吃羊的模型不能用于自然界这个复杂情况中。

按说,出在食物链上层的狼,有充足的食物来源,应该大量繁衍,最后结果就是羊没有了,狼不得不吃其他的物种,最后把一个个能吃的全吃光,自己也变成素食主义者。才说的过去。但是现实情况偏偏不是这样的。

聪明的你也许已看出了问题:最初模型是不可推广的。

我们所处的世界中很多事物都不是线性的,而这个“非线性”中的某一段恰巧能够近似为线性,用线性的分析是让问题变的简单直观。但是这种局域性的分析是不能逻辑推广的。

我就说到这,相信大家身边都有不同的例子。


本帖一共被 1 帖 引用 (帖内工具实现)
全看分页树展 · 主题


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河