Logic, Philosophy of Mathematics and Analytical Tradition