Logic\'s Invention