<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Fri, Oct 9, 2026 at 11:24 AM Stuart LaForge via extropy-chat <<a href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2026-10-07 10:50, Jason Resch via extropy-chat wrote:<br>
> On Tue, Oct 6, 2026 at 6:23 PM Stuart LaForge via extropy-chat<br>
> <<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a>> wrote:<br>
> <br>
>> On 2026-10-06 14:31, Jason Resch via extropy-chat wrote:<br><br></blockquote><div>[snip]</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
### Why This Preserves the "Hybrid" Identity<br>
<br>
Jason’s edge cases illustrate why the hybrid view avoids falling into <br>
either extreme:<br>
<br>
* **Why it isn't Strict Constructivism:** Strict constructivism asserts <br>
that *"without a physical witness, there is no truth."* That view forces <br>
one to conclude that the status of a mathematical truth flips back and <br>
forth depending on whether paper is burned (Case 2) or whether a rocket <br>
crosses an event horizon (Case 3). The hybrid view rejects this: <br>
physical destruction affects memory, not logic.<br>
* **Why it isn't Naive Platonism:** Naive Platonism claims that <br>
proposition $A$ existed as an eternal, uncreated abstract ghost *prior* <br>
to system $S$. The hybrid view asserts that $A$'s truth status was <br>
generated **as a direct consequence of specifying $S$**.<br>
<br>
Specification creates the room; logical necessity locks the doors. <br>
Whether any physical being ever enters the room is irrelevant to the <br>
fact that the doors are locked.<br>
<br>
-----------------------------------<br>
<br>
Gemini seem pretty certain of its "Formalism in construct, Realism in <br>
consequence" view. It acknowledges that you understand its views and the <br>
ramifications thereof. I suppose philosophers will soon be joining <br>
mathematicians and programmers in the unemployment queues. ;-)<br>
<br><br></blockquote><div><br></div><div>Stuart, and Gemini,</div><div><br></div><div>Thank you for sharing and for engaging in this. All of the above answers from Gemini were quite clarifying, and I now think I understand Gemini's view.</div><div><br></div><div>But this leaves with me with final question: If specifying one formal system is enough to bring about all the truths that follow from it, then would introducing a system to describe all formal systems (some general language/meta theory) be enough to bring about all formal systems (in the same way that introducing Peano axioms is thought to bring about all natural numbers)? Would Gödel's Theorem's be an example of this, being a proof that applies to an infinite set of possible formal systems? Perhaps this is what you originally meant in linking Gödel to Platonism (if that is the case, then I am only now connecting the dots on it).</div><div><br></div><div>Jason </div></div></div>