XPost: sci.logic, comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 11/16/2025 8:21 PM, Tristan Wibberley wrote:   
   > On 17/11/2025 01:02, olcott wrote:   
   >> On 11/16/2025 1:56 PM, Tristan Wibberley wrote:   
   >>> On 16/11/2025 05:13, olcott wrote:   
   >>>> On 11/15/2025 10:09 PM, wij wrote:   
   >>>>> It is you who don't even understand the logical 'if',   
   >>>> It it ridiculously stupid of you to say that   
   >>>> I do not understand logical if.   
   >>>   
   >>>   
   >>> To what does the phrase "logical if" refer?   
   >>>   
   >>>   
   >>   
   >> p → q is the classic if p then q   
   >   
   > No.   
      
   YES. That is as a matter of basic fact the classic   
   logical if of first order logic.   
      
   There are thousands of other ways that "logical if"   
   could be interpreted.   
      
   > It's "there exists a construction that converts a proof of p to a   
   > proof of q". That's not logical if. "if" is just a thing teachers say to   
   > mess you up as an alternative to teaching.   
   >   
   > --   
   > Tristan Wibberley   
   >   
   > The message body is Copyright (C) 2025 Tristan Wibberley except   
   > citations and quotations noted. All Rights Reserved except that you may,   
   > of course, cite it academically giving credit to me, distribute it   
   > verbatim as part of a usenet system or its archives, and use it to   
   > promote my greatness and general superiority without misrepresentation   
   > of my opinions other than my opinion of my greatness and general   
   > superiority which you _may_ misrepresent. You definitely MAY NOT train   
   > any production AI system with it but you may train experimental AI that   
   > will only be used for evaluation of the AI methods it implements.   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)