Logic and Reasoning in the 21st Century by