[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