人工智能基础——为什么逻辑学中“假推真”、“假推假”永远是真命题?
实际上这章讲的是逻辑学,什么合取范式、析取范式啥的,但是哪些形式化的东西我懒得去写,我们不如考虑其中一个最令人感到费解的问题,为什么“假推真”、“假推假”是真命题。
我直接抛出结论,“如果假”是没有意义的,因为无法消除不确定性,而逻辑世界只有真假,无意义就是真。
首先,我们为什么会觉得“假推真”一看就不对,那是我们认为这句话的意思是“假和真同时成立了”,但那是等价啊,我们考虑的是假推出了真,是假设的不成立,推出了结果的成立。
明确了问题之后我们再看,为什么说“如果假”是没有意义的?a推出b,a是条件。“如果我不是人,那么地球是糖做的”,这两个都是假的,但是,结果不成立不等于命题不成立。事实是我是人,地球也不是糖做的,我是人可以推出地球是糖做的,而我现在不是人,那么就什么也推不出。(a能推出b,但是非a推不出b也推不出非b)所以“如果假”这句话说了等于白说,你不能因为说了一句废话而得出假的判断。也就是说条件永远不成立时,结果是不定态的,而且这种不定态没有划分(条件是变量时是一条真假的分界线)。
感觉前面讲的太复杂了,简言之就是你提了一个永远不会成立的条件,那你说了等于白说。
逻辑世界只有真假是前提,这是在创造逻辑时规定的,这种规定本身也许不一定合理,这得上升到哲学层次。
我们现在已知逻辑世界只有真假,那为什么不确定就是真,而不是假呢?我们用和取式(用和连接的关系)描述一个问题,我们在枚举条件的时候,实际上都是自动忽略了其他很多无关条件,那么在找到一个实例去判断条件真假时,只要满足了我们枚举的条件就可以使用推出关系了,而不需要关注这些无关条件,即便这些无关条件是不确定的。和取式,把各种条件和起来,如果无意义是假的话,那么和一个恒假的条件,任何条件都恒假了,这显然破坏了逻辑。
也就是说,所有的逻辑关系为了保持逻辑自身的闭合,在命题中无意义必须是真。
但这也可能是一种对偶关系,恕我还没有完全想清楚,可能存在一种把不确定当作假的判断方式
另外,变量和条件是判断真假的分界线,它是“不确定”,但它是消除不确定性的工具,不是无意义。而“如果假”是无意义,它什么都没有提供。
最后,从集合的角度很容易就可以记住结论。0就是空集,1就是全集,推出关系是完全满足的。但是,任何条件都不是全集的一部分,而是划分0和1的工具,条件一旦被确定(赋值),不是0就是1了,而不存在子集这种东西,所以只是帮助记住结论。
我再从哲学意义思考一下这个问题,真可以推出真,但是真推不出假。假既可以推出假,又可以推出真。也就是说,真只能推出本身,假却可以真和假。那么如果我们有真,我们将永远只有真。正是因为有了“假”,我们才有了逻辑,很奇妙不是吗。所以说,假才是逻辑世界的根本。老子说:“一生二、二生三、三生万物”,可以说,假才是那个一,而真则是0。这就像基础运算空间(不引入极限)种,给你一个0,无论使用什么方法都无法衍生出其他数字。如果把除了0以外的其他数字都当作“有”,而把0当作“无”,就和逻辑空间有异曲同工之妙。不去考虑一些高等数学运算(如0/0,0阶乘之类的),其实就是保证了空间元素的“原子性”,也就是假设存在最小单元,是绝对可分的概念。在这种概念下,未知的概念必须被划分到某个定态,这种定义方式可能是不完备的。你看高等数学中的0/0,就是把0变成了各阶无穷小,0有了不定态的意义。就好像量子力学中的不确定性,如果世界只是原子组成的,那我们可以预测一切可能,但因为有了不定,所以世界才如此奇妙,而不是所有的一切都可以被“逻辑”所推演出来。
事实上我根本没读过《逻辑》,也就最近课上这个问题让我觉得很困惑,这些都是我瞎想的,“思而不学则殆”,等有空了还得仔细研究一下别人是如何思考这些问题的。但另一方面,如果在自己的思维空间里可以把某些概念理论自圆其说,也算是形成自己的知识体系了,这么想倒也不错。
人工智能基础——为什么逻辑学中“假推真”、“假推假”永远是真命题?相关推荐
- 3的n次方在c语言中如何表示真和假,C程序作业答案
什么是程序及程序设计 程序(program)是为实现特定目标或解决特定问题而用计算机语言编写的命令序列的集合.为实现预期目的而进行 操作的一系列语句和指令.一般分为系统程序和应用程序两大类.程序设计( ...
- c语言中用什么表示真假,C语言中如何表示“真”和“假”?系统如何判断一个量的“真”和“假”?...
阅读:5449 大家说了很多,我来补充一个没人提到的.那就是:只要这婚你同意结了,不管你如何委屈.如何不甘.觉得对方条件与你天差地别,在所有外人眼里,你们俩就是半斤八两.臭味相投.三观契合的一对儿,一 ...
- AI 人工智能基础及应用
一.人工智能概述 1. 简史 2. 应用领域 安防 实时从视频中检测出行人和车辆. 自动找到视频中异常的行为(比如,醉酒的行人或者逆行的车辆),并及时发出带有具体地点方位信息的警报. 自动判断人群的密 ...
- 人工智能在物联网项目中的应用
人工智能在物联网项目中的应用 综述 人的智能体现在哪些方面 1. 认识世界? 2. 解释世界? 3. 判断世界? 4. 控制世界? 5. 改变世界? 6. 展示世界? 7. 预测世界? AI怎么做 1 ...
- 文献翻译__人工智能时代医学图像重建中的凸优化算法(第4、5、6章)
文章下载–我的Gitee Convex optimization algorithms in medical image reconstruction-in the age of AI 人工智能时代医 ...
- 人工智能在医学影像中的研究与应用
人工智能在医学影像中的研究与应用 韩冬, 李其花, 蔡巍, 夏雨薇, 宁佳, 黄峰 沈阳东软医疗系统有限公司,辽宁 沈阳 110167 慧影医疗科技(北京)有限公司,北京 100192 东软集团股份有 ...
- 你不得不了解的人工智能基础知识
你不得不了解的人工智能基础知识 1.什么是人工智能? 首先我们利用传统的软件和人工智能进行比较,就容易使大家更容易理解. (1) 传统软件 VS 人工智能 传统软件是[基于规则]的,需要人为的设定条件 ...
- 人工智能基础(高中版)教材补充和资源分享
这些天,抽空读了一下人工智能基础(高中版),觉得作为高中科普教材,还是非常不错的,五星好评推荐. 下面会针对每一章的内容,依据兴趣等补充一些资料. 2018年10月更新链接(人工智能开放课程,点击红旗 ...
- 星药科技李成涛:人工智能在药物研发中的应用
不到现场,照样看最干货的学术报告! 嗨,大家好.这里是学术报告专栏,读芯术小编不定期挑选并亲自跑会,为大家奉献科技领域最优秀的学术报告,为同学们记录报告干货,并想方设法搞到一手的PPT和现场视频--足 ...
最新文章
- 孰优孰劣?Dubbo VS Spring Cloud性能测试大对决!
- 『原创』再谈用 php 实现域名 whois 信息查询
- 亮剑:PHP,我的未来不是梦(3)
- cookie及session
- 116. Leetcode 1143. 最长公共子序列 (动态规划-子序列问题)
- Fix Missing Scripts
- 关闭fedroa19开关机画面
- 第四十三节,文件、文件夹、压缩包、处理模块shutil
- 算法与数据结构(part3)--数据结构概述
- 今日心得:给自己写信
- 【MySQL】向已有主键的表附加主键属性的自动编号
- Android事件传递机制(转)
- 考研数据结构--排序汇总(自用)
- 车载以太网 PHY 物理层测试TC8 测试需求
- 面对5400万抑郁症患者,这600位志愿者“树洞”打算用AI拯救他们
- python中空字符串是什么_python为空怎么表示 python如何判断字符串为空
- 区块链经济学:制度加密经济学入门指南
- Android简单的编写一个txt阅读器(没有处理字符编码),适用于新手学习
- GitHub封了41万俄罗斯开发者账户,开源真的无国界?
- Oracle中序列的操作以及使用前对序列的初始化
热门文章
- 瞧瞧你的指甲,看你身体还好不!
- 格子路径问题-施罗德数
- OFFICES当出现“向程序发送命令时出现问题”错误怎么解决
- 《电子测量与仪器学报》最新投稿经验2022.9
- 建筑业企业施工劳务资质备案申请条件及劳务分包的种类
- [ZT]JavaScript+div实现模态对话框[修正版]
- 2014年终总结-暖冬
- google网页翻译使用不了的解决方案
- nacos Field ‘nid‘ doesn‘t have a default value;
- 2019AMC美国数学竞赛历年晋级分数线cutoff/DHR公布