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