Quine argued in 'Set Theory and Its Logic' that Russell-style paradoxes generated by type theory rev...