Dear Listers, I posted this inquiry on another email list but haven't gotten an answer. Who was the first logician to present rigorous formation rules for a formal language? And where (and when) did they do it? Ed Mares Edwin Mares Philosophy Victoria University of Wellington Wellington, New Zealand