On Jun 23, 2014, at 10:25 PM, rrovetto@xxxxxxxxxxx wrote: (01)
> Thank you all for the feedback thus far. A couple of quick follows-ups:
> ...
> To add context to my original question: I'd basically like to know what
>non-FOL/non-syllogism logical formalisms are there for ontologies?
> This question assumes that FOL is based on Aristotelean syllogistic logic.
>Based on my studies in philosophy FOL is essentially presented as a modern
>form or translation of it. (02)
No. FOL is indeed more modern, and it 'contains' syllogistic logic, but it is
far more powerful (expressive) than anything known to Aristotle. All of modern
mathematics, for example, can be written in FOL. One can make out a good case
that anything that can be formalized in *any* language that has a reasonable
notion of 'proof', can be expressed in FOL. See http://tinyurl.com/o9a9hyc (for
example) for more on this. (03)
So the premis of your question, below, is mistaken. (04)
> Now, my concern with this is that since syllogistic logic is not how the mind
>reasons (05)
Nobody knows how the mind reasons. THe mind is certainly capable of following
syllogisms, however. (06)
> , and is also very limited (in terms of producing truthful
>results/consequences, and expressivity, if not other things), why isn't a
>non-syllogistic-based logic used for ontologies? Why is FOL used? (07)
Actually, for the bulk of actual uses, weaker logics than FOL are used, because
they are decideable. OWL-DL for example is based on description logics. (08)
Pat Hayes (09)
>
> If anyone can answer, or address this, I eagerly await your thoughts. Thanks.
>
> Aside from that, please continue mentioning any other logics that are used.
>
> On Tue, Jun 24, 2014 at 4:06 AM, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx>
>wrote:
> By the same logic, a concept can be the product of
> 'subordinate components', or more linguistically
> aimed, 'a product of properties and behaviors'.
> The choice of alternative interpretations, or the
> choice of a component list, is the distinction
> between Mereology and other forms of logical
> representation.
>
> So unions of alternatives and products of
> component parts seem to be equivalent castings.
>
> -Rich
>
> Sincerely,
> Rich Cooper
> EnglishLogicKernel.com
> Rich AT EnglishLogicKernel DOT com
> 9 4 9 \ 5 2 5 - 5 7 1 2
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On
> Behalf Of Barkmeyer, Edward J
> Sent: Monday, June 23, 2014 2:17 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Types of Formal
> (logical) Definitions in ontology
>
> John makes an important addition to my list. In
> addition to defining a concept as the union of a
> set of 'subordinate' concepts', it is also
> possible to define a 'class' or a 'term' (less
> clearly a 'concept') as a specific set of named
> things. This latter is also referred to as an
> "extensional definition". One can define 'primary
> color' as "one of red, orange, yellow, green,
> blue, indigo, violet," without being at all clear
> about what the distinguishing properties are.
>
> (I tend to think that a 'concept' should have a
> definition that involves specifying properties,
> but then "being the color red" and "being John
> Malkovich" can be considered properties.)
>
> -Ed
>
> > -----Original Message-----
> > From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-
> > bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F
> Sowa
> > Sent: Monday, June 23, 2014 4:47 PM
> > To: ontolog-forum@xxxxxxxxxxxxxxxx
> > Subject: Re: [ontolog-forum] Types of Formal
> (logical) Definitions in ontology
> >
> > Ed and Pat,
> >
> > Pat raises an important point:
> >
> > PJH
> > > If all classes are defined in terms of other
> classes, where does the
> > > whole process get started?
> >
> > All three of those methods assume you have some
> classes to start:
> >
> > EJB
> > > 1) identify a more general concept and the
> delimiting characteristics
> > > of the subordinate concept being defined
> > > This is exactly: An A is a B that C.
> > > 2) identify a list of subordinate concepts
> that together cover the
> > > more general concept being defined - the
> union of other defined classes:
> > > An A is a B or a C or a D.
> > > 3) One can also define a Class as the
> intersection of two or more classes,
> > > but that is just a special case of (1): An
> A is a B that is also a C.
> >
> > Those are all set forming operations. Set
> theory has a starting method:
> > {x | P(x)} -- the set of all x for which
> some property P is true.
> >
> > That property P can also be specified by
> enumeration:
> > {x | x=a or x=b or x=c}
> >
> > What distinguishes a class from a set are the
> identity criteria:
> >
> > 1. Two sets S1 and S2 are identical if they
> have the same elements.
> >
> > 2. Two classes or concepts C1 and C2 are
> identical if they have the
> > same or logically equivalent defining
> property or predicate P.
> >
> > The set of all cows, for example, changes with
> every birth or death.
> > But the concept cow is determined by an
> unchanging predicate P.
> >
> > John
> >
> >
> __________________________________________________
> ________
> > _______
> > Message Archives:
> http://ontolog.cim3.net/forum/ontolog-forum/
> > Config Subscr:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-f
> orum/
> > 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
> >
>
> __________________________________________________
> _______________
> Message Archives:
> http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-f
> orum/
> 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?WikiHomePa
> ge#nid1J
>
>
>
> _________________________________________________________________
> 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
>
>
>
> _________________________________________________________________
> 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 (010)
------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile (preferred)
phayes@xxxxxxx http://www.ihmc.us/users/phayes (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 (012)
|