• TubularTittyFrog@lemmy.world
      link
      fedilink
      arrow-up
      0
      ·
      edit-2
      2 days ago

      which formal logic? symbolic?

      there are lots of logics. typically people only ever learn/study the 101 version of it, but it’s own entire subfield with lots of applied areas and systems with their own unique rulesets and applications.

      just like your average high school student thinks physics is done with algebra alone, and has no idea with a field equation is or classical mechanics outside of Newton.

      most people who learn that stuff doing go beyond the 101/102 level because it’s not applicable for their jobs. like medical professionals. very few universities offer 300+ coursework on logic, it’s hyper specialized field with a few dozen folks working on it really, compared to say ethics, where you have probably 50K+ professors and most universities have graduate level coursework in ethics.

      • alcibiades@sh.itjust.works
        link
        fedilink
        arrow-up
        0
        ·
        2 days ago

        I’m pretty sure symbolic logic with Ps and Qs is colloquially known as formal logic. Which is usually treated as a strand of philosophy. I was making fun of how anon is acting like philosophy is just people bullshitting when any philosopher worth a dime is making pretty complex and airtight arguments that you learn the basis of in a logic class, which a 4chan user wouldn’t have taken because they are usually losers with nothing good going for them.