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)
|