Dear robots,
What are your thoughts on logic? Do you like logic? Do you use it?

>>82079720 (OP)
made me realize philosophers are just verbal mathematicians

>>82079730
Logic arises naturally from reasoning.

>>82079720 (OP)
No one really used logic. Or rather people are not very logical and only use their logic to back up their emotions.

>>82079776
Logic and emotions are opposites.

humans are emotional and that's a good thing, obsessing with logic is silly. because it feels silly.

>>82079798
No. Most people only use their logic to serve their emotions. 99.99%

>>82079815
But when you write a proof in logic is feels amazing for me because it's like there's a literal flow. The proof just flows out sometimes. They're hard yeah but when you get the answer and look at it, it's beautiful. The symbols are beautiful. The reasoning is sound and true no matter what. It all just... just comes together... you know? Ever since I started learning how to write proofs in logic I just feel like the world looks more high def. You know?

>>82079826
yeah because there is no other master to serve. logic is a tool and does nothing on its own

if you like logic so much then why don't you move to the frictionless plane of platonic spherical cows you sissy

I don't know what any of that means
I imagine you in a suit though

>>82080085
I simply constructed a model and checked to see if the statement "necessarily p implies q" is true in that model. Since I found the statement to be true under the accessibility relation in all circumstances, then I was able to conclude that the statement is indeed true in my model.

>>82080137
do you wear a suit?

>>82080053
I hope to join master Plato in the heavenly spheres, escape the material world and its demiurge, and contemplate the world of forms eternally.

>>82080158
Your assumption that I wear a suit is wrong, unfortunately.

>>82080171
either way you're wasting your life here. holy shit
are you on flex time?

I know what logic is, but don't know how to use it. I want to eventually set some time aside to learn it when I get the chance. Sometimes, I dabble in informal logic from time to time.

A couple of his albums are aight for a whiteboy

>>82079720 (OP)
I'm an intp and CAN NOT FUCKING stand illogical ppl. Jesus fucking Christ I hate them. This is why I drink like an illogical person

>>82080191
im actually just jealous you're so good at logic

>>82080194
Read the book How to Prove It for a great into into first-order logic and set theory. Also read Logic for Philosophers to get a more in-depth look at the scope for logic. From there you can graduate to learning non-classical logics, such as modal logic, intuitionistic logic, etc. There's even quantum logic if you really want to find something esoteric. Also even before that learn the basics of a syllogism, going back to Aristotle. You may even be able to understand some high level math theorems once you learn all this, like in model theory and stuff from Godel, depending on how high and how in-depth you want to actually go.