Category Archives: TYL

On Sider’s Logic for Philosophy — 2

Suppose that you have some background in classical first-order logic, and want to learn something about modal logic (including quantified modal logic) and, relatedly, about Kripke semantics for intuitionistic logic. Then the second half of Sider’s Logic for Philosophy certainly aims to … Continue reading

Posted in Books, Logic, TYL | 8 Comments

On Sider’s Logic for Philosophers — 1

It hasn’t been mentioned yet in the Teach Yourself Logic Guide, so I’ve predictably been asked a fair number of times: what do I think about Ted Sider’s Logic for Philosophy (OUP 2010)? Isn’t it a rather obvious candidate for being … Continue reading

Posted in Books, Logic, TYL | 8 Comments

TYL, #18: another update for the Teach Yourself Logic Guide

After a bit of a hiatus, there’s now another update for the Teach Yourself Logic Guide. So here is Version 9.3 of the Guide (pp. iii +  68).  Once more, do spread the word to anyone you think might have use … Continue reading

Posted in TYL | 1 Comment

TYL, #17: The Teach Yourself Logic Guide updated

After taking a bit of a rest from it, I’ve been getting back to work on the Teach Yourself Logic Guide. Here then is Version 9.2 of the Guide, newly updated (pp. iii +  62).  Do spread the word to anyone you … Continue reading

Posted in TYL | 8 Comments

TYL, #16: The Teach Yourself Logic Guide again

Oh dear. I seem to have spent much more time than I meant over the last week revisiting various logic books and updating the Teach Yourself Logic Guide, and it seems to have somehow grown by another nine pages. So … Continue reading

Posted in TYL | 6 Comments

TYL, #15. A major update to the Guide

The new April version of the Teach Yourself Logic Guide is now available for downloading. This is re-organized and half as long again as the previous version. After the Introduction there is a short new Chapter 1 on Logical Geography … Continue reading

Posted in TYL | 11 Comments

TYL, #14. Alternative set theories

I’ve been doing quite a bit of work over the last couple of weeks for a major April update of the Teach Yourself Logic Guide (you can download the current March version here). And I’ve got to a subsection where I … Continue reading

Posted in TYL | 10 Comments

TYL, #12. The Big Books — Goldstern and Judah 1995

Some 300 people have downloaded the February version of the Teach Yourself Logic Guide, so I guess I’m not entirely wasting my energy. Sure, the Guide won’t be a particular exciting project for many: so I must try to get … Continue reading

Posted in Logic, TYL | 2 Comments

Teach Yourself Logic, #11. New version of the Guide

Right. I really must get on with other work (in particular the task of writing exercises for the Gödel book awaits).  But, as an exercise in constructive procrastination I’ve just uploaded the February 2013 version of the Teach Yourself Logic … Continue reading

Posted in Logic, TYL | 5 Comments

Teach Yourself Logic, #10. The Big Books — Shoenfield 1967

I think I might be going to regret this. I’ve just realized that there are over 25 “Big Books” on math logic on my shelves that could reasonably warrant a mention in the planned chapter in the Teach Yourself Logic … Continue reading

Posted in Logic, TYL | 5 Comments