数理哲学では、彼の指導者であるクワインと共同でいわゆる「クワイン-パトナムの不可欠性テーゼ」を展開した。