Filosoofia, loogika