you don't have to be autistic to like logic

>>16916668
Well I am autistic though (diagnosed) :)

>>16916619
Intersting subject but I don't know where to start, every book I found is about set theory

>>16916677
congratulations

>>16918868
Start with philosophical logic

>>16916619
sophism, is what I think, since you asked

>>16916619
Look into set theory, categorical logic, and model theory

>>16916619
What exactly have you learnt from this "study"?

your diagnosis is fake

>>16916619
It's useless shit.
Why?
Maybe one of the most important contriubtions of logic to the field of mathematics is proof making.

However the only proof technique I like is DIRECT proof.
WHY? because only THAT method can make you fully comprehend the mechanics behind the construction of the inventor of that specific formula.
Others just exploit some shitty property about them to prove they actually work. Non of them are DERIVATIONS. I hate my teachers because they only spam some theorems but do not show how to attack the problem itself. I hate math because of this. Most of it is useless crap that I cannot manipulate algebraicly to obtain the result I desire. I don't want to show the existence of some already discovered result. I WANT TO DISCOVER SOME RESULT BY MYSELF! DO NOT GIVE ME THE FISH TEACH ME HOW TO CATCH A FISH YOU FUCKING BITCH.

Therefore if you find some applications of logic to the area of applied mathematics apart from proof making then its not garbage but some precisious thing in my eyes.

>>16920350
addition.

I find set theory and measure theory useful for probability, statistics and calculus. Hence I know they're used in applied math as well. However they are seperate from the pure logic itself.
Implies, True, False, if and only if, and or blah blah. That's what I'm talking about in general.

>>16916619
What book on logic would you rec to someone like me (6ft, 290lbs, White)?

File: 46-63754265.jpg (36.9 KB)

36.9 KB JPG

I've been logic pilled for almost a decade, had all my phases, set theory, HoTT, categories, topoi, reverse math, lately more topology. Foremost, I've been a constructive math guy.

Not sure where you're going with this thread.

I have a tangenial interest in modal logic and Kripke frames.
What I find appealing is
[math] \nvdash A\to (B\Rightarrow A) [/math]
with [math] \Box A := \top\Rightarrow A [/math].
I want to model counter-factuals in reasoning. For this reading, we don't impose too many properties on the accessibility relation