What would be a real life, concrete example of Peirce's Law?
((p → q) → p) → p
There is a Wikipedia article on it, if you are unfamiliar with it:
There is also on Wikipedia of a discussion about giving a concrete example, which went nowhere:
Peirce gave a short explanation of the formula:
((x → y) → x) → x. This is hardly axiomatical. That it is true appears as follows. It can only be false by the final consequent x being false while its antecedent (x → y) → x is true. If this is true, either its consequent, x, is true, when the whole formula would be true, or its antecedent x → y is false. But in the last case the antecedent of x → y, that is x, must be true. https://www.jstor.org/stable/2369451?seq=10#metadata_info_tab_contents
Peirce's Law is a rather simple formula and it is proved valid in mathematical logic--through a Natural Deduction proof or using a truth table--so it should be easy to a give concrete, real life example of it.