logician