The Emergence of First-Order Logic