Filosofia de la lògica