Material implication

People have a rather clear idea of what if-then means. In formal logic however, material implication defines if-then, which is not consistent with the common understanding of conditionals. In formal logic, the statement "If today is Saturday, then 1+1=2" is true. However, '1+1=2' is true regardless of the content of the antecedent; a causal or meaningful relation is not required. The statement as a whole must be true, because 1+1=2 cannot be false. (If it could, then on a given Saturday, so could the statement). Formal logic has shown itself extremely useful in formalizing argumentation,…

Open the “Material implication” section on Wikipedia →

Source: List of philosophical problems (CC BY-SA 4.0)