4
$\begingroup$

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?

  • 0
    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.2011-12-25

1 Answers 1

5

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.

  • 0
    @snowcake: Take a look at http://mathoverflow.net/questions/2147/most-helpful-math-resources-on-the-web There you can find one of "the most useful math resources from the web"2011-12-30