Logica/Logica matematica/Filosofia analitica