Trancendental Arguments

See arguments.

Trancendental arguments comes out of modal logic. Given the first premise, it reduces to a modus ponens.

$$ Y \implies \Box X $$$$ Y $$$$ \therefore X $$

Why is this not just affirming the consequent?