Title: Archaeology of Logic