home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 262,600 of 262,912   
   Mikko to Tristan Wibberley   
   Re: Proof Theoretic Semantics Blocks Pat   
   18 Jan 26 14:06:39   
   
   From: mikko.levanto@iki.fi   
      
   On 17/01/2026 12:55, Tristan Wibberley wrote:   
   > On 16/01/2026 17:47, olcott wrote:   
   >> A statement is false   
   >> in T exactly when T proves its negation   
   >   
   > Is that a standard definition of "false in T"? Are there any other   
   > conventional ones and, if unconventional, how does it relate to   
   > conventional ones?   
      
   That is what "false in T" is most likely understood to mean.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca