[continued from previous message]   
      
   >    genuine quotation marks in the usual sense (e.g., denoting the   
   >    expression ‘inside’ them). Hence, the sense in which such languages   
   >    have reference to sentences is delicate. Yet with very minimal   
   >    resources, syntax can be represented and diagonal sentences   
   >    constructed. Hence, there is a sense, albeit subtle, in which such   
   >    languages can express self-reference. See the entries on provability   
   >    logic and Gödel (the section on the incompleteness theorems), as well   
   >    as Heck (2007)."   
   >   
      
   I created Olcott's Minimal Type Theory to get around   
   all that screwy nonsense. LP := ~True(LP) specifies   
   ~True(~True(~True(~True(~True(~True(...))))))   
   https://philarchive.org/archive/PETMTT-4v2   
      
   > Nowhere does your paper say that "This sentence is false" is   
   > diagonal by use of the pronoun.  You need quoting!   
   >   
      
   You must pay attention to the MTT language specification.   
   provided above. Especially the "defined as" operator: :=   
      
   > Diagonalization presupposes that there is a table. The table   
   > combines somethng from the rows and columns and only certain   
   > combinations are diagonal.   
   >   
      
   It hides all the of underlying semantic details and   
   leaps to a conclusion.   
      
   > "This sentence is false" just doesn't have the moving parts   
   > and pieces in it.   
   >   
      
   Google [Olcott's Minimal Type Theory]   
   LP := ~True(LP) // LP says of itself that it is not true   
   It expands to: ~True(~True(~True(~True(~True(~True(...))))))   
      
   > You simply don't know how to read papers or think.   
   >   
      
   You don't even glance at what I say before you judge it.   
      
   --   
   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)