ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Proceedings: "Database & Ontology" mini-series Sessi

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Tue, 17 Jul 2007 12:45:48 +0200
Message-id: <469C9DDC.6010208@xxxxxxxxxxx>
paola.dimaio@xxxxxxxxx wrote:
> Waclaw
> thanks for this
> I was hoping to get the mathematical representation of this reasoning so 
> that I can learn somthing from my 'to do' list
> while I reason about nature -    (01)

wait for John to acknowledge my recast of his position.    (02)

> the problem is that y (fred, the bat) is not a bird
> y is a mammal -
> 
> therefore, if y is not a bird, and it flies,
> not only birds fly
> 
> (tell me what I am missing)    (03)

nothing in this bit.  but from    (04)

~P(y)
Q(y)    (05)

you infer    (06)

exists x, Q(x) and ~P(x)    (07)

*deductively*, not inductively.    (08)

vQ    (09)

_________________________________________________________________
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    (010)

<Prev in Thread] Current Thread [Next in Thread>