Springer flood: more logic

In that Springer flood of not-so-old mathematics and philosophy books made available to download, there is a vast range of interesting finds — note, for example, there are all the pre-2005 volumes of the Synthese library. But logicians and their students might like to note in particular that all the first edition, and most of the second edition, of the often extremely useful Handbook of Philosophical Logic is freely available (but not, of course, the equally useful Handbook of the History of Logic, which has a different publisher!).

Volumes in the Handbook’s second edition in particular have previously been prohibitively expensive, and I can imagine that many less well-funded university libraries haven’t bought them all. The long survey essays are a bit patchy, but often excellent.  So let me give  links to contents lists and downloadable files. Here’s the first edition:

Vol I: Elements of Classical Logic
Vol II: Extensions of Classical Logic
Vol III: Alternatives to Classical Logic
Vol IV: Topics in the Philosophy of Language

And here are the freely available volumes of the wider-ranging second edition (the volumes are untitled so I give some partial indications of contents):

Vol 1: [First order, higher order logic: basic recursion theory]
Vol 2: [Types of deductive system; algebraic and many-valued logics]
Vol 3: [Modal Logic]
Vol 4: [Conditional logic, dynamic logic, etc.]
Vol 5: [Intuitionistic logic, free logic]
Vol 6: [Relevance logic, paraconsistent logic]
Vol 7: [Tense logic]
Vol 8: [Sequent systems for modal logics, deontic logic]
Vol 9: [Proof theory and meaning, negation, logical frameworks]
Vol 10: [Names and descriptions, indexicals, property theories]

I’ll need, when the mood takes me, to update the TYL Guide, both to give links to now freely available Springer books, but also in one or two places to make more use of some Handbook articles. And I will need to update the categories page too. But, hey, it is still the festive season, so one thing at a time!