Carnap e a natureza da lógica