Archaeology of logic. (2023)