Pat, (01)
I doubt that: (02)
> Or, an alternative explanation, the logician actually knew
> a good deal more about language and FOL than Doug does, and the
> piece of English was in fact (as most pieces of English are)
> extremely tricky to render accurately into logic, perhaps containing
> definite descriptions and modalities, or using such constructions
> as 'was considered the reason why', but Doug considered an accurate
> translation to be too fussy and pedantic for Cyc's robust methodology. (03)
Doug is not stupid. He wouldn't have used any sentences that he
didn't feel confident he could translate to CycL. And CycL doesn't
support modal logic or phrases like 'was considered the reason why'. (04)
I think that Chris's explanation is more likely: the so-called
logician was somebody who had once taught an introductory course
in logic. (05)
John (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|