XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 10/19/2025 3:44 AM, Mikko wrote:   
   > On 2025-10-18 10:58:15 +0000, olcott said:   
   >   
   >> On 10/18/2025 4:30 AM, Mikko wrote:   
   >>>   
   >>> That is not a sense of "proof".   
   >>   
   >> That is the correct way to do a proof.   
   >   
   > A way to do is not a sense.   
   >   
      
   The conventional way to do proofs concludes that   
   within its rules if the Moon is made from green   
   cheese and the Moon is not made from green cheese   
   this proves that Donald Trump is the Lord and savior Jesus Christ.   
      
   https://liarparadox.org/Meaning_Postulates_Rudolf_Carnap_1952.pdf   
      
   Formalizing ALL semantics syntactically and allowing   
   semantic logical entailment as the only rule of inference   
   prevents nonsense like this:   
   https://en.wikipedia.org/wiki/Principle_of_explosion   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)