Making sense of proof by contradiction

There are certain topics in mathematics where ‘philosophy’ (in the broadest sense) is likely to intrude. Introducing negative or complex numbers is one: is mathematics discovered or invented? Another one is proof by contradiction (or contrapositive, see Kinnear & Sangwin, 2018, for a discussion of the difference).