/sci/ - Science & Math

Press S to spit on Tarski and his """results""".

I've just finished reading A. Tarsky's "Introduction to logic" and I've found out that many of the terms he uses are not widely used anymore. For example, he defines the expressions which, on replacement of the variables by costants turn into designators of things as "designatory functions", but I can't find anything online about them. So, how should expressions such as "the mother of $x$" or "$x+2$" be called?