Reddit reviews Logic for Philosophy

That depends on why you're studying Logic.

Do you plan to use Logic as a tool for doing Philosophy? If so, I recommend studying Logic for Philosophy by Theodore Sider. You will get a more rigorous, formal treatment of propositional and predicate logic than what your introductory textbook likely contained. You will be exposed to basic proof theory and model theory. You will also learn, in depth, about several useful extensions to predicate logic, including various modal logics.

Do you want to become a logician, in some capacity? If so, the classic text would be Computability and Logic by Boolos and Jeffrey. This is an extremely rigorous and intensive introduction to metalogical proof. If you want to learn to reason about logics, and gain a basis upon which to go on to study the foundations of mathematics, proof theory, model theory, or computability, then this is probably for you.

Also, perhaps you could tell us what textbook you've just finished? That would give us a better idea of what you've already learned.

It depends what you're trying to get out of it.

There are literally hundreds of introductory texts for first-order logic. Other posters can cover them. There's so much variety here that I would feel a bit silly recommending one.

For formal tools for philosophy, I would say David Papineau's Philosophical Devices. There's also Ted Sider's Logic for Philosophy but something about his style when it comes to formalism rubs me the wrong way, personally.

For a more mathematical approach to first-order logic, Peter Hinman's Fundamentals of Mathematical Logic springs to mind.

For a semi-mathematical text that is intermediate rather than introductory, Boolos, Burgess, and Jeffrey's Computability and Logic is the gold standard.

Finally, if you want to see some different ways of doing things, check out Graham Priest's An Introduction to Non-Classical Logic.

As others have noted, there really is no essential reading list. What you'll have read by the time you finish your Ph.D. will depend on your coursework, transition requirement (comps, paper), and your dissertation. This will obviously vary widely from individual to individual. It will also vary from program to program. Essential metaphysics reading might include David Lewis in one program, but another program may completely ignore Lewis and have you read Heidegger instead.

I noticed that you said that you're interested in metaphysics and logic. If you're preparing for a Ph.D. and you're doing typical analytic metaphysics, then I recommend you check the following out.

Logic for Philosophy by Ted Sider

The Oxford Handbook of Philosophical Methodology edited by Herman Cappelen, Tamar Gendler, and John Hawthorne.

The second book is really expensive, so if you don't have access to a good university library, then at least work through the one chapter called "Method in Analytic Metaphysics" by Daniel Nolan. You can find the chapter here

aha, first congratulations if you've gotten in, if not good luck.

Econ grad student here.

I'm going to make suggestions more specific to the course of study given there. I'm going to assume you're going into undergrad and from the UK, and I won't say anything about PolySci.

You can start with an introduction to logic like this. I unfortunately don't remember the name of my textbook, but I think they were similar, save money by emailing the professor who teaches that course and asking him what book he uses. If you want to take the 'classics' approach, maybe Aristotle's Organon. Definitely start with the logic because it's the one thing that will help you in any of the other classes.

I don't see any reason not to read Descartes' Discourse on Method, Plato’s Republic; or Aristotle’s Ethics from your second year core courses. Kant I remember as being kind of dense and hard to read, but I wasn't reading it for a purpose so I gave up easily.

As far as economics, sooner or later you will want to get a jumpstart on the mathematical methods. Hoy's Mathematics for Economists is my favorite. It's very readable and has answers in the back. Kahnacademy will help with any parts you don't remember, or need additional work to ease into. How to Prove it may come in handy, if not it's just really neat to see how mathematics evolves out of logical philosophy.

For your micro and macro series. If you want to go with a classical approach, Adam Smith's Wealth of Nations is very readable (skim over the parts about corn sales). Nudge is an interesting popular economics book. Again, you can email the professor's who teach the first year Micro and Macro and ask them what textbooks they use. (this will also allow you to buy the textbooks used online, rather than paying through the nose for them at the bookstore).

Sorry for the wall!

Edit 1: Kahnacademy also has several sections of videos on economics, and I think you would find the documentary series The Ascent of Money interesting.

Another great book is Sider's Logic for Philosophy. This book, however, won't help you learn how to use logic as much. But it'll give you a deep sense of how it all works.

I'd honestly recommend reading both. It'd start with Gensler (jump in at propositional logic, go at least as far as quantified modal), then read Sider in full.

Really? Nolt's Logics? Besides the numerous errors, it's telling that the book has not come out in a second edition.

I think Quine's Methods of Logic remains a fantastic text, if it is a bit dated and filled with Quinean quirks. A more recent text, Ted Siders' Logic for Philosophy is also very good, although the exercises are sometimes quite difficult. I would combine Sider's text with a book on metalogic, since he skips over some of that. Kleene's Mathematical Logic is a classic text by a real giant in the history of 20th century logic. Those should keep someone busy for a good year of study. If you want to branch out, Graham Priest's Introduction to Non-classical Logics will get you started in modal, tense, epistemic, paraconsistent and dialethic logics, also by a contemporary giant in the field.

After that, I would go on to set theory, and stop when I had a grasp of forcing.

I recommend this to all beginners -- I like the Barwise & Etchemendy book because it's aimed at people with no background at all in logic or upper-level math, it's restricted to propositional and first-order logic (which I think logicians of all stripes should know), and it comes with proof-checker software so that you can check your own understanding instead of needing to find someone to give you feedback.

After that, you'll have some familiarity with the topic and can decide where you want to go. For a more mathematical route, I think Enderton (mentioned previously) or Boolos are good follow-ups. For a more philosophical route, I think Sider or Priest are good next steps.