Med utgångspunkt i Rudolf Carnaps filosofi studerade han förhållandet mellan logik och naturligt språk. Han behandlade tidigt teorin för översättning med datorer och är känd för att ha ifrågasatt dess praktiska genomförbarhet.