What is logic and why do philosophers study it?