Title: The historic development of logic