Logical and mathematical truths (e.g., modus ponens, 2+2=4) hold necessarily across all possible exp...