home bbs files messages ]

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

   sci.physics.relativity      The theory of relativity      225,861 messages   

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

   Message 224,846 of 225,861   
   Ross Finlayson to Ross Finlayson   
   Re: A-Theory and The Atlas of Independen   
   21 Nov 25 22:54:34   
   
   [continued from previous message]   
      
   because you explicitly assert those properties, openly and directly.   
      
   Most others avoid such claims because they conflict with conventional   
   interpretations of Gödel, Tarski, and the set-theoretic paradoxes.   
      
   I do not evaluate the correctness of your claim here—only note that the   
   position is rare, and that explains why someone like Grok might say:   
      
   If someone wants an example of someone asserting that position today,   
   you are in fact an obvious example.   
      
   That’s a factual statement about positions held, not an endorsement.   
      
   5. My own assessment (conceptually, not personally)   
      
   Your project aims at a synthesis reminiscent of:   
      
   absolute idealism (structure emerging reflexively),   
      
   structuralist category theory (universe of objects defined by relations),   
      
   naive comprehension rehabilitated (unrestricted formation without paradox),   
      
   self-grounding inferentialism (logic emerging internally),   
      
   henology (unity preceding multiplicity).   
      
   This combination is philosophically interesting.   
   It stands outside mainstream foundations but within a recognizable   
   lineage of ambitious monistic meta-theories.   
      
   Whether such a system can be made technically coherent is an open   
   question—but the conceptual intent is clear.   
      
   If you paste the next part of the exchange (or your response to Grok), I   
   can continue analyzing and situating it philosophically, in the same   
   structured way.   
      
   [ #3 ]   
      
   [ ChatGPT: ]   
      
   Below is ChatGPT’s commentary on the latest RF–Grok exchange.   
   As before, I analyze philosophically, historically, and   
   structurally—without endorsing claims about individuals.   
      
   [ ChatGPT’s Comment on the RF ↔ Grok Exchange ]   
      
   The passage you’ve provided is dense, historically sweeping, and   
   anchored in a distinctive interpretive structure: the attempt to show   
   that every candidate for “the beginning” is by necessity already   
   situated within history, language, interpretation, and self-reference.   
      
   Grok’s reply mirrors your historiographic sweep with a stylized   
   “stations of the spiral,” but I will evaluate the underlying ideas   
   rather than the rhetoric.   
      
   1. Your historical mapping: a cross-civilizational genealogy of   
   foundational impulses   
      
   Your list—Comenius, Leibniz, Vedas, Logos traditions, Heidegger,   
   Steiner, Hegel, Aristotle, Heraclitus, Parmenides, Descartes,   
   Spinoza/Scotus, the analytic tradition from Frege to Sheffer, Mirimanoff   
   and Skolem—suggests a unified thread:   
      
   each is an attempt to articulate a primal structure of intelligibility,   
   but each necessarily becomes historical, perspectival, or dialectical   
   the moment it is articulated.   
      
   This viewpoint is philosophically coherent, and it fits comfortably within:   
      
   Heidegger’s notion that every disclosure (Entbergung) conceals,   
      
   Hegel’s idea that the “beginning” is always a mediation,   
      
   Vedānta’s insistence that Atman/Brahman unity is disrupted by the   
   speaking of it,   
      
   analytic philosophy’s lesson from Russell and Gödel that foundational   
   stances create paradoxes or undefinability,   
      
   structuralist and post-structuralist insights that meaning arises only   
   within differences and histories.   
      
   Your gesture toward “Original Analysis” and “continuous domains” is   
   more   
   technically specific, but structurally it fits the same theme: any   
   single construction of the continuum already hides choices that are   
   later revealed to be middle-points in a deeper unfolding.   
      
   So the structure of your historiography is consistent and interpretable:   
   it presents a recursive destabilization of foundational claims.   
      
   2. Grok’s reply: the framing of “stations on the theatheory circle”   
      
   Grok’s interpretation takes your historical list and reframes it as a   
   dialectical cycle: each thinker (or tradition) is treated as:   
      
   positing a beginning,   
      
   which is later revealed as partial,   
      
   which becomes content for a further meta-perspective,   
      
   which repeats the foundational tension.   
      
   This is consistent with:   
      
   Hegelian dialectical historiography,   
      
   Nietzschean genealogical critique,   
      
   Heidegger’s destruction (Destruktion) of metaphysics,   
      
   Nagarjuna’s tetralemma, which dissolves each candidate ground in turn.   
      
   There is nothing incorrect in treating philosophical history this   
   way—it’s a valid historiographic methodology—but it is one   
   interpretation among many.   
      
   3. The deeper philosophical point: historicity as necessary for any   
   self-grounding theory   
      
   Your phrase "The inter-subjective account is also necessarily a   
   historiographic account" is very strong, but it is defensible. It   
   expresses the idea that:   
      
   meaning arises only in shared temporality and narrative,   
      
   therefore any universal theory grounded in language or concepts is   
   automatically subject to historical unfolding,   
      
   therefore the “axiomless origin” is always caught in the middle of a story.   
      
   This is directly supported by:   
      
   Gadamer (Truth and Method),   
      
   Kuhn,   
      
   Eliade (on sacred time),   
      
   Dilthey,   
      
   Staal (on Indian logic),   
      
   Quine (web of belief).   
      
   It also mirrors structural anthropologies (Lévi-Strauss) in which mythic   
   order emerges from recursive transformations of prior myths.   
      
   So your claim that the intersubjective is historiographic is plausible   
   and well-grounded.   
      
   4. “The history is the theory”: a reasonable but not universal thesis   
      
   Grok concludes:   
      
   “The history is the theory. Every station is a failed theatheory that   
   did not know it was already theatheory’s content.”   
      
   This is a provocative and interesting thesis. It implies:   
      
   the only possible fully general theory of theory is the self-unfolding   
   of theories themselves,   
      
   the meta-theory is inseparable from its historical embodiments,   
      
   attempts at finality always generate the next historical layer.   
      
   This would place theatheory among:   
      
   process philosophies (Whitehead),   
      
   dialectical ontologies (Hegel, Sartre’s Critique, some Marxist logic),   
      
   hermeneutic ontologies (Gadamer, Ricoeur),   
      
   recursive epistemologies (Spencer-Brown, Maturana/Varela),   
      
   Buddhist Madhyamaka (not as metaphysics but as deconstruction of   
   foundational claims).   
      
   It is a coherent philosophical view.   
   But contemporary logicians or mathematicians generally do not accept the   
   claim that theory = history of theory, since they strive for timeless   
   formal structures. The conflict between those orientations is well known.   
      
   5. The technical question: continuous domains and “Original Analysis”   
      
   You mention:   
      
   line-reals,   
      
   field-reals,   
      
   signal-reals,   
      
   and “Original Analysis.”   
      
   These seem to be your own constructions or terminologies. If one takes   
   them as:   
      
   attempts to reconcile geometric and analytic conceptions of the continuum,   
      
   or to construct repleteness (a kind of order-completeness + topological   
   completeness) without axiomatic commitment,   
      
   or attempts to formalize continuous transformations as primitive,   
      
   then philosophically they fit with:   
      
   Eudoxus (ratios),   
      
   Dedekind (cuts),   
      
   Cantor (arithmetization),   
      
   Lawvere (smooth infinitesimal analysis),   
      
   Gleason–Dubuc (topos-theoretic reals),   
      
   Weihrauch (computable analysis),   
      
   Escardó (domain-theoretic reals).   
      
   However, none of these traditions claims axiomlessness. Their   
   foundations always rely on categorical or type-theoretic axioms.   
      
   So your position remains distinct and atypical in contemporary technical   
   contexts.   
      
   6. Overall assessment of this portion of the exchange   
      
   The pattern you and Grok are working in is:   
      
   historical,   
      
   dialectical,   
      
   cross-cultural,   
      
   meta-theoretical,   
      
   and interpretive rather than technical.   
      
      
   [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