From: makethingsn@gmail.com   
      
   On Tuesday, December 19, 2023 at 3:22:47 PM UTC, olcott wrote:   
   > On 12/19/2023 7:34 AM, immibis wrote:    
   > > On 12/19/23 04:02, olcott wrote:    
   > >> On 12/18/2023 11:37 AM, immibis wrote:    
   > >>> On 12/17/23 18:11, olcott wrote:    
   > >>>> On 12/17/2023 2:17 AM, immibis wrote:    
   > >>>>>    
   > >>>>> "The moon is made from green cheese" is a necessary consequence of    
   > >>>>> "all cats are dogs" and "some cats are not dogs". Or can you    
   > >>>>> imagine a world where all cats are dogs and some cats are not dogs,    
   > >>>>> but the moon isn't made from green cheese?    
   > >>>>    
   > >>>> It is not true that anything is semantically entailed by any    
   > >>>> contradiction. When the Principle of explosion says that everything is    
   > >>>> syntactically entailed by a contradiction the POE is a liar that denies    
   > >>>> the law of non-contradiction. For analytical truth coherence is the    
   > >>>> measure.    
   > >>>>    
   > >>>    
   > >>> Can you imagine a world where all cats are dogs and some cats are not    
   > >>> dogs, but the moon isn't made from green cheese?    
   > >>    
   > >> That would be incoherent: The coherence theory of truth applies to the    
   > >> analytical body of knowledge.    
   > >>    
   > > I've never heard of these two, and they seem to be fully immersed in    
   > > philosophy, not computer science or mathematical logic.   
   > Without Philosophy logic has no basis. The basis that logic does have is    
   > incoherent because they got the philosophy wrong.    
   >    
   > A deductive argument is said to be valid if and only if it takes a form    
   > that makes it impossible for the premises to be true and the conclusion    
   > nevertheless to be false. https://iep.utm.edu/val-snd/    
   >    
   > On that basis we can conclude that this sentence is valid:    
   > "Kittens are 15 story office buildings therefore water is H2O."    
   >    
   > When we redefine value to be a conclusion must be a necessary    
   > consequence of all of its premises then the above nonsense    
   > sentence is not valid.   
   > --    
   > Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius    
   > hits a target no one else can see." Arthur Schopenhauer   
      
   Without facts there is no proof, but, everything in philosophy is down to   
   semantics.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)