易天富金融社区

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
易天富首页 基金研究中心 每日基金公告 基金分析软件 基金大师 买 卖 通
每日基金净值 每日实时估值 集合理财净值 雷达测评 智能选基 基金比较
查看: 336|回复: 35

逻辑学分档次:形式逻辑与数理逻辑

[复制链接]
发表于 2019-4-13 11:45:20 | 显示全部楼层 |阅读模式
逻辑是人脑的操作系统,与身俱来,版本唯一。
至于逻辑学,那只是描述人脑操作系统的一份说明书,并非系统本身。按叉格高低,逻辑学分两个版本:形式逻辑与数理逻辑。眼下你死我活的猫眼逻辑大战,就是一场低版本V高版本的叉格斗争,可低版本一派仍自我感觉良好。
1)形式逻辑
形式逻辑即以中文等自然语言写就的人脑操作系统说明书,这在大学属文科课程。其特点是使用自然语言解释逻辑,因而难度低,初中文化即可入门,适于扫盲,但叉格低,体系不够严谨,也不能从整体角度研究一个理论体系的公理化、可定义性、可证明性、自洽性与非自洽性这类带有哲学价值的重要领域。例如,在猫眼被个别小知不断炒作的形式逻辑即典型的自然语言逻辑。以三段论这个话题为例,纵使985的形式逻辑也只能长这样,顶多加俩英文字母,无法进入演算:



2)数理逻辑
数理逻辑即以高等数学公式写就的人脑操作系统说明书,这在大学属理科课程。其特点是使用人工定义的数学语言解释逻辑,因而难度大,非理科本科以上文化无法入门,但叉格也高,严谨,既适于专业人士也适于计算机,它能从整体角度诠释一个理论体系的公理化、可定义性、可证明性、自洽性与非自洽性这类带有哲学价值的领域。比如,影响深远哥德尔非完备性定理和塔斯基真理定义就是数理逻辑的杰作。再比如,李三畏的叉格学建模时所用到的一阶语言,也属于数理逻辑。仍以三段论为例,即便三本的数理逻辑也长这样,远超985的形式逻辑难度:




全凯全猫和全楼人民,都应当高叉格、严要求地聊逻辑,这才能在一个不太长的时期内聊完别人几个世纪的东西。因而我们只能弯道超车,即一开始就定位于数理逻辑,而不能总在形式逻辑的小泥塘里光着屁股扑腾,还特么自我感觉良好。


<!-- 楼主编辑 -->此贴已经被作者于 2019/4/13 18:59:03 编辑过<!-- 楼主编辑 end -->
发表于 2019-4-13 11:58:19 | 显示全部楼层
元芳,你怎么看?
回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:13:07 | 显示全部楼层


回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:16:47 | 显示全部楼层
一切落后,都是B格的落后。
回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:20:35 | 显示全部楼层
逻辑是人脑的操纵系统,与身俱来,版本唯一。
至于逻辑学,那只是描述人脑操作系统的一份说明书,并非系统本身。按叉格高低,逻辑学分两个版本:形式逻辑与数理逻辑。
回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:25:06 | 显示全部楼层
我们每一只猫,都应当根据自己的叉格选择一种聊法。
回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:45:38 | 显示全部楼层
说好的知识分子论坛呢?
回复 支持 反对

使用道具 举报

发表于 2019-4-13 12:56:37 | 显示全部楼层
顶楼主!
回复 支持 反对

使用道具 举报

发表于 2019-4-13 13:31:03 | 显示全部楼层
形式逻辑不过是个大集合包含小集合的简单判断罢了,纯属幼儿园级别的。有人说近代科学是建立在形式逻辑上的,这更是扯淡。

近代科学确实是建立在一整套完整的逻辑思维上的,但这里最关键主要是数理逻辑,而不是什么形式逻辑。把形式逻辑无限拔高到近代科学的基石,就如同把中国古代儿童玩的竹蜻蜓视为现代航天飞机的基石一样的可笑。

回复 支持 反对

使用道具 举报

发表于 2019-4-13 13:40:02 | 显示全部楼层
url=http://user.kdnet.net/?username=专烤填鸭]@专烤填鸭[/ur
回复 支持 反对

使用道具 举报

发表于 2019-4-13 13:42:21 | 显示全部楼层
请问楼主,你是怎么定义逻辑的?
回复 支持 反对

使用道具 举报

发表于 2019-4-13 13:42:27 | 显示全部楼层
请问楼主,你是怎么定义逻辑的?
回复 支持 反对

使用道具 举报

发表于 2019-4-13 13:57:43 | 显示全部楼层
您好!我自己给的定义是:逻辑是人脑自带的有关定义、判断和推理规则集合,即人脑操作系统。
回复 支持 反对

使用道具 举报

发表于 2019-4-13 14:04:42 | 显示全部楼层
也就是说你认为逻辑是人类大脑的各种思维方式的集合对吗?
回复 支持 反对

使用道具 举报

发表于 2019-4-13 14:12:03 | 显示全部楼层
对,我觉得逻辑是规则的集合,是基于人脑生理特性的一种自然机制,其元代码是遗传写入的。该集合的各种子集之间,满足数理逻辑迄今给出的各种定义、合式性质和定理,因而逻辑的软件功能接近于电脑的操作系统。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|小黑屋|手机版|Archiver|易天富基金网 ( 浙ICP备07035332号

GMT+8, 2020-8-4 22:34

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表