study logic. why aren't you? study abstract structures to escape the material world of degeneracy. matter is degenerate. the social world is degenerate. escape to the world of platonic forms. escape the demiurge. live in abstract structures. live in pure mind and logic only.
>>82418811How do I study logic when I barely passed high school
>>82418811>Study logic he says>It's basic shit that CompSci students do in the first week of their first semesterNigga
>>82418811I hated this shit in uni
>>82418819find a book on logic. i will give you basic inference rules for PL now.MODUS PONENS P->Q, P------------ QMODUS TOLLENS~Q->~P, ~Q----------------- ~PCONJUNCTION P, Q -------- P and QSIMPLIFICATION P and Q ----------- P QDISJUNCTIVE SYLLOGISM P or Q ~P--------- QDISJUNCTIVE INTRODUCTION P------P or QHYPOTHETICAL SYLLOGISM P->Q Q->R --------------- P->RPropositional logic is the smallest modal logic.
>>82418830FIND A REFLEXIVE-TRANSITIVE MODEL FOR WHICH THE B SCHEMATA AND 5 SCHEMATA FAIL, RESPECTIVELY W={w1, w2}R={(w1,w2),(w1,w1),(w2,w2)}V(p)={w1}
>>82418862Are there beginner classes for this?
>>82418811I already did, I have a master's in mathematics.
>>82418911>mastersIs it nice being smart? I bet your brain thinks so fast
>>82418811da demiurge
>>82418911THATS AWESOME. DID YOU STUDY MODEL THEORY AND PROOF THEORY!?
>>82418910READ THE BOOK HOW TO PROVE IT BY MATHEMATICIAN VELLEMAN IT WILL INTRODUCE YOU TO WRITING MATHEMATICAL PROOFS WITH A FOUNDATION IN SYMBOLIC LOGIC
>>82418862WOOPS I MADE A MISTAKE MOUDS TOLLENS IS ACTUALLY:P->Q, ~Q-------------- ~P
I could be doing that. Or I could be coding on a game using programming skills I learned from programming with micro controllers. I feel like my effort would be more productive and rewarding than writing proofs.
>>82418937I am quite stupid actually. But I've been interested in math my whole life.>>82418956Among other things, yes.
>>82419020I AM CURRENTLY READING THROUGH A BOOK ON MODAL LOGIC DISCUSSING IT IN THE CONTEXT OF PROOF THEORY! VERY INTERESTING I MUST SAY! IT HELPS WITH MY SCHIZOAFFECITVE IDSORDER
>>82418811I study type theory and calculus of constructions. Proofs are programs. Types are truth. That is all.
>>82418992Do both: learn Lean/Rocq and write proofs as code
>>82418811sorry i dont study anything, because i have addhhdhddhd and i cant pay attention to anythingto me it has to be obviously intuitive or im too stupid to pay attention to it. logic doesnt make sensesorry im stupidive failed english class in highschool and community college atleast 5 times. im just not good at school stuff sorry im stupid. if i could id study philosophy with god, and get some kind of education as a lawyer and look at cases of justice. i dream about this a lot. but im not very books smart
>>82419042NTA, I like Object-Role Modeling
>>82419087Retard lolJust take Ritalin or adderall
>>82419316nah bro i just want to masturbate for 12 hours if i do that..... i dont like taking stims either...
>>82418811> study abstract structures to escape the material world of degeneracyThis is either a shitpost or you have no idea what you're talking about lmao. Abstract doesn't mean immaterial
>>82419699Yes it does faggot if you are a realist. Faggot nigger.
>>82418811>not giving your proof namesThat is borderline unreadable. Comeback when you can use an actual proof assistant.
i get the basics but anything past that is too technical
>>82418811faggot doing intellectual bypassing, tarnishing logics
>>82419941So what's the difference between validity and soundness?
>>82420140>>82418811I really don't like the formula format, feels more clunky than plain language
