XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 2/7/2026 10:33 AM, Richard Damon wrote:   
   > On 2/7/26 10:07 AM, olcott wrote:   
   >> On 2/7/2026 8:42 AM, Richard Damon wrote:   
   >>> On 2/6/26 11:04 PM, olcott wrote:   
   >>>> When a truth predicate is given the input:   
   >>>> "What time is it?"   
   >>>> and is required to say True or False   
   >>>> the only correct answer is BAD INPUT   
   >>>   
   >>> Nope, as the statement is NOT "True", thus it is false.   
   >>>   
   >>> Unless you are asserting that logic doesn't exist in the domain of   
   >>> the non-contray excluded middle where most logic assumes to live.   
   >>>   
   >>   
   >> Dead obvious Type mismatch error.   
   >>   
   >   
   > And "Type mismatches" are not true statements.   
   >   
   > I guess you are admitting that you system isn't "binary", but violates   
   > the principle of the excluded middle.   
      
   When we extend formal systems to include formalized   
   natural language we often encounter expressions that   
   are not truth apt.   
      
   Conventional logic and math have been paralyzed for   
   many decades by trying to force-fit semantically   
   ill-formed expressions into the box of True or False.   
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable for the entire body of knowledge.

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