XPost: sci.logic, comp.theory   
   From: polcott333@gmail.com   
      
   On 10/2/2025 6:50 PM, André G. Isaak wrote:   
   > On 2025-10-01 20:05, olcott wrote:   
   >> On 10/1/2025 8:12 PM, André G. Isaak wrote:   
   >>> On 2025-10-01 16:57, olcott wrote:   
      
   >>   
   >> Logical certainty refers to a state where a conclusion is undeniably   
   >> true, as it necessarily follows from true premises through valid   
   >> reasoning, typically in areas like mathematics and formal logic. Such   
   >> truths, also called absolute truths, are analytic a priori   
   >> propositions—meaning they can be known independent of sense experience   
   >> and remain permanent and certain. An example is the logical certainty   
   >> that "all bachelors are unmarried" because the concept of being an   
   >> unmarried man is inherent in the definition of a bachelor.   
   >   
   > That doesn't contradict what I said. And now you seem to be disagreeing   
   > with yourself. First you claim its not part of math or logic, now you   
   > claim it is. (or are you simply quoting something in which case you need   
   > to provide your source.   
   >   
      
   Logical certainty refers to a state where a conclusion   
   is undeniably true. THAT IS ALL THAT I MEANT.   
      
   I am trying to express subtle nuances of concepts   
   that when fully understood cause a paradigm shift   
   in thinking.   
      
   *For example this upends the halting problem*   
   All Turing machine deciders only compute the   
   mapping from their finite string inputs to an   
   accept state or reject state on the basis that   
   this input finite string specifies a semantic   
   or syntactic property.   
      
   No one besides LLM systems ever bothered to pay   
   enough attention to see that it is proven true   
   entirely on the basis of the meaning of its words   
   and that it does upend the halting problem.   
      
   >>   
   >> Unless you use the base meaning of words AS I ALWAYS DO.   
   >> Logic is most essentially the science of correct reasoning.   
   >   
   > And how do you determine the "base meaning" of a word other than by an   
   > appeal to convention?   
   >   
   > André   
   >   
      
   Frequency of use in ordinary conversation.   
   Thus "logic" does not refer to anything   
   besides the generic notion of the science   
   of correct reasoning.   
      
      
   --   
   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)