逻辑
文章平均质量分 78
weixin_41670255
这个作者很懒,什么都没留下…
展开
-
哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七
**哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七**虎年的春节接近尾声,从惠州双月湾返回广州,已经时过一月了。近日又碰上一个震撼世界的俄乌开战,这篇博文也就一拖再拖。此外,还伴有诸多生存琐事缠绕。但书还得读,尤其是你已经开看,并且准备认真看的那些书。读一本书,宛如和那读书的主人签下合同似的,不继续读下去,颇有点失去信用的感觉。好在是自己与自己定约,不牵涉第二方第三方,所以这爽约的事,也就能够自我谅解。为俄乌战事弄了七篇随笔,三月也眼看过了一半,回到哥德尔这里换换口味吧。哥德尔的那个原著文本原创 2022-03-13 19:43:03 · 675 阅读 · 0 评论 -
谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六
谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六牛虎交接之际,到惠州双月湾轻走了一趟。在惠东县的海滨温泉区,沐浴浸泡,送走了牛年的最后一天。在双月湾的西湾银滩,乘船出海,渡过了虎岁的大年初一。本来还可以到东湾的海龟景区瞅瞅,疫情又一次阻断了我们的行程。谁能料知呢?惠州虎年春节初一,查出新冠一例,初二景区立马关闭,海滨行程强制提前结束。惠州的双月湾图片乘船出海双月湾西湾长滩夜景真乃人算不如天算也,牛虎交替之旅,就此戛然而止。我也就提前接续上对于哥德尔的关注,继续上篇的哥德尔数配置了。原创 2022-02-07 17:20:59 · 488 阅读 · 0 评论 -
901虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五
虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五丑牛之年走到了它的尽头,又一轮时序循环将要开始了。为这个尽头和起点,我做了一副对联,按华夏传统用浓墨书写,填在自家的门上。算是概略了这即将掠过的农历牛年,又算是对虎年旋即将至的一份期待。我的一付年末对联照片这副手联,是我给亲朋的新春致意,这个致意还带著两行十字文。年复一联,联传亲情友情。岁有两期,期待未来将来。也许,疫情很快就要过去;也许,我们的文字有更为广阔的时空腾挪,也许,更多的期许会在这寅虎之年出现;也许,我们永远只是在徒劳的期原创 2022-01-29 17:30:28 · 890 阅读 · 0 评论 -
以哥德尔命名的哥德尔数——哥德尔拆解汉译之四
以哥德尔命名的哥德尔数——哥德尔拆解汉译之四在哥德尔的系统P之后,原著文本立刻就出现题为2.1节的哥德尔数。哥德尔写这篇论文的时候,大概不会想到他为逻辑符号、逻辑公式配以自然数,会被后世称呼为以他名字命名的哥德尔数。在哥德尔原著文本中,第二章一气呵成,中间完全没有停顿。哥德尔将其形式系统P描述完毕,立刻就开始了对系统P初始符号的配数。后世各种英译本,为阅读方便大都按内容分节。但从哥德尔文集卷1中可知,哥德尔德文原著和该文集中英译并没有这样的分节。带德文版的哥德尔文集1哥德尔文集1中的德文原文没有分节原创 2022-01-15 13:59:07 · 981 阅读 · 0 评论 -
哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26
哥德尔定理证明中的标号(11)-(16)——哥德尔读后之26读哥德尔又遇到理解的困难,这个阅读受困的时段,正是因老桂大寿建立的几个科哲微信群讨论东方思维西方思维,还有辩证逻辑非辩证逻辑等等观念的时段。对科哲所知有限,但对思维与逻辑应该还有点感觉。东方和西方思维的分划,我感觉是一个伪分划。思维如果有地缘之分,那其实不是因地缘在划分思维,而是因地缘在划分语言。东西方人因地缘之故,有各种不同的自然语言,而显得思维似乎是各不相同。逻辑分为辩证和非辩证也是一个奇怪的分划,其实是一个非学术性,带有点实用意义的分划。这原创 2021-12-06 13:26:42 · 358 阅读 · 0 评论 -
宇宙时空 符号世界 对应引理——哥德尔读后之25
宇宙时空 符号世界 对应引理——哥德尔读后之25信息是这个世界的奇异存在,有一些你会不屑一顾,有一些你会无动于衷。但有些信息却会撞击你的灵魂,一听到就为之一震。你不会在乎它的虚实,也不会在乎它的信度,更不会在乎他背后的什么伦理、什么意义。你会感到一种穿透力,一种在感召你的某种神性一般的东西。昨天从微信中获得一个视频,一个美国女孩准备独自登录火星,做一次有可能一去不返的单向宇宙航行。这个视频似乎就是这样一类信息,还真可能就是不可信的信息。但就是能够撼动人,它让你觉得这个世界总有人在为未知所憧憬,即使充满魔原创 2021-11-17 21:28:11 · 632 阅读 · 0 评论 -
ω一致的故事和符号世界的对应——哥德尔读后之24
ω一致的故事和符号世界的对应——哥德尔读后之24听到来自脸书改名元宇宙的消息之后,又从一份外刊中得知,这元宇宙的概念其实由来已久。最早可以追溯到柏拉图的洞穴假说,最晚也要追溯到美国上世纪90年代的一本科幻小说《雪崩》snow crash,一本厚厚的长篇科幻小说。还没有时间来看这部几十年前的科幻长篇,但据说这个作者史蒂芬森很是了得。它的雪崩长篇,正是今日“超元城市”,即所谓虚拟实景技术的原创性构想所在。以致今天的虚拟世界,让人生有了远不同于实在世界的另一类空间。在这个空间里也有了公民,有了大使馆,有了很多超原创 2021-11-08 17:06:28 · 418 阅读 · 0 评论 -
康先生和哥德尔数配置——哥德尔读后之二十三
康先生和哥德尔数配置——哥德尔读后之二十三这一篇博客,该用来直击哥德尔数的配置了。哥德尔的系统P,词项是一个系统P中,符号构成的基底;由词项再构成公式;而由公式继而构成证明。行文之际,有幸看到陈波老友的中国逻辑学70年回顾(微信公众号“哲学社”2021年10月14日)一文,涵盖够周密的了,但感觉有关中国逻辑学界对于现代逻辑,特别是对于哥德尔的研究,有点概略不全,漏掉了康宏逵先生。康先生的其它译著姑且忽略不论,仅他对哥德尔所下的功夫,中国逻辑学70年中没有记录,实在是有点不公。近一两年关注哥德尔,能参考的原创 2021-10-27 12:59:48 · 427 阅读 · 0 评论 -
数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二
数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二这篇博文折腾了我近一个月,广州从8月以来几乎天天都在摄氏35度的酷热之中,满以为在秋凉之前可以完成,可你要从阅读哥德尔原著中找到些感觉,真还不是一件容易事。近几日老友传来一篇微信文章谈王浩,哥德尔生前好友,其中有两件轶事和我现在的心境有交汇,颇让人感触,现转录如下。一件事情是讲金岳霖,该文说:在联大,金岳霖开逻辑学入门课,课上基本是师徒两对练,金经常讲着讲着就问王浩:“哎,你小子说说咋回事啊?”王宪钧讲数理逻辑,沈有鼎讲维特根斯坦《逻辑哲原创 2021-10-13 13:35:35 · 651 阅读 · 0 评论 -
证明序列 证明公式和可证——哥德尔读后之十九
证明序列 证明公式和可证——哥德尔读后之十九广州的天气依然很热,农历的暑期已过,农历的处暑也过了几天,处暑,暑热之终止也。但秋凉的感觉,在广州这里似乎全无,且暂留两张随意档来的秋照送别夏天吧。秋天是出游的季节,连续不断的疫情依然在阻断你的游兴,只能让你困守宅屋。继续与那些诡谲的符号做伴,随意浏览有关处暑的信息,有诗曰:处暑无三日,新凉值万金。白头更世事,青草印禅心。我好像不是这样的心境,但诗文,这个既可能是心外之客体,也可能是心内之客体的东西,颇有传染性。禁不住要在心内寻找点东西,为这广州的处暑时原创 2021-08-25 14:10:36 · 411 阅读 · 0 评论 -
哥德尔不完全性定理 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八
命题6 悖论式陈述 PM不可判定命题,和哥德尔可表达性定理——哥德尔读后之十八开始命题六,也就是哥德尔第一不完全性定理的阅读了,但似乎离这个著名定理,还有那么一丁点的距离。于是本篇依然是交代命题6证明前的那些必不可少的证明铺垫。一、哥德尔命题6,即第一不完全性定理的两个版本表达在预设了c为任意公式类及其相关条件,并且给出一致性观念之后,命题6(VI)即对后世影响深远的哥德尔第一不完全性定理出场了。(依据1962年英译本)这个有关不可判定命题存在的一般性结果读作命题6:命题6:对于每一个一致原创 2021-08-21 09:28:38 · 361 阅读 · 0 评论 -
哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六
哥德尔命题5-命题11的两个图表 水灾 奥运——哥德尔读后之十六刚刚感叹一番全球天灾,完成一篇哥德尔阅读的对比图表文。休憩转换一下阅读奇怪字符的神经,听听音乐,看看美图。这几天,重又走进哥德尔之际,历史的聚焦镜头,一下子从遥远的西欧洪灾折转到了老家的邻省河南。西欧的洪水恐怕还没有退尽,在河南郑州,还有河南很大范围的城镇,却似乎是碰到了千年未遇的水难。真不知道这个世界怎么啦,可怜地铁隧道中,沉没多少冤鬼魂。九龙翻江兴恶浪,遗祸中原郑州城。祈祷上苍,佑护生灵。水灾留照:隧道积水和隧道前车辆郑州地铁5原创 2021-07-24 09:07:40 · 102 阅读 · 0 评论 -
天灾 经典 定义31-46译本对照——哥德尔读后之十五
天灾 经典 定义31-46译本对照——哥德尔读后之十五从牛年之初,就被哥德尔原著英译本缠上。导论的阅读,覆盖了牛年的春天。正文浏览之际,又碰上广州的荔湾疫情。春日已过,入夏时分,阅读之余,游兴萌生。思绪迁移到了疫情阻断的旅行,念想着到塞外风情的内蒙旧地重游,追怀那客逝他乡的苦命之人。想到就做,于是机票定好了,车也预定好了。可人算不如天算,恰好就是起飞前的一天,北京和内蒙地区挂起了暴风雨的橙色预警。可能就是预警吧,不会影响行程的。我好像有一种对媒体的天然不信任感,包括最有科学依据的天气预报,也受这个感觉的原创 2021-07-19 22:01:24 · 131 阅读 · 1 评论 -
拼接、比较与计算——哥德尔读后之十四
拼接、比较与计算——哥德尔读后之十四除了喧嚣、闹腾、莫名的亢奋和同样莫名的浮夸,我用心灵体验的那个客体空间,好像容不下哪怕是一粒沙子和些许浮尘。那个空间真是太太纯粹了,纯粹得可以看清其中的点点滴滴。我在这样的纯粹面前,把自己也看得清清楚楚。你接受不了这样的纯粹,因为阳光之下也有阴影。自然,你就只能是这个纯粹空间晦暗阴影中的一尊幽灵。不过,魔鬼为人们关上了很多门,天使也为人们开启了很多窗。天网恢恢,疏而有漏,人无魔助之时,常有自助之路。既有字符之可思,也有经典之可读。也许,遵从自我的呼唤,读你所读,思你所思原创 2021-07-07 20:20:08 · 136 阅读 · 2 评论 -
不完全性定理 元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十
不完全性定理 元数学和自然数_开读哥德尔原著第一章——哥德尔读后之十把R.B.B的导论弄完,终于轮到读哥德尔原著的英译文本了,今天开读原著的第一章。R.B.B的导言给了人很多哥德尔定理的背景知识,但背景知识代替不了原著。抚卷细读,九十年前,一个二十出头的年轻人,喜欢安定,喜欢精确,好像也很较真(见王浩著《哥德尔》),更好像有点超越实在。可就是这个不起眼的家伙,却发现了两个重要的逻辑与数学奉献中隐含着的元数学问题。年轻时的哥德尔彩照哥德尔黑白照以上提及到的两个逻辑与数学奉献,一个就是罗素-怀特海的原创 2021-06-01 15:02:59 · 523 阅读 · 0 评论 -
巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九
## 巴比塔、普遍语言与哥德尔定理的句法特征——读哥德尔之九终于看完了全部导言,这个哥德尔原著的1962年英译本,总共不到70页文稿,而导读性的前言和导言就占了近30页。哥德尔的原著英译本内容呢,则从37页开始,到67页结束,也是近30页。导读导言和原著文本,几乎就是各占书中一半文字江山,有点意思。导言看完,在继续理解哥德尔之际,思路却似乎没有聚焦到哥的理论,而是发散展开,想到了语言,想到了和语言相关的那个巴比塔。艾舍尔画的巴比塔圣经中的巴比塔圣经中的巴比塔传说标题一、圣经中的巴比塔早年原创 2021-05-19 16:20:00 · 184 阅读 · 0 评论 -
艺术与实在中的递归 递归和原始递归函数——读哥德尔之六
**艺术与实在中的递归 递归和原始递归函数——读哥德尔之六**哥德尔不完全性定理又一个需要交代的背景,是所谓递归概念,以及由递归引出的原始递归函数。哥德尔1931年的那篇证明不完全性定理的论文,原始递归函数起到极重要的作用。按照莫绍揆先生的说法,也就是在这篇论文之后,“原始递归函数论”便正式出现了(参见莫绍揆著《递归论》第1页)。何谓递归呢?本篇首节先来点轻松的不那么严格的描述,只求对于递归有个感觉上的认知。虽然感觉很不可靠,但和感觉很相近的直觉这个词,往往是理解那些高玄知识的初阶。可能是错讹的,但原创 2021-04-17 14:11:12 · 695 阅读 · 0 评论 -
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五
柏拉图主义 算术化方法和哥德尔数——读哥德尔之五随意翻看哥德尔的轶闻琐事,他的一些奇怪直觉引人关注和思考。其中的一个奇怪直觉特别有趣,哥德尔竟然是个彻底的“反经验主义者”,他描述的东西几乎与实在世界毫不相干。用戈德斯坦的一段评论,哥德尔与爱因斯坦一样,他们致力于超越人类的所谓经验,尤其是致力于超越逻辑实证主义者所完全依赖的经验。这两位学术巨擘,全都是在用自己的发现,描述他们“视野之外”的神秘世界。(参见:戈德斯坦《不完备性》湖南科技出版社中文版第25页)。爱因斯坦发现的东西,属于理论物理学,他的“视野之原创 2021-04-11 15:01:06 · 560 阅读 · 2 评论 -
求知以解惑 温故而知新 ——重读哥德尔之一(开篇)
标题****求知以解惑 温故而知新 ——重读哥德尔之一(开篇)**标题一、初识哥德尔对哥德尔的认知是从那本大部头的《哥德尔 艾舍尔 巴赫 集异壁之大成》开始的(以下简称《集异壁》)。把哥德尔与音乐家,与画家联系在一起来描述,这让我倍感惊奇,它拓宽了世俗凡夫之人的眼界。一首音乐,竟然可以是对于逻辑的奉献。而逻辑学家哥德尔,不仅可以和德国大音乐家巴赫的曲子连系在一起,还可以和荷兰大画家艾舍尔的科学画联系在一起。这个世界,骗人的东西很多,但有趣的东西也不少。至少,逻辑的东西还能够和高雅的艺术奇迹般地一起描述,原创 2021-03-12 21:59:12 · 342 阅读 · 0 评论 -
科幻 数学归纳法和皮亚诺公理5——尾篇之读皮亚诺之八
科幻 数学归纳法和皮亚诺公理5——尾篇之读皮亚诺之八新年的二月就这么随风飘去,三月来临了。时钟仿佛加快了它前行的速度,好像2021年还是刚刚到来似的,可转眼间,本年度六分之一的时光已经甩在我们身后了。时光飞逝,读书为乐。一份介绍美国怪侠马斯克的小文告知,对马斯克影响最深的一本科幻小说是《银河系搭车客指南》。这本书现在有中译本,买来随意浏览,竟然是上个世纪70年代的作品。翻到38页,看到作者的一个科幻想象图景。银河系漫游图片地球变成了一台终极的声音重放系统,四声道,堪称完美,它的完美仿真,甚至让男士原创 2021-03-02 20:21:02 · 718 阅读 · 0 评论 -
逻辑归纳与数学归纳:皮亚诺公理5解读1——皮亚诺读后之七
逻辑归纳与数学归纳:皮亚诺公理5解读1——皮亚诺读后之七本打算这个公理5的解读作为皮亚诺读后的终结篇,借助校图书馆的几个数据库,搜索数学归纳法的来龙去脉,发现这个数归法的历史还真值得一谈。估计这历史的追溯可成一篇,如果这个追溯正好有解读皮亚诺公理5的作用,那皮亚诺的阅读自然告一段落,我就该回到这次读书的主旨,弄明白一点哥德尔,在皮亚诺之后,就继续去跟读哥德尔了。但若容量太大,自然还得再来一篇博文。文字浏览,意蕴思索,观后成文,还是边读边想边盘算吧。标题一、演绎与归纳标题1、古典演绎与不那么古的古典归原创 2021-02-27 16:16:56 · 1320 阅读 · 0 评论 -
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五
同一 等价和自然数的生成:皮亚诺公理3解读——皮亚诺读后之五 鼠年的最后一晚,万里之遥的视频,带来孩子们新春的问候。春节的广州静悄悄的,牛年,就这么紧随着鼠年成为人们的过往记忆而款款而来。大年初二,一篇《西江月》的“三杯两盏”勾起我的文思,盘算着要如同《西江月》那样,也留下点什么文字痕迹才好。咬文嚼字的结果,弄出个四言八句。 岁月不居,时节如流。 忽焉已过,六轮丑牛。 往事如烟,人生何求? 三杯两盏,戏说春秋。 ...原创 2021-02-16 11:20:44 · 556 阅读 · 0 评论 -
戴德金:数是人类心灵的自由创造;皮亚诺:他的公理和属于关系-------读皮亚诺之三
标题戴德金:数是人类心灵的自由创造;皮亚诺:他的公理和属于关系-------读皮亚诺之三几乎是在同一个时段,但在不同国度,一个德国,一个意大利,对同样的算术所作的研究,产生了两种语言下的算术著作。一个用德语,一个用意大利语,分别回应了算术的基础之问:自然数这东西究竟是如何产生的?先是德国人戴德金用德语写了《数的意义与性质》。很快就有接力,意大利人皮亚诺用意大利语写成了他的《运用新方法表述的算术原理》。这两部算术著作都成为当下的经典著作,后来都被翻译成多种语言,自然都会有英译本。科学就是这样,不同语言研原创 2021-01-31 13:46:10 · 1173 阅读 · 0 评论 -
皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二
标题皮亚诺的算术,符号创造还是发现?过客与生命之树———读皮亚诺之二有一首古老的英语民歌,描述走出野蛮的人类最常做的三件事:***Reading, 读啊!Writing, 写啊!Rithmetic, 算啊!***(摘自丹齐克著《数 科学的语言》第16页)这三个最普通的人类行为,都和各个人群所使用的自然语言相关。而算啊!通常就是指的算术运算。这就把我们引向了算术,引向了数学家对于算术基础的研究。刚刚接触过德国的戴德金,现在,我们的算术旅程向东进发,从德国移向意大利,从德国的戴德金东行至意大利的数学家原创 2021-01-24 17:28:18 · 528 阅读 · 0 评论 -
普遍语言、国际语言和数学家皮亚诺(Peano)——读皮亚诺之一
普遍语言、国际语言和数学家皮亚诺(Peano)——读皮亚诺之一自德国人莱布尼兹有了普遍语言的设想之后,逻辑的现代发展,在欧洲,好像走的一条从西到东的路径。英国人布尔用代数来设想逻辑,开创出逻辑学现代发展的一条新路。接着,就是一批德国人对于数学基础问题的研究。戴德金、弗雷格包括康托等人有关数字基础,特别是算术基础的研究成果,孕育着现代逻辑的进一步拓展。在研究地域上进一步向东,这次轮到古老而又现代的意大利了。那里是算术基础研究的一座高峰,同时也是一个奇观,如同海涅的一首著名诗篇提到的,意大利西西里岛上的埃特拉原创 2021-01-18 15:13:59 · 959 阅读 · 0 评论 -
哥德尔定理的背景知识1:戴德金的数观念——哥德尔逻辑与哲学之3
哥德尔定理的背景知识1:戴德金的数观念——哥德尔逻辑与哲学之3哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃。有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中,你总会有一些接触那些稀奇古怪符号的感受。虽说很多时候都是艰涩枯燥,但你也许正是在这种枯燥艰涩的逼近中,有可能学到一些抵抗这类枯燥的良方。在执着逼近的过程中,还可能有闪现灵光和文字魅力的时刻哩。只要有那么一点点,你的执着不就有了点收获,没有白费力气么?Torkel的那本书,正在啃它的第二章:不完全性定理的一个原创 2020-11-24 13:07:22 · 753 阅读 · 1 评论 -
模态逻辑的先声:H.麦克考尔的可能概念 C.I刘易斯逻辑之二
模态逻辑的先声:H.麦克考尔的可能概念 C.I刘易斯逻辑之二年初从武汉开启的这场covid19疫风,没有想到如此之来势汹汹。时光跨越了大半年,疫情还在全世界蔓延肆虐,几乎就没有它到不了的地方,伴随这疫情的,还有不少地方的漫天蝗虫,森林大火,暴雨洪水。这愁雾悲情的2020年,除了这些老天赐给人的自然灾害,这个世界的风云变幻,诡谲莫测,更表征在人文分型与人文站边的争斗之中。世界向何处去?人类自身伴随时空不断撰写的历史故事,是朝东?还是朝西?是姓资?还是姓社?是相信集体的无意识,还是相信个体的自立创造?也许原创 2020-08-01 15:24:23 · 266 阅读 · 0 评论 -
为什么关注C.I.刘易斯?----美国学者C.I刘易斯的逻辑开篇
为什么关注C.I.刘易斯?----美国学者C.I刘易斯的逻辑开篇对知识的追求,那是个缘分。上世纪90年代,从武汉调到广州社科院的时候,正值全民经商热潮之际。整个社科院的各所各室,都一门心思创收赚钱。当时还真以为那未来的生活,就这么样的以经济为中心滚滚向钱了。办了评价协会,再办网络公司,我们就该这么一条心地走下去。俗谚云:人为财死,鸟为食亡,发财致富乃人之天性,有这样的机会谁不想去试试身手?我们曾经办过的公司谁知,这个由知识,尤其是科学知识来主导的社会发展,在那时称作知识经济为主导的社会发展,它变化原创 2020-07-26 15:09:18 · 417 阅读 · 0 评论 -
算术关系和逻辑关系---皮尔斯逻辑之二
算术关系和逻辑关系—皮尔斯逻辑之二皮尔斯语录摘引:真理一词的另一种意义是指:出于纯科学考虑而暂时接受某一命题为真。如果绝对固守某一命题,这意思就是把个人命运与该命题捆绑在一起了。在科学中这样做,简直就是不希望学习了,这样的人应该排除在科学之外。于是皮尔斯就有了比喻性的逻辑学第一规则:为了学习,你必须首先渴望学习,而且在如此渴望学习的过程中,不要满足于你已有的思想倾向。这是理性的首要而且在某种意义上也是唯一的规则。由此,又产生出一种值得镌刻于哲学之城每一面墙壁上的重要推论:不要阻扰探究之路。(摘自原创 2020-07-05 20:31:22 · 1831 阅读 · 0 评论 -
回看皮尔斯—皮尔斯的逻辑开篇
回看皮尔斯—皮尔斯的逻辑开篇这个地球的19世纪,是现代科学突破性进展的一个世纪,这在逻辑学科的进展中特别明显。自布尔-施罗德代数让逻辑和数学联姻之后,现代逻辑从这个起点出发,在不到五十年的时间之内,迅速地在德国人弗雷格的逻辑构想中又找到新的起点。逻辑学的现代发展,从德国的莱布尼兹穿越到英国的布尔,象征着一个新时代的开启。布尔-施罗德代数的建立,使得逻辑改换了它古老的容颜,它的古典风貌涂抹上了现代的风采,由此激发了其后信息科学、计算机科学的生成和发展。莱布尼兹、布尔和弗雷格都是欧洲人,逻辑..原创 2020-06-27 11:12:44 · 504 阅读 · 0 评论 -
布尔-施罗德逻辑代数中的命题逻辑-- 布尔逻辑之七(尾篇**)
布尔-施罗德逻辑代数中的命题逻辑–布尔逻辑之七(尾篇)一、一级命题与二级命题布尔在他的《思维法则研究》一书中,给出了他有关命题的一个新理论,建立在他的类逻辑演算的基础上。布尔不愧是想象力的高手,他把命题分为两类,一类为一级命题,它对应于具体的“事物“类型;另一类为二级命题,它对应于抽象的“非事物”,也就是范畴般的类型。(见《思维法则研究》英文版第五章第53页)“The sun shines”,这是一级命题的实例,自然对应一些具体的,如“太阳,闪耀“这样的事物。而“‘The sun shines’ i原创 2020-06-17 17:26:48 · 521 阅读 · 0 评论 -
布尔-施罗德逻辑代数中的公设对应-- 布尔逻辑之六
布尔-施罗德逻辑代数中的公设对应-- 布尔逻辑之六由布尔奠定的逻辑代数,经过耶芳斯(Jevos)和皮尔斯(Pierce)等人的补充修订,成为现代逻辑的一个起点。但布尔系统的完善,更得力于英美学圈之外的欧洲大陆学者,特别是德国数学家施罗德(Karl Ernst SchrÖder(1841-1902))的工作。施罗德批判性地修改了布尔的类逻辑,特别强调了逻辑加和逻辑乘观念之间的双向性。而这种双向性,也是耶芳斯在他19世纪晚期著作中引入逻辑代数之中的。施罗德的逻辑代数著作,还特别借鉴了美国学者皮尔斯为这个领原创 2020-06-11 20:13:26 · 487 阅读 · 0 评论 -
*抽象对象的类解释 数解释和真值解释---- 布尔逻辑之五****
*抽象对象的类解释 数解释和真值解释 布尔逻辑之五布尔在他的布尔逻辑之中,给出了全与无两个类别,但其后,他又相继给出了这对同样观念的另外两种解释。这个全与无究竟是个什么东西,清楚明白地给出描述不是一件容易的事情,但在这个基础上的三种解释,却似乎比这对抽象对象更为清晰一些,虽然那个真值解释只是间接的,但却无意中为现代逻辑的诞生准备了条件。观念决定一切照片一、抽象对象的类别classes解释人类心灵所构建的东西,尤其是那些超越实在之外的神奇观念,你在心灵中可以查知到它作为心灵产物的存在。但你的感觉,原创 2020-06-03 19:34:10 · 384 阅读 · 0 评论 -
莱布尼兹的二进制和布尔的全无假定 布尔逻辑之四
莱布尼兹的二进制和布尔的全无假定 布尔逻辑之四一、莱布尼兹的二进制智慧这东西真的很神奇,现在人们都已经熟知的数字二进制,史载澳洲和非洲的原始部落,就有这种只用两个数字的计数。这些地方的野蛮人,竟然连屈指计算的能力都没有。也许与人有两只手相关,它们只会使用两个数字。但这类原始计算的限度在六,六以上的数字,这些部落的人计算不了。但没有料到的是,这种几乎是在象征智力低下的二进制,后来被莱布尼兹发现:它和十进制的数字是可以互相转换的,而且几乎所有的算术运算都可以转换。于是,对这种二进制的思辨就...原创 2020-05-23 16:25:38 · 467 阅读 · 0 评论 -
布尔的符号元素和符号法则 布尔逻辑之三
布尔的符号元素和符号法则 布尔逻辑之三人类的心灵法则用数学和符号来探讨,德国的莱布尼兹开了个头。他的两个片断所作的普遍语言尝试,是研究思维和符号法则的先驱,自然也是现代逻辑的先驱,也是现代计算机科学的先躯。更有趣的一点,我一点也没有料到,他还被看作是互联网的先驱。以致当代法国哲学家米歇尔.塞尔,在接受《哲学杂志》采访时说:“互联网,它其实来自不谈论上帝的莱布尼兹。”可惜,莱布尼兹以后好长一段时间,欧洲人几乎中断了这项由莱布尼兹开创的心灵和符号法则研究。但过了一百多年,英国人布尔似乎是不自觉...原创 2020-05-17 17:25:25 · 1134 阅读 · 0 评论 -
从德摩根到布尔 布尔逻辑之二
809 从德摩根到布尔 布尔逻辑之二莱布尼兹在17世纪那个时候就认识到,逻辑学所考察的概念和算术中的数字有类似之处。这种类似主要表现在,这两种对象似乎都可以采用某种操作运算,来造成操作对象的变形转换。算术中的数字对象可以用加减乘除来进行运算,而所谓概念的运算,虽不是加减乘除,但我们对于概念的“或者”连接,还有对于概念的“并且”连接,却很有算术中的“加法”或者“乘法”的味道。把莱布尼兹《普遍语言的两个片断》作为书末附录的《符号逻辑概览》一书,该书由后来的模态逻辑创始人刘易斯(C.I.LEWIS).原创 2020-05-11 17:28:20 · 398 阅读 · 0 评论 -
笔记20 笨办法python中的练习29,条件语句if的运用
笔记19 笨办法python中的练习29,条件语句if的运用练习27和28给了四个属于逻辑的连接词,并且(and),或者(or),否定(not)和否或(not or)。这几个连接词,其实更正式的名称就是逻辑连接词。它们显示出了一个复合语句中,各个分语句之间的逻辑关系。这些关系通过给分语句的赋值,即赋予分语句的真值,来确定整个复合语句的真值。所以,一个经典的有关复合语句的说法就是,一个复合语句就是...原创 2020-04-19 16:48:11 · 176 阅读 · 0 评论 -
笔记19 练习28中的布尔表达式
笔记28 练习28中的布尔表达式这一部分撞到我较为熟悉的内容了,ex28中每一段代码,就是一个完整的陈述语句。完整陈述句的特征,那就是它一定在真值上有一个确定的值,要么真,要么假。构成语句的基本单位称为原子语句,你再也不能拆分了,如果要拆分,拆分后的结果就不是语句而是语词。而用连接词连接而成的语句则是复合语句,它可以由原子语句构成,也可以由复合语句构成。只要你熟悉那些基本连接词的...原创 2020-04-19 11:05:19 · 357 阅读 · 0 评论 -
笔记9 笨办法学python之练习18函数随感之一
笔记9 笨办法学python之练习18函数随感之一这一次先把文本仔细看看之后,再来编码。因为这个练习提到了函数,真得把python中的函数和数学中的函数做个区分才对。希望这个练习可以在新浪博客上弄一个博客,已经很有些时间把新浪博客给忘掉了。提到函数,让人想起微积分的发明者,德国哲学家莱布尼兹(1646-1706)。1694年,中国清朝的康熙年间,莱布尼兹在一篇论文中大概是首次提到函数这个词。这...原创 2020-04-10 11:31:53 · 202 阅读 · 0 评论 -
世界逻辑日,原来是这么促成的!!
世界逻辑日,原来是这么促成的!!走南闯北了几年之后,因为读了几本谈逻辑与算法关系的书,突然就觉得这逻辑的历史得重新关注,在与算法关联的基础上关注。于是又回到原来工作时的套路上来,一点一点地寻觅那些有关逻辑与算法历史的线索,然后把寻觅中的阅读变成一个一个的文字和符号。还在阅读的进程之中,但如今这个年代,承载信息技术的微信,总会给你一些惊奇意外的消息,两个年关就给了我两个新奇。一个阳历年关,逻辑圈...原创 2020-01-14 11:41:26 · 834 阅读 · 1 评论