Personal example:

My husband worked as a firefighter for 30 years.

He also worked for ten year in the private sector, paying into SS for long enough to qualify to receive Social Security.

His SS benefits have been cut in half because of his FD pension.

What he paid into SS for forty quarters wasn't 'cut in half' because he also worked for the Fire Dept.

I don't view this as 'double dipping'.