科普逻辑(上)三段论
摘要：逻辑学中的三段论，日常生活中的逻辑错误，逻辑的起点和发展。
视频内容
今天如约来科普一下逻辑学。绝对地板难度啊，只讲三段论，别的什么都不讲。三段论呢必须得结合数学来讲形式逻辑，他跟这个数学啊，它本来它就是联系的，你看这得借助一些教具了。
首先呢我们来看啊，这里有两个圈，大圈是 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 这就是弱因果唉，咱们连强因果和弱因果都不分啊，就是因为所以你看我举个例子啊，呃我老妈每次这一听我咳嗽呀，凉着了吧，赶紧加衣服啊，这老太太关心我们啊，这里边儿他用的逻辑是什么，因为着凉了会咳嗽啊，我咳嗽了，所以我着凉了，呃这么说吧，很可能这是对的啊，多数情况这是对的，但是它是不合逻辑的啊，你看咱就这么说，我咳嗽有没有可能是因为我今天讲课多了，说话多了，有没有可能是因为细菌感染啊，他就一定是因为凉着了吗啊，咳嗽不一定需要凉着，所以呢它是一个不必要条件，那再说充不充分呢，着凉了一定会咳嗽吗，有的身体好的着凉了，人不咳嗽，所以也不是充分条件，既不充分又不必要条件啊，啊这些啊这个日常生活中非常容易弄错。
另一方面，合乎逻辑的不一定是对的，甚至可能是完全错的，大家再听这么一句话啊，所有犹太人都有罪，爱因斯坦也是犹太人，所以爱因斯坦也有罪，这话对吗，绝对不对啊，这混账话，这是他合不合逻辑，哎这话真合乎逻辑，他问题在哪，他大前提就错了啊，因为所有犹太人都有罪，谁说的谁同意啊，那么这就涉及到了一个严峻问题，我们日常生活中怎么保证这个大前提一定正确，那么任何一个理论体系啊，一定要有几个基本的原则，基本的原理哎，努力保证这些基本原理的正确，这个叫做逻辑的起点来。
大家再看一幅图，每一个理论体系都是这样的，几个基本原理尽量保证正确，然后呢用三段论推出一系列的，这叫做定理啊，然后定理再生发出更多的推论，千千万万的推论，这样组成一个理论体系，那么大家可能想哎呀，这几个基本原理一定是真理了，真不是哪有绝对的真理啊，没有，这几个基本原理应该是公认的事实，或者公认的设定，不一定是真理啊，恰恰相反，这几个基本的这个设定，我们的要求是越简单，越朴素越好，最好是废话，咱们就以这个欧式几何，欧式几何为例啊，欧式几何五大公社也叫五大公理，这个大家都听说过啊，基本上都是废话啊，你比如投一个哎，任何两个点都可以用一条直线连接两点，确定一条直线诶，这个那不就废话吗，那第四个更废话了，就是任何直角，所有的直角都相等，啊就是从这五句废话哎，欧几里德推出了很多很多定理，又推出了更多的推论，整个欧式几何，这个参天大树就是这么建立起来的，那么即使这么简单，这么朴素，最后那第五公设还是有问题，倒不是说错误啊，这玩意没什么对错，第五公社它限制了这个几何的发展，到一定程度发展不下去了，哎这叫画地为牢，固步自封了，后来呢修改了第五公社之后，才发展出了这个非欧几何。