Sometimes, in math classes, we are asked to give justification for our mathematical assertions. We say that mathematical statement X is true because Y is true. However, I don't know if "because" is the right word to use. Mathematical objects and statements, in my view at least, are not located in time or space, so they can't cause anything. So, why do people talk of "because" in math? Is it that they really mean "implies"? But I don't think "implies" is the right word to use, either. Every true mathematical statement implies every true mathematical statement, but, for example, we wouldn't say that the fundamental theorem of algebra is true because 3+4=7. So, then, my question really is, has any philosopher or mathematician formalized a notion of "because" in mathematics?
It seems like the type of "because" statements you are talking about can be equated to "is implied by" (or perhaps more precisely "is derivable from"). For example 3+4=7 is implied by the most fundamental axioms of arithmetics (e.g. Peano), but not the other way around, because 3+4=7 is not given as an axiom. However, I see that "because" is not really the most rigorous word for that case, so I believe it is just people being a bit liberal in how they word questions.
That said, there are notions of "because" in applied mathematics, specially in the field of statistics, under the general field of causal inference. A few embodiments of it are randomized controlled trials, counterfactual conditionals, and Judea Pearl's causal graphs.
The answer is actually quite trivial once you understand formal proofs. Take for example this Fitch-style system. Each line in a proof in this system must be deduced from preceding lines. If you skip steps, it would mean omitting some lines. But informal proofs often not only skip logically simple steps but also present the remaining steps in a different order from formal proofs in most abstract formal systems (whether Fitch-style, sequent-style, Hilbert-style, ...). For example, in a formal proof you may have this subproof:
where there are multiple lines in "..." that are only used to deduce "A". In that case, an informal proof might present those steps in a manner that essentially has the following structure:
This should be understood as a top-down presentation, whereas the earlier formal subproof is a bottom-up presentation. Note that both kinds of presentations can be made equally formal, but conventionally logicians have defined abstract formal systems to be bottom-up for easy analysis rather than for easy practical use.
So in mathematical writing, "A, because B." is simply no different from "B. Thus A.". Other remarks about philosophy are simply irrelevant to the usage of "because" in common mathematical writing.
I believe “because” in the sense you want enters at the foundational level of mathematics, as in how one views mathematical objects beyond the formalism.
Why does 3+4=7? Because it somehow represents abstract truths (platonism)? Because it is necessarily so from our innate concepts (Kant)? Because we’ve provided a positive proof (intuitionism/constructivism)? Because it serves a purpose while being false (fictionalism)? Because it is a biological hardwiring (Lakoff)? Because it serves the same structural role as other structures (some type of structuralism)?
I think you’re asking for the deepest because we can offer. And we can’t definitively answer that.
Yes, almost(?) every mathematical proof has one or more "because" in it, but (according to my experience) usually the word "since" (which, you will certainly agree, is equivalent to "because") or "given that" would be preferred.
Logically, "A because B" is equivalent to "B implies A", and the general structure of mathematical proofs is most frequently of the form "premise => conclusion", so words meaning implication, like "thus", "hence", "whence", "therefore" will me more frequent than "since" or "because".
Also, "because"/"since" will often be used to make the reading of the proof more easy by recalling or restating things that had already been stated previously, and therefore might even be omitted in a denser style of proof.
You should have no difficulty to check these claims by scanning through mathematical papers as you can find abundantly, for example, on https://arxiv.org/list/math/recent. But if required, I'll be glad to provide concrete examples/references.
Because means either:
by reason of
or by cause of (as in cause and effect, a temporal relation).
We can formalise the first notion by qualifying propositional logic into modal logic with the modality operator, it necessarily follows as opposed to it possibly follows or is impossible.
And we can formalise the second by temporalising our logic. This was first done comprehensively by Ibn Sina (Avicenna) because he believed most categorical propositions were not true without temporal qualifiers. There were precursors to Ibn Sina in stoic logic, for example, in the writings of Theophrastus.
I don't think "because" has a meaning in mathematics akin to the English word "beacuse," simply because when we need the meaning of the English word, we just use it in English (or any equivalent phrasing in other languages).
There may be value in a formalized meaning that is similar. I would argue that that meaning is typically seen broken into two parts, "necessary and sufficient." These are terms that are typically tied to entailment, and "entails" is a very carefully formalized word.
This also lets us break the two terms apart when it suits us. In your example, 3+4=7 is necessary for the fundamental theorems of algebra to hold true, but it is not sufficient. Likewise, the rules of Peano Arithmetic (the rules of arithmetic you are probably most familiar with) are sufficient to show 3+4=7, but they are not necessary. Weaker arithmetic, such as Presburger Arithmetic are also sufficient.
Neither of these quite captures causality the way "because" does, however it can do so in context. Often we find ourselves with an implication where the antecedent is a "higher order" than the consequent. In those situations, it's reasonable to say that the implication acts like "because." But it isn't necessary. While mathematicians may find it useful to think in terms of "because," the math itself typically benefits from other phrasings such as "necessary and sufficient," or through implications that are structured in a way to suggest causality.
In most formal logic systems, every individual statement is independently provably true, provably false, or undecidable, based upon the system's fundamental axioms. If a statement is provably true or provably false in some system, that would be an inherent property of the statement and the system, and would in no way be affected by anyone's ability or inability to prove that the statement is true or false. From a practical matter, it may be useful to recognize categories of statements for which proofs of true or falsity might exist, but for which no such proofs are known to exist, but such categories would not be part of the systems themselves.
The only sense in which the notion of causality would be meaningful in such systems would be in deciding which axioms would be necessary to prove which statements. If a certain statement can be proven true in a system with twenty axioms, and could be proven just as well with five of them omitted, but omitting any of the other fifteen would render the statement false or undecidable, then it would make sense to say that the statement is true because the fifteen necessary axioms are true. It does not, however, make sense to say that any statement is true because some non-axiomatic statement is true, since the truth or falsity of both statements would independently flow from the axioms, and they would in no way affect the truth or falsity of each other.