XPost: comp.theory, sci.math, sci.lang   
   From: polcott333@gmail.com   
      
   On 12/8/2025 12:12 AM, Tristan Wibberley wrote:   
   > On 07/12/2025 10:42, Mikko wrote:   
   >> olcott kirjoitti 6.12.2025 klo 14.33:   
   >>> No one ever understands that my mathematical formal   
   >>> system includes the entire body of human general   
   >>> knowledge encoded in formalized English.   
   >   
   > Liar.   
      
   To be more precisely accurate I should have said I   
   have never seen any indication that anyone besides   
   me understands that any mathematical formalism could   
   contain the entire body of human general knowledge   
   encoded as formalized English.   
      
   >   
   >> Maybe because it is well understood that no formal system that can   
   >> be presented includes the entire body of human general knowledge.   
   >>   
   >   
   > Unless it also includes everything that is not of human general   
   > knowledge. Infinite monkeys and so forth.   
   >   
      
   That {cats are animals} is general knowledge that   
   Missy is a black cat with white spots owned   
   by a specific person at a specific location   
   is not general knowledge.   
      
   It seems that your objection that is not very   
   clearly worded is that you do not understand   
   whether or not and how a precise line of demarcation   
   can be drawn between general knowledge and   
   knowledge of a specific situation.   
      
   > Olcott already said it was a semantic tautology, after all. Which is a   
   > fancy way of saying that it's a system for universal semantic analysis   
   > so it contains all possible meaning associations including those that   
   > are of the body of human general knowledge.   
   >   
      
   Yes.   
      
   > Once he said it was a semantic tautology it was not possible to be   
   > surprising.   
   >   
      
   It seems to me that most people here try to avoid   
   understanding the meaning of the terms that I have   
   used and only care about rebuttal. That may have   
   changed recently when all of the trolls decided   
   to drop out in December.   
      
   > The difficult bit is as for a sculptor; to carve away those things that   
   > are /not/ wanted.   
   >   
      
   Merely a precise line of demarcation for   
   elements of the set of general knowledge   
   that can be expressed in language and those   
   that are not in this set.   
      
   Not Expressed in language: The actual first   
   hand sense stimulus from the sense organs.   
      
   General knowledge. (this is a first guess)   
   All the details of knowledge that is shared   
   across all of the various occupational categories   
   combined with common sense that has been encoded   
   in the Cyc project.   
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning" computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)