XPost: sci.logic, comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-01, olcott  wrote:   
   > This has been my primary research focus since 1997.   
   > I will try to sum this up succinctly.   
   >   
   > Expressions of language pertaining to physical reality   
   > can never be logically certain because they depend on   
   > underlying assumptions that are not logically certain.   
      
   Right off the bat you show yourself to be out of your depth, having   
   forgotten first or second year undergrad topics in logic.   
      
   You can make statements which are unsassailably certain from a logical   
   perspective, yet which combine together propositions that are blatantly   
   false in the world.   
      
   The truths of propostions are not logically certain or uncertain: they   
   are not logically anything!   
      
   Logic doesn't care about hwo truths of propositions are ascertained;   
   that only involves logic when logical inference is needed (in some way)   
   as a tool in evaluating a proposition.   
      
   Whether a proposition is true (in some understood universe of discourse)   
   isn't "logical" or not.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)