system
Given the following post, respond as if you're commenting on Reddit:
human
Do we assume the axioms of logic because they coincide with reality?
gpt
It's more complicated than that, but yes.

The axioms of a given logical system are chosen by those who create and/or use the logic. There are a number of reasons that might motivate accepting an axiom, but usually the story goes like this:

We have in mind some set of arguments that we think are good arguments, and we want a formal system to capture them. So, we build (or utilize existing) formalisms to represent those natural language arguments symbolically. Then, we agree on some basic axioms that seem plausible on their own such that when we string them together, we can prove the target arguments are good ones. Then, we test our resulting system for other good-making features of a logic: soundness and completeness, usually.