Where should I start if I am trying to learn about logic?
I got this from another anon:
"whatever book you end up choosing, do the fucking exercises. try to find a book with answers (library genesis is your best friend here)
there are many entry level textbooks. i would recommend goldfarb's 'deductive logic.' it's beautifully and conversationally written, with no stupid bullshit. just the basic logic and some exercises. it's not all cluttered up like a standard textbook.
that is a solid foundation in first order logic with identity, multiple quantifiers, and decriptions. it'll get you the bedrock for everything else.
but, there are many logic textbooks online. download a bunch from lib gen and see which one fits your educational needs. which ones are written in ways you understand, which ones presume the right level of rigor, etc.
after that, i recommend ted sider's logic for philosophy. it's the next step. you learn meta logic (completeness and soundness proofs), as well as gain familiarity with set theoretic notation, and more generally, mathematical sophistication. it's harder, but worth it. again, do the exercises.
then, go nuts. van benthem's 'modal logic for open minds' is a great succinct intro to modal logic. if you want modal logic done more rigorously, fuck the standard opinions and read blackburn de rijke et al. it'll also serve as good practice with discrete structures more generally, which is useful for various things in philosophy.
michael sipser's book is an excellent introduction to automata and computability.
if you want a challenge, try peter smith's textbook on godel's theorems. but that's after the first two books i recommended, at least.
all these books are on library genesis. good luck and have fun!"
>>1564744
Thanks a lot! I'm basically just looking for logic for everyday thinking and decision making, critical thinking, etc. Does this involve a lot of math?
>>1564769
This is philosophical logic, so no. There is some overlap though.
You might be looking for something different though, because this is the sort of formal and rigorous logic that philosophers use.
I would suggest Aristotle's "Organaon" and look at some of the analytic works of the 20th century, though I would avoid anything by Rawls.