马克思列宁主义吧 关注:14,619贴子:111,702
  • 9回复贴,共1
求助

如何检验逻辑推理?

只看楼主收藏回复

就是对于难以理解的概念和推理,如何检验?对于不省略跳步的情况。


IP属地:安徽来自Android客户端1楼2024-01-30 12:58回复
    是否可以从最基本的形式证明公理开始,一步一步展开最基本的推理的记录在纸上,或在电脑里。或者问专家。行不行,有没有补充?


    IP属地:安徽来自Android客户端2楼2024-01-30 13:01
    回复
      复杂的知识也建立在基础知识之上


      IP属地:安徽来自Android客户端3楼2024-01-30 13:04
      回复
        把推理完全形式化,记录下来。所有的推理都满足公理,不允许省略跳步。
        从第一步开始,那些论断的证明的依据是什么,有没有未经证明的,有没有公理,有就标记出来,方法是什么,是否正确,正确和错误都标记出来。


        IP属地:安徽来自Android客户端4楼2024-01-30 13:45
        回复
          行不行?或者问专家,或者多人讨论,行不行?


          IP属地:安徽来自Android客户端5楼2024-01-30 13:46
          回复
            存在一种情况叫悖论


            IP属地:安徽来自Android客户端6楼2024-01-30 13:50
            回复
              排除存在悖论的情况。难以理解的推理如何检验?


              IP属地:安徽来自Android客户端7楼2024-01-30 13:51
              回复
                把推理完全形式化,展开成基本的步骤,所有的推理都写成形式证明。记录下来。所有的推理都满足公理,不允许省略跳步。
                从第一步开始,那些论断的证明的依据是什么,有没有未经证明的,有没有公理,有就标记出来,方法是什么,是否正确,正确和错误都标记出来。


                IP属地:安徽来自Android客户端9楼2024-01-30 14:10
                回复
                  有的人可能会生造出逻辑演算的规则,理论的结果代入现实比较一下。


                  IP属地:安徽来自Android客户端10楼2024-01-30 15:07
                  回复
                    逻辑演算的规则是否客观


                    IP属地:安徽来自Android客户端11楼2024-01-30 15:08
                    回复