> Much like there's a cost associated with income inequality, so we tax the rich more to supposedly cover that cost.
That's a fairly disturbing way to frame progressive taxation. In the other examples of taxing externalities, we intentionally discourage the behavior by taxing it. Do you intend to discourage people from becoming rich by taxing it? Also, it takes both rich and poor to have inequality. Why not tax poor people more to discourage poverty?
> Do you intend to discourage people from becoming rich by taxing it?
That's not the intention, but perhaps a side-effect. A minor one, at that. I'd imagine it would be very difficult to discourage people from becoming rich. A progressive tax schedule certainly does not do much discouraging right now.
Now that I answered your question, perhaps you can return the courtesy:
Does there or does there not exist a high enough degree of income inequality such that there is a cost borne by society?
That's a fairly disturbing way to frame progressive taxation. In the other examples of taxing externalities, we intentionally discourage the behavior by taxing it. Do you intend to discourage people from becoming rich by taxing it? Also, it takes both rich and poor to have inequality. Why not tax poor people more to discourage poverty?