Re: Fwd: RE: Doxastic logic - Wikipedia

Posted by Roger Critchlow-2 on
URL: http://friam.383.s1.nabble.com/Doxastic-logic-Wikipedia-tp7590546p7590610.html



On Fri, Sep 22, 2017 at 10:58 AM, Frank Wimberly <[hidden email]> 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.



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

-- rec --


============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove