John Flavel (logician)