Teach Yourself Logic: A Study Guide

by | Dec 27, 2018 | Mathematics | 0 comments

Most philosophy departments, and many maths departments too, teach little or no serious logic, despite the centrality of the subject. Many students will therefore need to teach themselves, either solo or by organizing study groups. But what to read? Students need annotated reading lists for self-study, giving advice about the available texts.

The Teach Yourself Logic Study Guide aims to provide the needed advice by suggesting some stand-out books on various areas of mathematical logic. NB: mathematical logic – so we are working a step up from the kind of ‘baby logic’ that philosophers may encounter in their first year courses. You can also find here some supplements and further Book Notes of various kinds.

The main Guide and its Appendix are in PDF form, designed for on-screen reading. Learning mathematical logic involves a serious time commitment, and different people have different backgrounds/requirements, so you’ll want detailed advice from which you can work out which books might be suitable for you. That’s why the full Guide is rather long. But it is (I hope) approachable written and informative.

Teach Yourself Logic: A Study Guide

by Peter Smith (PDF) – 95 pages

Teach Yourself Logic: A Study Guide by Peter Smith

Related Posts

293 Free Mathematics Ebooks, Learning Platforms, Tools and Resources

293 Free Mathematics Ebooks, Learning Platforms, Tools and Resources

This post will further your knowledge in areas that all mathematicians will be interested in. Find out what resources you can read to learn more, and find a selection of useful links including a variety of ebooks, learning platforms, videos, tools and lecture notes on a wide array of topics, such as doing math foundation, set theory, logic, type theory, algebra and many many more.

Finite Difference Computing with Exponential Decay Models

Finite Difference Computing with Exponential Decay Models

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming.