Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've heard about many kinds of logic like combinatory logic, relevance logic, higher order logic, paraconsistent logic... but I don't know anything about those logical system except higher order logic.

Is there an overview or meta-tutorials about all logical systems? In particular, I'd like to know why those logic system are made and what their applications are.

How to classify them?

share|cite|improve this question
The "Handbook of Philosophical Logic" by Gabbay et al. (several volumes) is a very nice source to get into a specific non-classical logic (the volumes are divided in surey articles of several non-classical logics). For a short introduction of the landscape of non-classical logics, I recommend Priest's book. – Charlie Dec 25 '11 at 19:48
up vote 4 down vote accepted

Perhaps the best overview from a mathematicial perspective is Graham Priest's An Introduction To Non-Classical Logic. The second edition is much more detailed, and if you only want a survey, you may prefer the first edition, if you can find it.

Susan Haack's Philosophy of Logics is more philosophical, but still good for an overall impression of the subject.

Another excellent, and more recent book on the subject is Philosophical Logic, by John Burgess. All three of these books are written by philosophical logicians, perhaps because the motivation for studying non-classical logics often arises from philosophical concerns.

share|cite|improve this answer
thanks. is there a pdf or online version? I can't afford this now – snow Dec 25 '11 at 23:52
Not that I'm aware of, but the many articles on varient logics at the Stanford Encylopedia of Philosophy are excellent. – antirealist Dec 26 '11 at 12:51
@snowcake and icejelly: For an introductory treatment, you may want to look at Eric Schechter's book Classical and Nonclassical Logics (2005). – Dave L. Renfro Dec 27 '11 at 15:01
@snowcake: Take a look at… There you can find one of "the most useful math resources from the web" – boumol Dec 30 '11 at 11:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.