Hold on to your modus ponens; we’re getting serious about precision.
Logic works in a surprising range of places, from the law to your smart phone. It’s all about propositions and connectives—if you infer validly you should end up with truth. But the question of why logical relations should hold across unlike domains remains a serious philosophical mystery. Logic might be a grand cosmological truth, or just a game of words between consenting adults.