ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Discussion re reasoning about Time and State with RE

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: David Whitten <whitten@xxxxxxxxxx>
Date: Thu, 21 Aug 2014 15:39:14 -0400
Message-id: <CAH8N84xU18tzjpsVTOudfdO7i3uO_BHJYTzimyUCeCS9VcjVpw@xxxxxxxxxxxxxx>
What other kinds of implementation of causality would you think also
should be discussed?    (01)

On Thu, Aug 21, 2014 at 3:17 PM, joel luis carbonera
<joelcarbonera@xxxxxxxxx> wrote:
> Hi all.
>
> I'm not sure if i understood correctly the discussion about logic and
> causality, but, in my point of view, causality is an ontological issue, and
> logic, in general, is ontologically neutral.
>
> Some people think that "implication" representes causality, but this is not
> necessaruly true.
>
> Ex: Forall x Person(x) -> Mammal(x).
>
> Best regards.
>
> Joel.
>
> --
> ____________________________________
> CV: http://lattes.cnpq.br/0044387433155250
>
>
> _________________________________________________________________
> 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
>    (02)

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

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