I was so tempted by the idea of recording podcasts to accompany IFL. After all, that is a longish book — well over 400 pages, with 42 chapters. There is a lot of signposting as we go through. But I thought that some student readers might still appreciate a series of orientating chats, giving relaxed introductions to some main topics, which could be listened to over a coffee before tackling chapters from the book.
But on second thoughts podcasts were of course a dumb idea. We very soon have to start juggling with symbols in logic — and how can we do that in a podcast, without being able to use a blackboard or whatever? A bit of experimentation suggested that the audio format wasn’t going to work very well (even if I included instructions like “look at page 123”). So I’m going to compromise. Yes, we want something that is as relatively informal as a podcast, which is still relaxed, short and snappy. But we also want to be able to use some symbols, or eventually state theorems which you might need to look at twice to understand; so we need something bite-sized but text-based. Call the compromise a ‘logicbite’ — with an admiring nod to that wonderful series of philosophybites podcasts.
I’ve made a start, and the first
five seven logicbites are now online here. They’ve developed in a way I didn’t really plan or predict — but rather than summarize my own words in my own words, I’ve found myself giving quotes (sometimes extensive ones) from other textbook authors, introducing key ideas in their words. It is always good for students to hear more than once voice.
And if I quibble with the quoted authors (especially in Logicbite 4, at some length), that’s not because I want to be particularly captious. Rather it is good for students to see it isn’t easy to get things spot on. We want to encourage students to read even logic texts — including mine! — with a sharply critical eye. Anyway, I hope some will find the logicbites useful. (At the moment IFL is being downloaded over a thousand times a month, so I guess some students out there are indeed being directed to it.)