On Dec 24, 2010, at 7:15 AM, Chris Partridge wrote:
> Hi Patrick,
>
> I was not seeing that the issue was with whether the standard had any
>particular conformance requirements. (01)
Correct, my post had nothing whatever to do with conformance requirements. (02)
> It was more about whether the individuals drafting it had the requisite
>training in the right areas. (03)
Right. (04)
> The original issue was that there was a confusion between classes
>(types/universals) and individuals (elements/particulars). This seems to me a
>confusion about what things actually exist in the real world — in the domain
>being modelled ... (05)
In the case in question, I'd call it a confusion about how things in the domain
being modeled are to be classified. (06)
> and is unhealthy. If people had the right training they would be much less
>likely to make this kind of mistake.
>
> This seems to me a separate issue from whether formal logic should be made a
>requirement for standards. (07)
Indeed. (08)
> PD> there isn't some abstract requirement that all modeling projects conform
>to formal logic.
> Agreed - and very few do at the moment.
>
> Also, I would argue (and I think ChrisM does below as well) that having
>merely a good grounding in formal logic by itself is insufficient to build up
>the competence to avoid these kinds of errors - hence ChrisM's long list. (09)
-chris (010)
>> -----Original Message-----
>> From: Patrick Durusau [mailto:patrick@xxxxxxxxxxx]
>> Sent: 24 December 2010 12:34
>> To: mail@xxxxxxxxxxxxxxxxxx; [ontolog-forum]
>> Subject: Re: [ontolog-forum] Fwd: [New post] The Newest from SOA: The SOA
>> Ontology Technical Standard
>>
>> -1.
>>
>> Chris,
>>
>> The question is whether SOA or any other modeling effort has conformance
>> to the dictates of formal logic as a requirement?
>>
>> If not, and the modeling effort meets the needs of its community, I don't see
>> a problem.
>>
>> Or to put it differently, there isn't some abstract requirement that all
>> modeling projects conform to formal logic. Some will, some won't, most will
>> fall somewhere in between.
>>
>> Hope you are having a great holiday season!
>>
>> Patrick (011)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012)
|