History of Circular Logic