There is an artificial language called Lojban which is based on predicate logic. It was created to form a language in which it is impossible to form an ambiguous sentence. That's a bit of a shame as it would eliminate so much humor.