Logic in Philosophy