Archaeology of Logic