Reddit reviews Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets
We found 3 Reddit comments about Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets. Here are the top ones, ranked by their Reddit score.
Oxford University Press USA
That seems like too much for one summer. Furthermore, I wouldn't suggest focusing so much on modern philosophy. If you are going to an American analytic program, then I would suggest picking up David Papineau's Philosophical Devices which is a concise introduction into the analytical tools of contemporary philosophy. I would also suggest picking up the Oxford Handbook of Contemporary Philosophy. Which will serve as an excellent introduction to what contemporary philosophers are talking about these days.
If you are dead set on reading a bunch of modern philosophy then I would suggest ditching Spinoza and Hegel (they aren't really talked about much in analytic phil. these days) and focusing primarily on Kant and Hume. For Hume, I think you would be best served by reading the Enquiries into Human Understanding and the Principles of Morals. They are much clearer and better written than the Treatise. For Kant, I wouldn't worry so much about the critique. Stick to the Groundwork and the Prolegomena.
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.
A couple of books you might find useful: