What can Logic do for Philosophy