[FOM] Nomenclature - logical formulas and term
gianluigi.oliveri at unipa.it
Fri Nov 7 04:38:54 EST 2008
A possible suggestion is 'proper word'. In fact, if by 'word' on the
alphabet A of, for instance, first-order logic we mean a finite string of
symbols belonging to A, we could say that a proper word on A is a word on A
that is either a term or a well formed formula (according to the usual
The advantage of this suggestion seems to be that we do not introduce any
improper semantic element, as in the case of 'designator', as a solution of
what appears to be a syntactic question.
Università di Palermo
Dipartimento di Filosofia, Storia e
Critica dei Saperi
viale delle Scienze
tel. 091 656 0273
fax. 091 656 0287
> On Wed, 5 Nov 2008, John Baldwin wrote:
>> Logicians routine define a formal language by defining inductively
>> terms and formulas.
>> Is there a good word for the union of these classes? `Expression'
>> to mind. Unfortunately, expression is a frequent synonym for term
>> (especially >> 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
>> FOM mailing list
>> FOM at cs.nyu.edu
> URL: www.dpmms.cam.ac.uk/~tf;
> DPMMS ph: +44-1223-337981;
> mobile in UK +44-7887-701-562;
> mobile in US: +1-412-818-1316;
> mobile in NZ +64-210580093.
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM