Title: Positive Philosophy and the Automation of Reason