Зомби-формализм: за и против