Quine, incidentally, made a minor contribution to mathematical logic with his idea of ‘stratified’ formulas in his ‘New Foundations’ version of set theory.
Oh, that’s where the name is familiar from...
Oh, that’s where the name is familiar from...