Israeli philosopher known for his work in machine translation and formal linguistics.
He served in the Jewish Brigade of the British Army during World War II.
He was a disciple of Rudolph Carnap.
He married Shulamith Yehoshua in 1944.
He received his Ph.D. in philosophy from Hebrew University where Albert Einstein was one of the first governors.