Filosofia da lógica