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