XPost: sci.logic, comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 11/26/2025 1:43 PM, Tristan Wibberley wrote:   
   > On 26/11/2025 15:54, olcott wrote:   
   >> (General_Knowledge ⊨ x)  means True(x)   
   >> (General_Knowledge ⊨ ~x) means False(x)   
   >> ~True(x) & ~False(x) means x is not an element of General_Knowledge   
   >   
   > Eh? You made it sound like General_Knowledge was the system, rather than   
   > a model, but there you have it as a model.   
   >   
      
   There is no model.   
      
   It is all Rudolf Carnap Meaning Postulates   
   that have every single nuance of 100% of their   
   semantic meaning directly encoding in this formal   
   language arranged in a knowledge ontology   
   inheritance hierarchy.   
      
   "cats"  "animals" is stipulated.   
   How do we know that "cats"  "animals" ?   
   It is an axiom of the set of atomic facts of   
   the world.   
      
   "animals"  "living things" is stipulated.   
      
   How to we know that "cats"  "living things"   
   "cats"  "animals"   
   "animals"  "living things"   
   Therefore "cats"  "living things"   
   Ordinary syllogism.   
      
      
      
      
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)