# Can the truth of statements cause the truth of other statements?

Suppose I have a statement like "2+2=4". I believe the truth of that statement causes the truth of a statement like "2+2=4 OR 3=5". Have any philosophers or mathematicians developed the notion of a causal theory of truth? Such a theory should ideally require two statements to be relevant for there to be a causal connection between them.

• I think the answer given so far is exactly what you are looking to go beyond? If so then see SEP on Lewis's counterfactuals for a quick-but-dense intro. Aug 20 '17 at 23:18
• What you're likely looking for in mathematics is the notion of "forcing". Nothing causal, since mathematical entities are typically assumed to be abstract if they're countenanced, but certain statements "force" via the forcing proof method other statements to be true. For example, the axiom of constructibility (V=L) forces the continuum hypothesis (among other independent axioms) when added to ZF set theory. Aug 21 '17 at 2:35
• Isn't "theory of truth" is simply, logic? Aug 22 '17 at 5:56