this post was submitted on 19 Jan 2026
149 points (98.1% liked)
Greentext
7648 readers
190 users here now
This is a place to share greentexts and witness the confounding life of Anon. If you're new to the Greentext community, think of it as a sort of zoo with Anon as the main attraction.
Be warned:
- Anon is often crazy.
- Anon is often depressed.
- Anon frequently shares thoughts that are immature, offensive, or incomprehensible.
If you find yourself getting angry (or god forbid, agreeing) with something Anon has said, you might be doing it wrong.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.
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.
yeah but i took logic and it turned me gay for a year.