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