metalogicians