[Trac] [OpenMath] #75: general formulation issues

[OpenMath]

#75: general formulation issues
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 ----------------

 The references to the CDs promise a 'full semantic definition'.

 This is misleading in two ways:

 1.  It implies that such a thing exists and would be useful if it did!

 2.  More pertinently, what is in a typical CD is anything but 'full'.

 Better wordings:

 further semantic information

 further discussion of the mathematical semantics

 ...

 ----------------
 The phrase:

  takes no parameters

 is sometimes used but, I think, when something does 'take parameters'
 then they are referred to as 'arguments' (the latter is I think, our
 favoured term).  Also, maybe some zero-argument cases are not
 made explicit in this way.

 ----------------
 This type of language appears very often:

 `An operator representing the foobar of its argument.'

 when I think we mean either (or maybe both of):

 `An operator representing foobar'
 `An operator representing the value of foobar applied to its argument.'

 ----------------

 The usage 'This CD holds ...' sounds a little strange.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/75>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.