On 2/12/2015 11:15 AM, Jack Hodges wrote:
> Logic is one way to build models but it is only one way so I do not
> think that bringing it into the discussion is on point.  (01) 
I would clarify that point by saying:  (02)
 1. Logic -- formal or informal -- is used to design *every* model.  (03)
 2. The main question is whether the logic is stated explicitly
 or implicitly.  (04)
 3. But there are many criteria that determine whether a model is
 good, useful, accurate, etc. Making the logic explicit does not,
 by itself, make the model better. But it may make the model
 easier to analyze, debug, revise, etc.  (05)
 4. However, some notations for logic are so verbose that they may
 obscure rather than clarify the structure. Good tools with good
 notations and good human factors are required.  (06)
John  (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  (08)