Aristotle's Prior Analytics and Boole's Laws of Thought