home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.lang      Natural languages, communication, etc      297,461 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 297,136 of 297,461   
   Ross Finlayson to All   
   T-theory A-theory theatheory (10/23)   
   02 Nov 25 11:58:58   
   
   [continued from previous message]   
      
   It defines paradox-free reason as the outcome of deductive analysis that   
   successfully eliminates the logical and mathematical paradoxes (like   
   those associated with Zeno and measure theory) which block reasoning in   
   incomplete systems [01:01:10].   
      
   1. Establishing Paradox-Free Reason   
      
   The core argument is that paradoxes are not inherent limitations of   
   reality, but rather artifacts of partial, inductive accounts that fail   
   to grasp true continuity and infinity.   
      
   Necessity for Thoroughness: The video asserts that if mathematical logic   
   were "full of intractable unsoluble contradictory propositions," it   
   would be "of no no thorough reason and rationality" [01:01:34]. Thus,   
   establishing a paradox-free logic is essential for any rational,   
   foundational account.   
      
   Super-Classical Approach: The solution is the super classical approach,   
   which applies when dealing with the truly or absolutely infinite and   
   truly continuous [01:01:52]. This approach demands completions for the   
   theoretical domains [01:08:55].   
      
   Resolving Zeno's Paradoxes: Zeno's famous paradoxes are not considered   
   actual paradoxes, but rather illustrations of the need for deductive   
   inference to arrive at resolutions where standard inductive inference   
   would fail [01:07:10]-[01:07:29].   
      
   2. Paradox-Free Continuity and Infinity   
      
   The consistency of the continuum and infinity is achieved by showing   
   they are replete and are actual rather than merely potential [01:04:16].   
      
   Multiple Continuities and Infinities: Paradox-free reason is only   
   possible when the theory includes at least three kinds of continuity and   
   at least three kinds of infinity [01:02:11]-[01:02:18]. These are called   
   "natural Infinities and natural continuities" [01:02:01].   
      
   Rejecting Partial Accounts: The usual inductive accounts of mathematics   
   fail because they "exclude and and forbids the other ones" [01:06:07],   
   resulting in an "incomplete a partial a best a half of mathematics"   
   [01:06:14].   
      
   Completeness via the Limit: The mathematical completions necessary for a   
   paradox-free theory ensure that a limit exists and is no different than   
   the sum [01:08:29]. This rejects the inductive notion that "you can get   
   close enough," because "if it's only close enough it's not" continuous   
   [01:08:40]-[01:08:55].   
      
   Measure Invariance: The resolution of paradoxes related to the continuum   
   (like those by Vitali and Hausdorff) is connected to measure theory,   
   where the measure is an invariant and a constant [01:10:18]. This   
   measure invariance acts as a principle of continuity that prohibits   
   breaks or incompleteness in the system [01:07:59].   
      
   The full transcript of the video is provided below: Video: Logos 2000:   
   paradox-free reason   
   Logos 2000: paradox-free reason   
   Ross Finlayson · 60 views   
      
   Thanks GG. The transcripts often mis-spell proper names, then as for   
   reasoning why having "theatheory" being a word after "henotheory" is a   
   word, is obviously correct. Continue with a look to "Logos 2000: rulial   
   foundations", which helps explain the repleteness of the linear   
   continuum, yet is as well its own, self-contained narrative.   
      
   2 successful queries   
      
   The video "Logos 2000: rulial foundations" discusses the repleteness of   
   the linear continuum by relating it to an axiomless geometry derived   
   from the integer continuum, which is inherently complete and paradox-free.   
      
   The explanation can be summarized as follows:   
      
   Axiomless Geometry: The video suggests that one can arrive at a geometry   
   from an infinite integer continuum, which makes a linear continuum of   
   real numbers [22:06]. This is posited as an axiomless geometry that   
   results in the structure of Euclid's elements without needing to   
   stipulate them as axioms [23:20].   
      
   Repleteness and Completeness: The core concept is that the objects of   
   number and geometry are already "replete in their completeness" [23:02].   
   This means the structure is inherently fully realized and   
   self-contained, unlike finitely axiomatized theories which are subject   
   to Gödel's incompleteness theorem [01:00:53].   
      
   Paradox-Free Foundation: By establishing this fundamental mathematical   
   universe from a position that forecloses all logical and mathematical   
   paradoxes (like the liar's paradox or Russell's paradox) upfront, the   
   resulting structure—including the linear continuum—is ensured to be   
   complete and consistent [15:11].   
      
   The linearity of the continuum is also presented as fundamental, noting   
   that there is "only one linear continuum at all, one integer and linear   
   continuum" [26:39], which serves as the ultimate resource for the   
   universe's state and change.   
      
   Video: Logos 2000: rulial foundations   
      
   Channel: Ross Finlayson   
      
   Published: 2025-05-12   
   Logos 2000: rulial foundations   
      
   Ross Finlayson · 119 views   
      
   Thanks GG. Continue with "Logos 2000: Foundations briefly".   
      
   2 successful queries   
      
   The video "Logos 2000: Foundations briefly" by Ross Finlayson presents a   
   philosophical and mathematical framework for a new theory of   
   foundations, proposing revisions to classical logic and mathematics to   
   handle concepts like infinity and continuity more thoroughly.   
      
   The key points discussed include:   
      
   1. Foundational Principles and Logic   
      
   Definition of Foundations: Foundations are defined as the study of the   
   grounds of reason and all of theory [00:19].   
      
   New Logical Principles: The presentation advocates for two new or   
   revised core principles:   
      
   The Principle of Inverse is proposed to replace the classical principle   
   of contradiction [01:21]. This helps move outside the land of tertium   
   non datur (no third ground) [11:26].   
      
   The Principle of Sufficient Reason is extended to the Principle of   
   Sufficient and Thorough Reason (and fulfilling reason) [01:28]. This   
   extension is intended to allow for an axiomless natural deduction and   
   help resolve inductive impasses [02:02].   
      
   2. Mathematics and Continuity   
      
   Mathematical Objects Exist: The framework is based on strong   
   mathematical platonism, the idea that ideal mathematical objects (like a   
   perfect circle or straight line) exist and are discovered, rather than   
   merely invented or axiomatized [07:46].   
      
   Three Continuous Domains: The theory suggests there are at least three   
   different definitions of continuous domains in mathematics, not just the   
   one typically presented in a standard curriculum:   
      
   Field Reels: The standard complete ordered field (the usual real   
   numbers) [04:54].   
      
   Line Reels: A countable continuous domain (an integer continuum that is   
   continuous only between zero and one) [05:32].   
      
   Signal Reels: The third domain, related to signals [06:59].   
      
   Continuity and Infinity: These three continuous domains are said to lead   
   to three kinds of infinities and three Cantor spaces [30:08].   
      
   Heenotheory: The goal is a "one theory" (Heenotheory) that encompasses   
   and fulfills the roles of fundamental theories in mathematics, such as   
   arithmetic, algebra, analysis, geometry, and number theory [09:17].   
      
   3. Physics and Time   
      
   Extended Conservation Law: In physics, the classical conservation law is   
   extended to a continuity law where the conserved quantity is not just   
   energy but energy and intelligy (connections) [40:41].   
      
   Potentialistic Theory: The theory is a sum of histories and sum of   
   potentials [41:40], intended to be a more thorough and consistent   
   account of continuum mechanics [34:54].   
      
   Clock Hypothesis: The theory argues that a Clock Hypothesis (universal   
   time as a linear continuum) should precede the Mathematical Universe   
      
   [continued in next message]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca