There was an excellent program on BBC 4 last night - The Joy Of Logic, introduced by Prof Dave Cliff (the guy who wrote the 'Zip' trading algorithm, if that means anything to you).
It follows the development of logic from the ancient Greeks up to the present day in an intelligent but acccessible form with a great demo being a computer made from children (without removing their brains) performing an addition function. It also highlights the major figures in the development of logic, and the trials and tribulations along the way (curse you, Godel!).
Now appeared on YouTube so you can all see it : http://www.youtube.com/watch?v=08RoVHWta9A
Definitely worth a viewing.