From: mikko.levanto@iki.fi   
      
   On 09/02/2026 18:43, Tristan Wibberley wrote:   
   > On 09/02/2026 14:57, Mikko wrote:   
   >> Logic is not paralyzed. Separating semantics from inference rules   
   >> ensures that semantic problems don't affect the study of proofs   
   >> and provability.   
   >   
   > Would you agree that inference rules are a formalisation of some semantics.   
   >   
   > a) in a sense   
   > b) yes, properly   
      
   No, at least the ordinary ones are not. They are computable purely   
   syntactic relations between strings.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)