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.