Logic in philosophy