[FOM] Nomenclature - logical formulas and term
Gianluigi Oliveri
gianluigi.oliveri at unipa.it
Fri Nov 7 04:38:54 EST 2008
Dear FOMers,
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
inductive definitions).
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.
Gianluigi Oliveri
---
Università di Palermo
Dipartimento di Filosofia, Storia e
Critica dei Saperi
viale delle Scienze
90128 Palermo
ITALIA
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'
>> springs
>> 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
>> 312-413-2149
>> Room 613 Science and Engineering Offices (SEO)
>> 851 S. Morgan
>> Chicago, IL 60607
>>
>>
>> _______________________________________________
>> FOM mailing list
>> FOM at cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/fom
>>
>
> --
> 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
> http://www.cs.nyu.edu/mailman/listinfo/fom
More information about the FOM
mailing list