• teft@startrek.website
    link
    fedilink
    English
    arrow-up
    13
    arrow-down
    1
    ·
    1 year ago

    all logical systems are grounded in circular reasoning, paradox, or assumptions not provable in that system.

    That’s a hell of an assertion you have there. We have mathematical papers that prove 1+1=2. What logical system are you saying is grounded in circular reasoning, paradox, or assumptions? Because modern peer reviewed science sure isn’t.

    • barsoap@lemm.ee
      link
      fedilink
      English
      arrow-up
      3
      arrow-down
      9
      ·
      1 year ago

      We have mathematical papers that prove 1+1=2

      They postulate systems in which that is entailed. Generally, as we’re speaking about maths, with assumptions (axioms) not provable in that system, mathematicians don’t like basing things on circular or paradox stuff but ultimately that’s a matter of taste, not what the system can express.

      What logical system are you saying is grounded in circular reasoning, paradox, or assumptions?

      All. Show me a proof of implication without using either, I’m waiting.

      Because modern peer reviewed science sure isn’t.

      It is based on the scientific method which can be understood as an algorithm which via Curry-Howard and Church is a logic which, well, see above. The universe might just as well be a Holtzmann brain and in exactly 15 seconds after you read this it’s going to switch to a different dream, and you’ll never know.


      Now you may not like that we ultimately have nothing to stand on but that’s your problem, not that of the universe. Or science. Don’t shoot the messenger.