[FOM] Nomenclature - logical formulas and term

John Baldwin jbaldwin at uic.edu
Wed Nov 5 10:59:02 EST 2008

Logicians routine define a formal language by defining inductively
terms and formulas.

Is there a good word for the union of these classes?  `Expression' springs 
to mind. Unfortunately, expression is a frequent synonym for term 
in high school algebra).

Shoenfield used `designator' but that seems too technical when speaking 
with mathematics educators.

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics, 
and Computer Science  M/C 249
jbaldwin at uic.edu
Room 613 Science and Engineering Offices (SEO)
851 S. Morgan
Chicago, IL 60607

More information about the FOM mailing list