Title: A Short History of Logic