New entry at SEP: Logic and Information.