[FRIAM] Fwd: RE: Doxastic logic - Wikipedia

Roger Critchlow rec at elf.org
Fri Sep 22 14:21:20 EDT 2017


On Fri, Sep 22, 2017 at 10:58 AM, Frank Wimberly <wimberly3 at gmail.com>
wrote:
[ ... ]

> Beyond that, there are problems with statements that are apparently
> analytic.  Every black dog is a dog but is every iron horse a horse?  Even
> "black dog" may mean something other than a dog in some context.  Human
> language is very ambiguous.  That's why mathematicians use formal logic,
> sometimes.  In one of his books, John Baez says a 1x1 matrix is a number I
> pointed out that it wasn't and he said that all mathematicians would say it
> is except logicians.  He said he would lash himself with a wet noodle.
>
>
https://www.theblackdog.com

Can an AI learn logic googling the internets or will it end up as confused
as I am?

-- rec --
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20170922/a9ce1e32/attachment.html>


More information about the Friam mailing list