- 58
- 6
So, I know I asked things about Set-Theoretic Multiverse in the last thread, but here is a problem:
First, the wiki separated logical study (Modal Realism, etc.) with the rest of mathematics. Putting most of mathematics at Low 1-A while logics at High 1-A.
Unfortunately, mathematics isn't that simple: In mathematics, there can be meta-frameworks, frameworks that governs the logical analysis. This obviously makes them transcend lower things like 1-A, as a meta-framework is completely independent and not made of things below, just expressed using set-theoretic or similar syntaxes. Mathematics also allow us to model Modal Realism to a Set-Theoretic Multiverse of sufficient size. Still, meta-frameworks applies.
Therefore, if we blindly say that everything mathematical that don't belong to logical study Low 1-A, then a sufficiently large multiverse and meta-frameworks will be Low 1-A, then both Modal Realism and transcendence are Low 1-A. However, Modal Realism is High 1-A and transcendence is 1-A, contradicting itself. So I think the wording needs to be altered a bit to fix this issue.
First, the wiki separated logical study (Modal Realism, etc.) with the rest of mathematics. Putting most of mathematics at Low 1-A while logics at High 1-A.
Unfortunately, mathematics isn't that simple: In mathematics, there can be meta-frameworks, frameworks that governs the logical analysis. This obviously makes them transcend lower things like 1-A, as a meta-framework is completely independent and not made of things below, just expressed using set-theoretic or similar syntaxes. Mathematics also allow us to model Modal Realism to a Set-Theoretic Multiverse of sufficient size. Still, meta-frameworks applies.
Therefore, if we blindly say that everything mathematical that don't belong to logical study Low 1-A, then a sufficiently large multiverse and meta-frameworks will be Low 1-A, then both Modal Realism and transcendence are Low 1-A. However, Modal Realism is High 1-A and transcendence is 1-A, contradicting itself. So I think the wording needs to be altered a bit to fix this issue.
Last edited: