We therefore need ‘if–then’ to be truth functional, meaning that it must have a truth value in every case and that its truth value must be a function of the truth values of its components (Edgington, 2020). These are tight constraints and, as outlined in the introduction, the only ...