哲学吧 关注:2,354,632贴子:16,576,162
求助

可以怀疑逻辑本身吗?有基于逻辑的数学为什么是不简明的?…

只看楼主收藏回复

1️⃣【“怀疑一切”与逻辑】
2️⃣【逻辑/同一性与简明】
3️⃣【逻辑与数学】




IP属地:广东来自Android客户端1楼2024-08-24 08:44回复
    【“怀疑一切”与逻辑】(不知是“吸引力法则”还是大数据使然还是因为别的什么,最近经常发现这部分的主要内容有适用来回答的地方,而后面两部分也刚好是我最近相关在思考的——有进展,虽然还未成熟)
    或首先需要考虑的一点是,怀疑是基于或说凭依什么的怀疑…
    比如说可能是当且仅当有什么不确定为真的则怀疑,而关于真,则可能是/有比如是按分析的真与综合的真的分类——为真的命题/判断/陈述有分析的和综合的,粗略来说,其中的分析的大概是基于(形式)逻辑的,而其中的综合的大概是基于“归纳”或至少(某种意义上)不是基于(形式)逻辑的同一律/同义反复的…
    .
    在这里面,某种意义上,综合的真又似乎不像分析的真那样具有必然性,从而那样的综合的真在逻辑上又是可怀疑的…
    .
    至此,也即某种意义上,只基于逻辑的话,除了事物是其自身/a是a(且不是其以外/且a不是非a)以外,没有什么是可以确定的,从而什么都是可怀疑的…
    .
    与此或可相关的比如【“没有真理”是不是真理】以及【“明希豪森三难困境”:无限倒退、循环论证、武断地终止论证】都可以基于逻辑而成立其可类于普遍怀疑的内容…
    .
    但这些“怀疑一切”也是基于逻辑的,而未见得具有怀疑逻辑本身的倾向…
    .
    当然进一步去怀疑逻辑的可靠性也不是不可以,比如关于前面提及的【“没有真理”是不是真理】,【“没有真理”是不是真理,若不是则有真理,若是则也存在“没有真理”的真理(或因为是悖论而“没有真理”不成立从而存在真理)】——其中其实一般暗含了“(形式)逻辑是真理”的论据/前提,而这个论据/前提的引入却意味着先抛开了(也)作为前提的“没有真理”…
    .
    换言之,(形式)逻辑的“真理性”一般可能是被预先承认(而不是“证明”)的,但或至少不见得在所有情况下都必须有这样的承认…
    .
    当然这样的承认也是可以有比较强力的合理性的,比如在姑且说是某个阶段里可能很难想象对同一律【a是a(,a不是非a)】的违背或超越…
    .
    但在比如辩证法那里,确实就是存在、乃至其根本就是有基于这样的违背或超越的…
    .
    而这样的违背或超越则有基于现实的和可思辨的合理性,比如作为【a成为非a】的(事物)变化的和依【a与非a相互区别而相互成立】的(事物)显现(/存在)的普遍性…
    .


    IP属地:广东来自Android客户端2楼2024-08-24 09:19
    回复
      【逻辑/同一性与简明】
      逻辑/同一性的简明比如a是a的简明,是有建立在a的相对简明上的。当a所对应的内容不相对简明时,有相应的不简明因此也是自然的。比如说要识别一个“图形”是否可以在一个相对复杂的图形里找到就可能是相对不简明的。与此不同但有相类似的或也可见比如“找不同”的游戏…

      .
      【逻辑与数学】
      数学也有因此而不简明,即其所基于的公理公设其实是相对不简明的,“水很深”…
      比如某种意义上基于皮亚诺公理可以解释/证明1+1=2(粗略来说即等号两边都是0的后继数的后继数),但比如说为什么0不是任何自然数的后继&不同的自然数有不同的后继数呢?即为什么(姑且说)自然数的增长是不循环的也不到顶的?…
      (BTW,虽然思路或与康德的不相同,但由此或也可见说【数学是“综合”判断而非分析判断】的合理性…)

      简单来说即,在对条件都不完全明白的情况下,可能的结果有相应的不简明也是自然的…


      IP属地:广东来自Android客户端3楼2024-08-24 09:21
      回复
        怀疑逻辑,就失去了人之能,算是交枪了,,,,😋😋


        IP属地:吉林来自Android客户端4楼2024-08-24 09:24
        收起回复
          …或姑且说,作为对【逻辑的真】的某种意义上的超越的【非逻辑的真】(比如a是a在此某种意义仍是可以成立的,只是姑且说a还可以是非a)太常见/普遍了,事物的复杂、数学的不简明,也都有源于此…


          IP属地:广东来自Android客户端5楼2024-08-24 09:54
          收起回复
            眼睛看不见眼球自己


            IP属地:云南6楼2024-08-24 11:16
            收起回复


              IP属地:云南7楼2024-08-24 11:31
              收起回复
                逻辑本身就是在怀疑了 就像宗教本身就是在相信 易经本身就是在推演
                只能怎么说 未来的逻辑可以否定现在的逻辑 不能说 怀疑会推翻逻辑
                在宗教中加入怀疑 就是在相信中加入不相信 当你不相信程度高 人们亲近科学 亲近逻辑 相信程度高 就亲近宗教
                这里的重点是 不要把相信 怀疑 看作是人与生俱来的不能 其实都体现了一定的文化氛围 科学 逻辑本身就可以说是古希腊传统文化 要让中国人去怀疑 这叫启蒙


                IP属地:山西8楼2024-08-24 12:01
                收起回复
                  逻辑要怀疑啊,黑格尔的辩证法上来就把同一律否定了


                  IP属地:北京来自Android客户端9楼2024-08-24 13:32
                  收起回复
                    当今数学系统中“必然存在着真而不可证"的命题。这个结论局限于一阶谓词形式系统,如果要发生改变需要引入高阶逻辑,是不是很简单直白?比如哥德巴赫猜想之:1+1=2,就是属于一个一阶代数形式体系,因为其先天约定是个同义反复的循环定义,所以虽然其命题永远为真但不却可证明。再例如牛顿之经典物理学的”质量“概念”,在逻辑上也是一个,同义反复的循环定义,所以虽然万有引力产生于物体“质量”,但却永远无法论证为真。所谓的同义反复及循环定义,在逻辑上就是“同一律”的:A=A,在逻辑上永远恒真但却无法证明。也就是说,“同一律”之:A=A,是一个先验的约定,也就是所谓的不证自明。这在哲学上就是所谓的公理,它是一阶逻辑论证立论的基石。


                    IP属地:重庆10楼2024-08-24 20:26
                    收起回复
                      逻辑是什么?从经纬罗盘坐标系出发,罗为中心,因此,逻辑的本意是从心开始,这是系统中心主义的方法。对于这个中心是什么?有理念论,有金木水火土的五土,有太极八卦系统的艮山,须弥山,昆仑山等。对于人又叫心,性,脑,对于社会又叫首脑机构。对于生物叫DNA。对于一般的购叫中心,重心核心等。现代物理学又称之为具有持续作用力的力场。


                      IP属地:四川来自Android客户端11楼2024-08-24 20:29
                      回复
                        后来,逻辑从去中心化后,演变为一与止,道与达,达的大曰逝,逝曰远,远曰返而物极必反地循环!一与止为正,知一,如知道的首,知止,如知道的达。逻辑就这样演变为知一与知止的正,而可以象种瓜得瓜种豆得豆那样事先确定结果!因为如此,逻辑往往是一种先验性的知一,便能知止的正确的道理,也叫真理!
                        这样的先验性的真理,可以怀凝吗?怀凝它,则为不信,不信,需要道可道的不断在在先性上溯源,而打破砂锅,问到底的精神,当获得常道之前的更加在先的存在,才有反常道的可能。如同哥伯尼的日心说那样,或指鹿为马也行。反常道,不是一般人可以随便就能反的。
                        对形式逻辑的怀凝与反对,黑格尔坚持了同一律,反对了不矛盾律,这个事物本的质就不再是形式逻辑的唯一质的规定,而是该事物既是又是而矛盾并矛盾运动的。被唯一质的规定的事物,它的运动变化必须是要与外部环境及它事物相互联系相互作用才行的。黑格尔这既是又是而自身矛盾的事物就象长了两条腿一样,可以自己运动并变化。
                        因此,一的本质唯一性即内因唯一性的规定,被一分为二为两方面,即两个既联系又斗争的内因,所代替。之后,那个一被当作整体,而被解剖解构为各部分或各子系统,子子系统,而一分为多,发展为对错复杂的系统了。


                        IP属地:四川来自Android客户端12楼2024-08-24 21:00
                        收起回复
                          所以,形式逻辑是最简单的思维方式!被辩证逻辑,系统辩证逻辑,系统论批判,并发展。同时,在此基础上,建立起了相对应的数理逻辑即数学。


                          IP属地:四川来自Android客户端13楼2024-08-24 21:05
                          收起回复
                            而怀疑一切的反哲学理性的反哲学,而表现出的非理性思想与行为,则是反智的表现!


                            IP属地:四川来自Android客户端14楼2024-08-24 21:08
                            收起回复
                              逻辑上的同一律:A=A,在代数学就是等式:a=a,这是一阶形式系统的最基本结构,如果没有等式代数学就不存在了。那么如果在:a=a的基础上引入:a≠a变成a=b,由于a=a与:a≠a(a=b)同时存在,那么显然就出现了逻辑矛盾了。在一阶逻辑上的矛盾律为:A≠B,矛盾律可以看做是同一律:A=A的延伸,即当确定的A就是A时,那么在同一时刻,它就不能是非A之B。而逻辑上的排中律为非A即B或非B即A,并不存在一个中间状态的C。然而这将导致一个新的悖论出现,因为既然存在:A≠B,那么补集合A-B就不等于0为空集,而是A-B=X(X为所有不属于全集A之子集B的补集)。也就是说当矛盾律出现后,存在一个全集与子集的补集,而事实上作为全集的A只是一个先验的理想假定,这个理想的真正全集A是不存在的,而仅仅存在作为非全集的相对全集A,否则就不会存在异于A的非A集合的B了。也就是说逻辑的同一律:A=A,其存在意义是一个理想上存在的全集,因为一个所谓的全集必定是无穷集,而对于包含无穷多个元素的无穷集合,也并不是真正的无穷大集合,而是一个无穷被另一个更大的无穷所包含之集合,于是便产生了康托的无穷集合势理论。另一方面作为有限集的存在,因为在现实中并不存在两个完全相同的A,所以对于有限集而言,这个先验的:A=A并不存在,所以作为恒真的同一律:A=A是不可证的。这样一来由于集合A与非A的B的存在,便出现了集合的交与并的运算。


                              IP属地:重庆15楼2024-08-25 03:08
                              收起回复