您现在的位置是:首页 > 抖音知识 > 科普逻辑(上)三段论

科普逻辑(上)三段论

抖音知识作者:gezhong日期:3月前点击:128

摘要:逻辑学中的三段论,日常生活中的逻辑错误,逻辑的起点和发展。

原视频链接>>

视频内容

      今天如约来科普一下逻辑学。绝对地板难度啊,只讲三段论,别的什么都不讲。三段论呢必须得结合数学来讲形式逻辑,他跟这个数学啊,它本来它就是联系的,你看这得借助一些教具了。

      首先呢我们来看啊,这里有两个圈,大圈是 a 小圈是 b 这个在数学上这叫做集合,b 完全套在 a 当中,那么我们就说 b 是 a 的真子集啊,b 中所有的点都包含在 a 内,那好你看因为 b 属于 a,然后呢这个点叫元素啊,元素又属于 b,所以这个元素一定也属于 a,这就叫做三段论,大前提小前提结论,b 属于 a 元素属于 b,所以元素一定属于 a。

      那好再细一点,b 中所有的点都属愿意,所以呢只要属于 b1 定属于 a,这叫做充分条件啊,属于 b 是属于 a 的充分条件,a 中呢有一些点并不属于 b,但是如果不属于 a,一定不属于 b,所以属于 a 是属于 b 的必要条件。

      哎到这就足够了啊,后面什么逆命题,否命题,逆否命题什么的,那咱都不说了,就这么简单的一个三段论,应该要知道,知易行难,现实中你要想准确应用其实非常难的。

      我们日常生活中会见到很多人的说话没有逻辑,咱举个例子,就经常有人问我哎呀,拍这视频拿多少钱呢啊,他们的逻辑是什么呢,因为有的人拍视频是为了拿钱,然后我拍视频了,所以我也拿钱了,但是这个就完全不合逻辑。

      我们再来看另一幅图,你看 a 和 b 也可以是这样的,a 这个集合代表拿钱的集合,b 代表的是拍视频的集合,拍视频的人当中有些是为了拿钱,但是也有一些不是为了拿钱,有可能只是想科普呢啊,甚至有可能我只是想凑得瑟,想显摆呢不可以吗,a 和 b 之间有交集啊,重叠的这部分,这叫起的交集啊,但是呢 b 不是 a 的真子集,这个时候就推不出结论来,你看就这么简单,一个原则非常容易被违背,原因就在于啊,日常生活当中很多概念它模糊不清,就是这个边界呀,很多人搞不清楚这个边界啊。

      你看还有说是这个有因果,就算是有逻辑,那可不一样,那可太不一样了,英语里面至少它分强因果和弱因果啊,because 这叫强因果 for 这就是弱因果唉,咱们连强因果和弱因果都不分啊,就是因为所以你看我举个例子啊,呃我老妈每次这一听我咳嗽呀,凉着了吧,赶紧加衣服啊,这老太太关心我们啊,这里边儿他用的逻辑是什么,因为着凉了会咳嗽啊,我咳嗽了,所以我着凉了,呃这么说吧,很可能这是对的啊,多数情况这是对的,但是它是不合逻辑的啊,你看咱就这么说,我咳嗽有没有可能是因为我今天讲课多了,说话多了,有没有可能是因为细菌感染啊,他就一定是因为凉着了吗啊,咳嗽不一定需要凉着,所以呢它是一个不必要条件,那再说充不充分呢,着凉了一定会咳嗽吗,有的身体好的着凉了,人不咳嗽,所以也不是充分条件,既不充分又不必要条件啊,啊这些啊这个日常生活中非常容易弄错。

      另一方面,合乎逻辑的不一定是对的,甚至可能是完全错的,大家再听这么一句话啊,所有犹太人都有罪,爱因斯坦也是犹太人,所以爱因斯坦也有罪,这话对吗,绝对不对啊,这混账话,这是他合不合逻辑,哎这话真合乎逻辑,他问题在哪,他大前提就错了啊,因为所有犹太人都有罪,谁说的谁同意啊,那么这就涉及到了一个严峻问题,我们日常生活中怎么保证这个大前提一定正确,那么任何一个理论体系啊,一定要有几个基本的原则,基本的原理哎,努力保证这些基本原理的正确,这个叫做逻辑的起点来。

      大家再看一幅图,每一个理论体系都是这样的,几个基本原理尽量保证正确,然后呢用三段论推出一系列的,这叫做定理啊,然后定理再生发出更多的推论,千千万万的推论,这样组成一个理论体系,那么大家可能想哎呀,这几个基本原理一定是真理了,真不是哪有绝对的真理啊,没有,这几个基本原理应该是公认的事实,或者公认的设定,不一定是真理啊,恰恰相反,这几个基本的这个设定,我们的要求是越简单,越朴素越好,最好是废话,咱们就以这个欧式几何,欧式几何为例啊,欧式几何五大公社也叫五大公理,这个大家都听说过啊,基本上都是废话啊,你比如投一个哎,任何两个点都可以用一条直线连接两点,确定一条直线诶,这个那不就废话吗,那第四个更废话了,就是任何直角,所有的直角都相等,啊就是从这五句废话哎,欧几里德推出了很多很多定理,又推出了更多的推论,整个欧式几何,这个参天大树就是这么建立起来的,那么即使这么简单,这么朴素,最后那第五公设还是有问题,倒不是说错误啊,这玩意没什么对错,第五公社它限制了这个几何的发展,到一定程度发展不下去了,哎这叫画地为牢,固步自封了,后来呢修改了第五公社之后,才发展出了这个非欧几何。

上一篇