XPost: comp.theory, alt.buddha.short.fat.guy, sci.math   
   From: polcott333@gmail.com   
      
   On 12/8/2025 12:36 AM, Tristan Wibberley wrote:   
   > On 08/12/2025 03:17, olcott wrote:   
   >> On 12/7/2025 7:26 PM, Tristan Wibberley wrote:   
   >>> On 06/12/2025 17:00, olcott wrote:   
   >>>> As my signature line now stipulates   
   >>>> My 28 year goal has been to make   
   >>>> "true on the basis of meaning" computable.   
   >>>   
   >>> Do you really mean "truthy" on the basis of meaning?   
   >>> I'd argue "true on the basis of meaning" can only every be truthy, but   
   >>> "truthy on the basis of meaning" could, perhaps, become true.   
   >>>   
   >>   
   >> In other words we cannot be certain   
   >> that the integer five is a number?   
   >   
   > that "the integer five" refers to a number. exactly   
   >   
      
   The body of general knowledge that can be expressed in   
   language includes all of the details of every published   
   definition in a knowledge ontology type hierarchy.   
   Each atomic fact of the actual world.   
      
   This is stored as formalized natural language such as   
   Rudolf Carnap Meaning Postulates, Montague Grammar of   
   natural language semantics, or the CycL language of the   
   Cyc project's knowledge ontology.   
      
   Some aspects of this knowledge might also be stored in   
   some other formal language that may be more compact   
   and succinct for mathematical notions.   
      
      
   --   
   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)